Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988827098> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1988827098 endingPage "222" @default.
- W1988827098 startingPage "211" @default.
- W1988827098 abstract "Despite the frequent comment that there is no general agreement on the semantics of logic programs, this paper shows that a number of independently proposed extensions to the stable model semantics coincide: the regular model semantics proposed by You and Yuan, the partial stable model semantics by Saccà and Zaniolo, the preferential semantics by Dung, and a stronger version of the stable class semantics by Baral and Subrahmanian. We show that these equivalent semantics can be characterized simply as selecting a particular kind of stable classes, called normal alternating fixpoints . In addition, we indicate that almost all of the previously proposed semantic frameworks coincide with that of normal alternating fixpoints. Due to its simplicity and naturalness, the framework of normal alternating fixpoints offers great potential in the study of the semantics for various nonmonotonic systems." @default.
- W1988827098 created "2016-06-24" @default.
- W1988827098 creator A5029937685 @default.
- W1988827098 creator A5072151614 @default.
- W1988827098 date "1995-03-01" @default.
- W1988827098 modified "2023-09-26" @default.
- W1988827098 title "On the equivalence of semantics for normal logic programs" @default.
- W1988827098 cites W1998093438 @default.
- W1988827098 cites W2024943265 @default.
- W1988827098 cites W2057095065 @default.
- W1988827098 cites W205761009 @default.
- W1988827098 cites W2073247139 @default.
- W1988827098 cites W4212881215 @default.
- W1988827098 doi "https://doi.org/10.1016/0743-1066(94)00023-y" @default.
- W1988827098 hasPublicationYear "1995" @default.
- W1988827098 type Work @default.
- W1988827098 sameAs 1988827098 @default.
- W1988827098 citedByCount "56" @default.
- W1988827098 countsByYear W19888270982012 @default.
- W1988827098 countsByYear W19888270982015 @default.
- W1988827098 countsByYear W19888270982016 @default.
- W1988827098 countsByYear W19888270982017 @default.
- W1988827098 crossrefType "journal-article" @default.
- W1988827098 hasAuthorship W1988827098A5029937685 @default.
- W1988827098 hasAuthorship W1988827098A5072151614 @default.
- W1988827098 hasBestOaLocation W19888270981 @default.
- W1988827098 hasConcept C118615104 @default.
- W1988827098 hasConcept C127001435 @default.
- W1988827098 hasConcept C136119220 @default.
- W1988827098 hasConcept C146499914 @default.
- W1988827098 hasConcept C156325763 @default.
- W1988827098 hasConcept C184337299 @default.
- W1988827098 hasConcept C199360897 @default.
- W1988827098 hasConcept C202444582 @default.
- W1988827098 hasConcept C207648694 @default.
- W1988827098 hasConcept C2780069185 @default.
- W1988827098 hasConcept C33923547 @default.
- W1988827098 hasConcept C41008148 @default.
- W1988827098 hasConcept C89497691 @default.
- W1988827098 hasConcept C9672783 @default.
- W1988827098 hasConceptScore W1988827098C118615104 @default.
- W1988827098 hasConceptScore W1988827098C127001435 @default.
- W1988827098 hasConceptScore W1988827098C136119220 @default.
- W1988827098 hasConceptScore W1988827098C146499914 @default.
- W1988827098 hasConceptScore W1988827098C156325763 @default.
- W1988827098 hasConceptScore W1988827098C184337299 @default.
- W1988827098 hasConceptScore W1988827098C199360897 @default.
- W1988827098 hasConceptScore W1988827098C202444582 @default.
- W1988827098 hasConceptScore W1988827098C207648694 @default.
- W1988827098 hasConceptScore W1988827098C2780069185 @default.
- W1988827098 hasConceptScore W1988827098C33923547 @default.
- W1988827098 hasConceptScore W1988827098C41008148 @default.
- W1988827098 hasConceptScore W1988827098C89497691 @default.
- W1988827098 hasConceptScore W1988827098C9672783 @default.
- W1988827098 hasIssue "3" @default.
- W1988827098 hasLocation W19888270981 @default.
- W1988827098 hasOpenAccess W1988827098 @default.
- W1988827098 hasPrimaryLocation W19888270981 @default.
- W1988827098 hasRelatedWork W114547669 @default.
- W1988827098 hasRelatedWork W1990759781 @default.
- W1988827098 hasRelatedWork W2043182143 @default.
- W1988827098 hasRelatedWork W2546359344 @default.
- W1988827098 hasRelatedWork W2753815840 @default.
- W1988827098 hasRelatedWork W2950641724 @default.
- W1988827098 hasRelatedWork W2964282976 @default.
- W1988827098 hasRelatedWork W3103063427 @default.
- W1988827098 hasRelatedWork W2512486790 @default.
- W1988827098 hasRelatedWork W2788904436 @default.
- W1988827098 hasVolume "22" @default.
- W1988827098 isParatext "false" @default.
- W1988827098 isRetracted "false" @default.
- W1988827098 magId "1988827098" @default.
- W1988827098 workType "article" @default.