Matches in SemOpenAlex for { <https://semopenalex.org/work/W3192053544> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3192053544 abstract "The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood, but also for undefined The three-valued semantics proposed by Fitting and by Kunen are closely related to what is computed by a logic program, the third truth value being associated with non-termination. A different three-valued semantics, proposed by Naish, shared much with those of Fitting and Kunen but incorporated allowances for programmer intent, the third truth value being associated with underspecification. Naish used an (apparently) novel arrow operator to relate the intended meaning of left and right sides of predicate definitions. In this paper we suggest that the additional truth values of Fitting/Kunen and Naish are best viewed as duals. We use Fitting's later four-valued approach to unify the two three-valued approaches. The additional truth value has very little affect on the Fitting three-valued semantics, though it can be useful when finding approximations to this semantics for program analysis. For the Naish semantics, the extra truth value allows intended interpretations to be more expressive, allowing us to verify and debug a larger class of programs. We also explain that the arrow operator of Naish (and our four-valued extension) is essentially the information ordering. This sheds new light on the relationships between specifications and programs, and successive executions states of a program. © 2012, Australian Computer Society, Inc." @default.
- W3192053544 created "2021-08-16" @default.
- W3192053544 creator A5004065329 @default.
- W3192053544 creator A5013625793 @default.
- W3192053544 creator A5090766093 @default.
- W3192053544 date "2012-01-01" @default.
- W3192053544 modified "2023-09-26" @default.
- W3192053544 title "Logic programming: From underspecification to undefinedness" @default.
- W3192053544 hasPublicationYear "2012" @default.
- W3192053544 type Work @default.
- W3192053544 sameAs 3192053544 @default.
- W3192053544 citedByCount "0" @default.
- W3192053544 crossrefType "journal-article" @default.
- W3192053544 hasAuthorship W3192053544A5004065329 @default.
- W3192053544 hasAuthorship W3192053544A5013625793 @default.
- W3192053544 hasAuthorship W3192053544A5090766093 @default.
- W3192053544 hasConcept C104317684 @default.
- W3192053544 hasConcept C11413529 @default.
- W3192053544 hasConcept C154945302 @default.
- W3192053544 hasConcept C158448853 @default.
- W3192053544 hasConcept C168065819 @default.
- W3192053544 hasConcept C17020691 @default.
- W3192053544 hasConcept C184337299 @default.
- W3192053544 hasConcept C185592680 @default.
- W3192053544 hasConcept C199360897 @default.
- W3192053544 hasConcept C2778514511 @default.
- W3192053544 hasConcept C2779631151 @default.
- W3192053544 hasConcept C2780339515 @default.
- W3192053544 hasConcept C33923547 @default.
- W3192053544 hasConcept C41008148 @default.
- W3192053544 hasConcept C46274116 @default.
- W3192053544 hasConcept C55493867 @default.
- W3192053544 hasConcept C80444323 @default.
- W3192053544 hasConcept C86339819 @default.
- W3192053544 hasConceptScore W3192053544C104317684 @default.
- W3192053544 hasConceptScore W3192053544C11413529 @default.
- W3192053544 hasConceptScore W3192053544C154945302 @default.
- W3192053544 hasConceptScore W3192053544C158448853 @default.
- W3192053544 hasConceptScore W3192053544C168065819 @default.
- W3192053544 hasConceptScore W3192053544C17020691 @default.
- W3192053544 hasConceptScore W3192053544C184337299 @default.
- W3192053544 hasConceptScore W3192053544C185592680 @default.
- W3192053544 hasConceptScore W3192053544C199360897 @default.
- W3192053544 hasConceptScore W3192053544C2778514511 @default.
- W3192053544 hasConceptScore W3192053544C2779631151 @default.
- W3192053544 hasConceptScore W3192053544C2780339515 @default.
- W3192053544 hasConceptScore W3192053544C33923547 @default.
- W3192053544 hasConceptScore W3192053544C41008148 @default.
- W3192053544 hasConceptScore W3192053544C46274116 @default.
- W3192053544 hasConceptScore W3192053544C55493867 @default.
- W3192053544 hasConceptScore W3192053544C80444323 @default.
- W3192053544 hasConceptScore W3192053544C86339819 @default.
- W3192053544 hasLocation W31920535441 @default.
- W3192053544 hasOpenAccess W3192053544 @default.
- W3192053544 hasPrimaryLocation W31920535441 @default.
- W3192053544 hasRelatedWork W1122782392 @default.
- W3192053544 hasRelatedWork W1504915799 @default.
- W3192053544 hasRelatedWork W1505455772 @default.
- W3192053544 hasRelatedWork W1621236257 @default.
- W3192053544 hasRelatedWork W1883595241 @default.
- W3192053544 hasRelatedWork W1965742344 @default.
- W3192053544 hasRelatedWork W2059238947 @default.
- W3192053544 hasRelatedWork W2090006746 @default.
- W3192053544 hasRelatedWork W2276796001 @default.
- W3192053544 hasRelatedWork W2478544889 @default.
- W3192053544 hasRelatedWork W2545022179 @default.
- W3192053544 hasRelatedWork W2613997929 @default.
- W3192053544 hasRelatedWork W2761508096 @default.
- W3192053544 hasRelatedWork W2896430270 @default.
- W3192053544 hasRelatedWork W2950617422 @default.
- W3192053544 hasRelatedWork W2987249623 @default.
- W3192053544 hasRelatedWork W2995009506 @default.
- W3192053544 hasRelatedWork W3082775062 @default.
- W3192053544 hasRelatedWork W1732086550 @default.
- W3192053544 hasRelatedWork W2188560790 @default.
- W3192053544 hasVolume "128" @default.
- W3192053544 isParatext "false" @default.
- W3192053544 isRetracted "false" @default.
- W3192053544 magId "3192053544" @default.
- W3192053544 workType "article" @default.