Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038761666> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2038761666 abstract "The central issue of this paper concerns the truth value undefined in Przymusinsi's 3-valued formalization of nonmonotonic reasoning and logic programming. We argue that this formalization can lead to the problem of unintended semantics and loss of disjunctive information. We modify the formalization by proposing two general principles for logic program semantics: justifiability and minimal undefinedness. The former is shown to be a general property for almost all logic program semantics, and the latter requires the use of the undefined only when it is necessary. We show that there are three types of information embedded in the undefined: the disjunctive, the factoring, and the “difficult-to-be-assigned”. In the modified formalization, the first two can be successfully identified and branched into multiple models. This leaves only the “difficult-to-be-assigned” as the undefined. It is shown that the truth value undefined is needed only for a very special type of programs whose practicality is yet to be evidenced." @default.
- W2038761666 created "2016-06-24" @default.
- W2038761666 creator A5029937685 @default.
- W2038761666 creator A5072151614 @default.
- W2038761666 date "1990-01-01" @default.
- W2038761666 modified "2023-10-17" @default.
- W2038761666 title "Three-valued formalization of logic programming" @default.
- W2038761666 cites W127451913 @default.
- W2038761666 cites W1483568252 @default.
- W2038761666 cites W1526625950 @default.
- W2038761666 cites W156747920 @default.
- W2038761666 cites W159747946 @default.
- W2038761666 cites W1672891595 @default.
- W2038761666 cites W194816663 @default.
- W2038761666 cites W1976303542 @default.
- W2038761666 cites W1981961379 @default.
- W2038761666 cites W1984715534 @default.
- W2038761666 cites W2003531456 @default.
- W2038761666 cites W2010104109 @default.
- W2038761666 cites W2031868932 @default.
- W2038761666 cites W2036900631 @default.
- W2038761666 cites W2039797670 @default.
- W2038761666 cites W2111353076 @default.
- W2038761666 cites W2132745831 @default.
- W2038761666 cites W2173808493 @default.
- W2038761666 cites W2504353039 @default.
- W2038761666 cites W83897720 @default.
- W2038761666 cites W91931761 @default.
- W2038761666 doi "https://doi.org/10.1145/298514.298559" @default.
- W2038761666 hasPublicationYear "1990" @default.
- W2038761666 type Work @default.
- W2038761666 sameAs 2038761666 @default.
- W2038761666 citedByCount "30" @default.
- W2038761666 countsByYear W20387616662012 @default.
- W2038761666 countsByYear W20387616662015 @default.
- W2038761666 countsByYear W20387616662017 @default.
- W2038761666 countsByYear W20387616662021 @default.
- W2038761666 crossrefType "proceedings-article" @default.
- W2038761666 hasAuthorship W2038761666A5029937685 @default.
- W2038761666 hasAuthorship W2038761666A5072151614 @default.
- W2038761666 hasBestOaLocation W20387616661 @default.
- W2038761666 hasConcept C10138342 @default.
- W2038761666 hasConcept C111472728 @default.
- W2038761666 hasConcept C119857082 @default.
- W2038761666 hasConcept C127001435 @default.
- W2038761666 hasConcept C128838566 @default.
- W2038761666 hasConcept C138885662 @default.
- W2038761666 hasConcept C156325763 @default.
- W2038761666 hasConcept C162324750 @default.
- W2038761666 hasConcept C177225278 @default.
- W2038761666 hasConcept C184337299 @default.
- W2038761666 hasConcept C189950617 @default.
- W2038761666 hasConcept C199360897 @default.
- W2038761666 hasConcept C2776291640 @default.
- W2038761666 hasConcept C41008148 @default.
- W2038761666 hasConcept C46274116 @default.
- W2038761666 hasConcept C80444323 @default.
- W2038761666 hasConceptScore W2038761666C10138342 @default.
- W2038761666 hasConceptScore W2038761666C111472728 @default.
- W2038761666 hasConceptScore W2038761666C119857082 @default.
- W2038761666 hasConceptScore W2038761666C127001435 @default.
- W2038761666 hasConceptScore W2038761666C128838566 @default.
- W2038761666 hasConceptScore W2038761666C138885662 @default.
- W2038761666 hasConceptScore W2038761666C156325763 @default.
- W2038761666 hasConceptScore W2038761666C162324750 @default.
- W2038761666 hasConceptScore W2038761666C177225278 @default.
- W2038761666 hasConceptScore W2038761666C184337299 @default.
- W2038761666 hasConceptScore W2038761666C189950617 @default.
- W2038761666 hasConceptScore W2038761666C199360897 @default.
- W2038761666 hasConceptScore W2038761666C2776291640 @default.
- W2038761666 hasConceptScore W2038761666C41008148 @default.
- W2038761666 hasConceptScore W2038761666C46274116 @default.
- W2038761666 hasConceptScore W2038761666C80444323 @default.
- W2038761666 hasLocation W20387616661 @default.
- W2038761666 hasOpenAccess W2038761666 @default.
- W2038761666 hasPrimaryLocation W20387616661 @default.
- W2038761666 hasRelatedWork W1485855639 @default.
- W2038761666 hasRelatedWork W1535706669 @default.
- W2038761666 hasRelatedWork W1601169590 @default.
- W2038761666 hasRelatedWork W1605891696 @default.
- W2038761666 hasRelatedWork W1762092019 @default.
- W2038761666 hasRelatedWork W2038761666 @default.
- W2038761666 hasRelatedWork W2102588965 @default.
- W2038761666 hasRelatedWork W2157541508 @default.
- W2038761666 hasRelatedWork W196701684 @default.
- W2038761666 hasRelatedWork W2592609194 @default.
- W2038761666 isParatext "false" @default.
- W2038761666 isRetracted "false" @default.
- W2038761666 magId "2038761666" @default.
- W2038761666 workType "article" @default.