Matches in SemOpenAlex for { <https://semopenalex.org/work/W244532342> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W244532342 endingPage "108" @default.
- W244532342 startingPage "93" @default.
- W244532342 abstract "In his paper [12] Ross extends the well-founded semantics for normal logic programs [16] to disjunctive logic programs. His definition is top-down and it is closer to a procedural semantics than to the elegant fixpoint definition of the well-founded semantics for normal logic programs. In the present paper, we propose a declarative, bottom-up fixpoint definition of the well-founded semantics for disjunctive logic programs. Our construction of the greatest unfounded set of extended literals is similar with the construction of the greatest unfounded set for normal programs. As a consequence, the connection between the well-founded semantics for normal programs and the well-founded semantics for disjunctive programs is made clearer." @default.
- W244532342 created "2016-06-24" @default.
- W244532342 creator A5074709071 @default.
- W244532342 date "1993-01-01" @default.
- W244532342 modified "2023-09-25" @default.
- W244532342 title "A Bottom-up Reconstruction of the Well-Founded Semantics for Disjunctive Logic Programs." @default.
- W244532342 hasPublicationYear "1993" @default.
- W244532342 type Work @default.
- W244532342 sameAs 244532342 @default.
- W244532342 citedByCount "0" @default.
- W244532342 crossrefType "journal-article" @default.
- W244532342 hasAuthorship W244532342A5074709071 @default.
- W244532342 hasConcept C11413529 @default.
- W244532342 hasConcept C127001435 @default.
- W244532342 hasConcept C128838566 @default.
- W244532342 hasConcept C150607116 @default.
- W244532342 hasConcept C156325763 @default.
- W244532342 hasConcept C177264268 @default.
- W244532342 hasConcept C184337299 @default.
- W244532342 hasConcept C199360897 @default.
- W244532342 hasConcept C207648694 @default.
- W244532342 hasConcept C33923547 @default.
- W244532342 hasConcept C41008148 @default.
- W244532342 hasConcept C58041814 @default.
- W244532342 hasConcept C80444323 @default.
- W244532342 hasConcept C89497691 @default.
- W244532342 hasConcept C9672783 @default.
- W244532342 hasConceptScore W244532342C11413529 @default.
- W244532342 hasConceptScore W244532342C127001435 @default.
- W244532342 hasConceptScore W244532342C128838566 @default.
- W244532342 hasConceptScore W244532342C150607116 @default.
- W244532342 hasConceptScore W244532342C156325763 @default.
- W244532342 hasConceptScore W244532342C177264268 @default.
- W244532342 hasConceptScore W244532342C184337299 @default.
- W244532342 hasConceptScore W244532342C199360897 @default.
- W244532342 hasConceptScore W244532342C207648694 @default.
- W244532342 hasConceptScore W244532342C33923547 @default.
- W244532342 hasConceptScore W244532342C41008148 @default.
- W244532342 hasConceptScore W244532342C58041814 @default.
- W244532342 hasConceptScore W244532342C80444323 @default.
- W244532342 hasConceptScore W244532342C89497691 @default.
- W244532342 hasConceptScore W244532342C9672783 @default.
- W244532342 hasLocation W2445323421 @default.
- W244532342 hasOpenAccess W244532342 @default.
- W244532342 hasPrimaryLocation W2445323421 @default.
- W244532342 hasRelatedWork W122776937 @default.
- W244532342 hasRelatedWork W1497936609 @default.
- W244532342 hasRelatedWork W1505787149 @default.
- W244532342 hasRelatedWork W1542916848 @default.
- W244532342 hasRelatedWork W1550404019 @default.
- W244532342 hasRelatedWork W1565705080 @default.
- W244532342 hasRelatedWork W1760222600 @default.
- W244532342 hasRelatedWork W192651373 @default.
- W244532342 hasRelatedWork W2032346221 @default.
- W244532342 hasRelatedWork W2089040805 @default.
- W244532342 hasRelatedWork W2115303419 @default.
- W244532342 hasRelatedWork W2135819447 @default.
- W244532342 hasRelatedWork W2153530522 @default.
- W244532342 hasRelatedWork W2165496352 @default.
- W244532342 hasRelatedWork W285091285 @default.
- W244532342 hasRelatedWork W2953068149 @default.
- W244532342 hasRelatedWork W30124015 @default.
- W244532342 hasRelatedWork W31286616 @default.
- W244532342 hasRelatedWork W34897425 @default.
- W244532342 hasRelatedWork W1875065623 @default.
- W244532342 hasVolume "2" @default.
- W244532342 isParatext "false" @default.
- W244532342 isRetracted "false" @default.
- W244532342 magId "244532342" @default.
- W244532342 workType "article" @default.