Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162235729> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2162235729 abstract "We propose C4, a four-valued semantics for normal, logic programs. Using this semantics, we define two types of entailment: strong and weak. We show that a normal, logic program strongly entails a sentence under C4 if, and only if, the program entails that sentence under the well founded semantics and it weakly entails a sentence if, and only if, the program entails that sentence under the two-valued stable model semantics in case the program has any stable models. We argue that this shows that the difference between the well founded semantics and the stable model semantics can be characterized in terms of their attitude to what we call contested information. We use this insight to propose a general theory of contested reasoning." @default.
- W2162235729 created "2016-06-24" @default.
- W2162235729 creator A5028383887 @default.
- W2162235729 date "2002-12-24" @default.
- W2162235729 modified "2023-09-26" @default.
- W2162235729 title "Semantics of normal logic programs and contested information" @default.
- W2162235729 cites W1487409515 @default.
- W2162235729 cites W1672891595 @default.
- W2162235729 cites W1968513265 @default.
- W2162235729 cites W1979129485 @default.
- W2162235729 cites W1980589711 @default.
- W2162235729 cites W2055862540 @default.
- W2162235729 cites W2071163936 @default.
- W2162235729 cites W2103500248 @default.
- W2162235729 cites W2171288778 @default.
- W2162235729 cites W2327105760 @default.
- W2162235729 cites W349962764 @default.
- W2162235729 doi "https://doi.org/10.1109/lics.1996.561457" @default.
- W2162235729 hasPublicationYear "2002" @default.
- W2162235729 type Work @default.
- W2162235729 sameAs 2162235729 @default.
- W2162235729 citedByCount "2" @default.
- W2162235729 crossrefType "proceedings-article" @default.
- W2162235729 hasAuthorship W2162235729A5028383887 @default.
- W2162235729 hasConcept C102993220 @default.
- W2162235729 hasConcept C127001435 @default.
- W2162235729 hasConcept C128838566 @default.
- W2162235729 hasConcept C134752490 @default.
- W2162235729 hasConcept C146499914 @default.
- W2162235729 hasConcept C154945302 @default.
- W2162235729 hasConcept C156325763 @default.
- W2162235729 hasConcept C169896238 @default.
- W2162235729 hasConcept C184337299 @default.
- W2162235729 hasConcept C199360897 @default.
- W2162235729 hasConcept C204321447 @default.
- W2162235729 hasConcept C207648694 @default.
- W2162235729 hasConcept C2777530160 @default.
- W2162235729 hasConcept C2987117450 @default.
- W2162235729 hasConcept C41008148 @default.
- W2162235729 hasConcept C89497691 @default.
- W2162235729 hasConcept C9672783 @default.
- W2162235729 hasConceptScore W2162235729C102993220 @default.
- W2162235729 hasConceptScore W2162235729C127001435 @default.
- W2162235729 hasConceptScore W2162235729C128838566 @default.
- W2162235729 hasConceptScore W2162235729C134752490 @default.
- W2162235729 hasConceptScore W2162235729C146499914 @default.
- W2162235729 hasConceptScore W2162235729C154945302 @default.
- W2162235729 hasConceptScore W2162235729C156325763 @default.
- W2162235729 hasConceptScore W2162235729C169896238 @default.
- W2162235729 hasConceptScore W2162235729C184337299 @default.
- W2162235729 hasConceptScore W2162235729C199360897 @default.
- W2162235729 hasConceptScore W2162235729C204321447 @default.
- W2162235729 hasConceptScore W2162235729C207648694 @default.
- W2162235729 hasConceptScore W2162235729C2777530160 @default.
- W2162235729 hasConceptScore W2162235729C2987117450 @default.
- W2162235729 hasConceptScore W2162235729C41008148 @default.
- W2162235729 hasConceptScore W2162235729C89497691 @default.
- W2162235729 hasConceptScore W2162235729C9672783 @default.
- W2162235729 hasLocation W21622357291 @default.
- W2162235729 hasOpenAccess W2162235729 @default.
- W2162235729 hasPrimaryLocation W21622357291 @default.
- W2162235729 hasRelatedWork W1485261310 @default.
- W2162235729 hasRelatedWork W1517155526 @default.
- W2162235729 hasRelatedWork W1525805777 @default.
- W2162235729 hasRelatedWork W1564541199 @default.
- W2162235729 hasRelatedWork W1592619431 @default.
- W2162235729 hasRelatedWork W1680665078 @default.
- W2162235729 hasRelatedWork W1990759781 @default.
- W2162235729 hasRelatedWork W2032346221 @default.
- W2162235729 hasRelatedWork W2075664221 @default.
- W2162235729 hasRelatedWork W2084921023 @default.
- W2162235729 hasRelatedWork W2088175080 @default.
- W2162235729 hasRelatedWork W2089040805 @default.
- W2162235729 hasRelatedWork W2115303419 @default.
- W2162235729 hasRelatedWork W2125406856 @default.
- W2162235729 hasRelatedWork W2265342114 @default.
- W2162235729 hasRelatedWork W2415302829 @default.
- W2162235729 hasRelatedWork W285091285 @default.
- W2162235729 hasRelatedWork W2953068149 @default.
- W2162235729 hasRelatedWork W3156284850 @default.
- W2162235729 hasRelatedWork W2100937798 @default.
- W2162235729 isParatext "false" @default.
- W2162235729 isRetracted "false" @default.
- W2162235729 magId "2162235729" @default.
- W2162235729 workType "article" @default.