Matches in SemOpenAlex for { <https://semopenalex.org/work/W194413726> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W194413726 endingPage "463" @default.
- W194413726 startingPage "445" @default.
- W194413726 abstract "We introduce 3-valued stable models which are a natural generalization of standard (2-valued) stable models. We show that every logic program P has at least one 3-valued stable model and that the well-founded model of any program P [Van Gelder et al., 1990] coincides with the smallest 3-valued stable model of P. We conclude that the well-founded semantics of an arbitrary logic program coincides with the 3-valued stable model semantics. The 3-valued stable semantics is closely related to non-monotonic formalisms in AI. Namely, every program P can be translated into a suitable autoepistemic (resp. default) theory P ˆ so that the 3-valued stable semantics of P coincides with the (3-valued) autoepistemic (resp. default) semantics of P ˆ. Similar results hold for circumscription and CWA. Moreover, it can be shown that the 3-valued stable semantics has a natural extension to the class of all disjunctive logic programs and deductive databases. Finally, following upon the recent approach developed by Gelfond and Lifschitz, we extend all of our results to more general logic programs which, in addition to the use of negation as failure, permit the use of classical negation." @default.
- W194413726 created "2016-06-24" @default.
- W194413726 creator A5084802338 @default.
- W194413726 date "1990-10-01" @default.
- W194413726 modified "2023-10-18" @default.
- W194413726 title "Well-Founded Semantics Coincides with Three-Valued Stable Semantics1" @default.
- W194413726 doi "https://doi.org/10.3233/fi-1990-13404" @default.
- W194413726 hasPublicationYear "1990" @default.
- W194413726 type Work @default.
- W194413726 sameAs 194413726 @default.
- W194413726 citedByCount "206" @default.
- W194413726 countsByYear W1944137262012 @default.
- W194413726 countsByYear W1944137262013 @default.
- W194413726 countsByYear W1944137262014 @default.
- W194413726 countsByYear W1944137262015 @default.
- W194413726 countsByYear W1944137262017 @default.
- W194413726 countsByYear W1944137262018 @default.
- W194413726 countsByYear W1944137262019 @default.
- W194413726 countsByYear W1944137262020 @default.
- W194413726 countsByYear W1944137262021 @default.
- W194413726 countsByYear W1944137262023 @default.
- W194413726 crossrefType "journal-article" @default.
- W194413726 hasAuthorship W194413726A5084802338 @default.
- W194413726 hasConcept C102993220 @default.
- W194413726 hasConcept C118615104 @default.
- W194413726 hasConcept C127001435 @default.
- W194413726 hasConcept C134306372 @default.
- W194413726 hasConcept C136119220 @default.
- W194413726 hasConcept C156325763 @default.
- W194413726 hasConcept C159032336 @default.
- W194413726 hasConcept C160236029 @default.
- W194413726 hasConcept C171018156 @default.
- W194413726 hasConcept C177148314 @default.
- W194413726 hasConcept C184337299 @default.
- W194413726 hasConcept C194146651 @default.
- W194413726 hasConcept C199360897 @default.
- W194413726 hasConcept C202444582 @default.
- W194413726 hasConcept C203659156 @default.
- W194413726 hasConcept C207648694 @default.
- W194413726 hasConcept C2185349 @default.
- W194413726 hasConcept C2524010 @default.
- W194413726 hasConcept C2778029271 @default.
- W194413726 hasConcept C33923547 @default.
- W194413726 hasConcept C3845977 @default.
- W194413726 hasConcept C41008148 @default.
- W194413726 hasConcept C58041814 @default.
- W194413726 hasConcept C62360110 @default.
- W194413726 hasConcept C80444323 @default.
- W194413726 hasConcept C89497691 @default.
- W194413726 hasConceptScore W194413726C102993220 @default.
- W194413726 hasConceptScore W194413726C118615104 @default.
- W194413726 hasConceptScore W194413726C127001435 @default.
- W194413726 hasConceptScore W194413726C134306372 @default.
- W194413726 hasConceptScore W194413726C136119220 @default.
- W194413726 hasConceptScore W194413726C156325763 @default.
- W194413726 hasConceptScore W194413726C159032336 @default.
- W194413726 hasConceptScore W194413726C160236029 @default.
- W194413726 hasConceptScore W194413726C171018156 @default.
- W194413726 hasConceptScore W194413726C177148314 @default.
- W194413726 hasConceptScore W194413726C184337299 @default.
- W194413726 hasConceptScore W194413726C194146651 @default.
- W194413726 hasConceptScore W194413726C199360897 @default.
- W194413726 hasConceptScore W194413726C202444582 @default.
- W194413726 hasConceptScore W194413726C203659156 @default.
- W194413726 hasConceptScore W194413726C207648694 @default.
- W194413726 hasConceptScore W194413726C2185349 @default.
- W194413726 hasConceptScore W194413726C2524010 @default.
- W194413726 hasConceptScore W194413726C2778029271 @default.
- W194413726 hasConceptScore W194413726C33923547 @default.
- W194413726 hasConceptScore W194413726C3845977 @default.
- W194413726 hasConceptScore W194413726C41008148 @default.
- W194413726 hasConceptScore W194413726C58041814 @default.
- W194413726 hasConceptScore W194413726C62360110 @default.
- W194413726 hasConceptScore W194413726C80444323 @default.
- W194413726 hasConceptScore W194413726C89497691 @default.
- W194413726 hasIssue "4" @default.
- W194413726 hasLocation W1944137261 @default.
- W194413726 hasOpenAccess W194413726 @default.
- W194413726 hasPrimaryLocation W1944137261 @default.
- W194413726 hasRelatedWork W1485855639 @default.
- W194413726 hasRelatedWork W1510566887 @default.
- W194413726 hasRelatedWork W194413726 @default.
- W194413726 hasRelatedWork W2006784674 @default.
- W194413726 hasRelatedWork W2024430355 @default.
- W194413726 hasRelatedWork W2118908921 @default.
- W194413726 hasRelatedWork W2486747734 @default.
- W194413726 hasRelatedWork W2553959513 @default.
- W194413726 hasRelatedWork W191229251 @default.
- W194413726 hasRelatedWork W2521563055 @default.
- W194413726 hasVolume "13" @default.
- W194413726 isParatext "false" @default.
- W194413726 isRetracted "false" @default.
- W194413726 magId "194413726" @default.
- W194413726 workType "article" @default.