Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073311296> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2073311296 endingPage "106" @default.
- W2073311296 startingPage "93" @default.
- W2073311296 abstract "Van Emden and Kowalski proposed a fixpoint semantics based on model-theory and an operational semantics based on proof-theory for Horn logic programs. They prove the equivalence of these semantics using fixpoint techniques. The main goal of this paper is to present a unified theory for the semantics of Horn and disjunctive logic programs. For this, we extend the fixpoint semantics and the operational or procedural semantics to the class of disjunctive logic programs and prove their equivalence using techniques similar to the ones used for Horn programs." @default.
- W2073311296 created "2016-06-24" @default.
- W2073311296 creator A5039295194 @default.
- W2073311296 creator A5063061892 @default.
- W2073311296 creator A5078013111 @default.
- W2073311296 date "1991-08-01" @default.
- W2073311296 modified "2023-10-14" @default.
- W2073311296 title "Semantics of Horn and disjunctive logic programs" @default.
- W2073311296 cites W1980131378 @default.
- W2073311296 cites W1998072811 @default.
- W2073311296 cites W2020890531 @default.
- W2073311296 cites W2082367267 @default.
- W2073311296 cites W2108911687 @default.
- W2073311296 cites W2143382644 @default.
- W2073311296 cites W2148853609 @default.
- W2073311296 doi "https://doi.org/10.1016/0304-3975(91)90006-n" @default.
- W2073311296 hasPublicationYear "1991" @default.
- W2073311296 type Work @default.
- W2073311296 sameAs 2073311296 @default.
- W2073311296 citedByCount "31" @default.
- W2073311296 countsByYear W20733112962013 @default.
- W2073311296 countsByYear W20733112962017 @default.
- W2073311296 countsByYear W20733112962020 @default.
- W2073311296 countsByYear W20733112962021 @default.
- W2073311296 crossrefType "journal-article" @default.
- W2073311296 hasAuthorship W2073311296A5039295194 @default.
- W2073311296 hasAuthorship W2073311296A5063061892 @default.
- W2073311296 hasAuthorship W2073311296A5078013111 @default.
- W2073311296 hasBestOaLocation W20733112961 @default.
- W2073311296 hasConcept C102993220 @default.
- W2073311296 hasConcept C118615104 @default.
- W2073311296 hasConcept C127001435 @default.
- W2073311296 hasConcept C128838566 @default.
- W2073311296 hasConcept C134306372 @default.
- W2073311296 hasConcept C146499914 @default.
- W2073311296 hasConcept C150607116 @default.
- W2073311296 hasConcept C152076505 @default.
- W2073311296 hasConcept C156325763 @default.
- W2073311296 hasConcept C15744967 @default.
- W2073311296 hasConcept C169896238 @default.
- W2073311296 hasConcept C184337299 @default.
- W2073311296 hasConcept C189790780 @default.
- W2073311296 hasConcept C19417346 @default.
- W2073311296 hasConcept C199360897 @default.
- W2073311296 hasConcept C207648694 @default.
- W2073311296 hasConcept C2780069185 @default.
- W2073311296 hasConcept C33923547 @default.
- W2073311296 hasConcept C41008148 @default.
- W2073311296 hasConcept C58041814 @default.
- W2073311296 hasConcept C61445026 @default.
- W2073311296 hasConcept C80444323 @default.
- W2073311296 hasConcept C89497691 @default.
- W2073311296 hasConceptScore W2073311296C102993220 @default.
- W2073311296 hasConceptScore W2073311296C118615104 @default.
- W2073311296 hasConceptScore W2073311296C127001435 @default.
- W2073311296 hasConceptScore W2073311296C128838566 @default.
- W2073311296 hasConceptScore W2073311296C134306372 @default.
- W2073311296 hasConceptScore W2073311296C146499914 @default.
- W2073311296 hasConceptScore W2073311296C150607116 @default.
- W2073311296 hasConceptScore W2073311296C152076505 @default.
- W2073311296 hasConceptScore W2073311296C156325763 @default.
- W2073311296 hasConceptScore W2073311296C15744967 @default.
- W2073311296 hasConceptScore W2073311296C169896238 @default.
- W2073311296 hasConceptScore W2073311296C184337299 @default.
- W2073311296 hasConceptScore W2073311296C189790780 @default.
- W2073311296 hasConceptScore W2073311296C19417346 @default.
- W2073311296 hasConceptScore W2073311296C199360897 @default.
- W2073311296 hasConceptScore W2073311296C207648694 @default.
- W2073311296 hasConceptScore W2073311296C2780069185 @default.
- W2073311296 hasConceptScore W2073311296C33923547 @default.
- W2073311296 hasConceptScore W2073311296C41008148 @default.
- W2073311296 hasConceptScore W2073311296C58041814 @default.
- W2073311296 hasConceptScore W2073311296C61445026 @default.
- W2073311296 hasConceptScore W2073311296C80444323 @default.
- W2073311296 hasConceptScore W2073311296C89497691 @default.
- W2073311296 hasIssue "1" @default.
- W2073311296 hasLocation W20733112961 @default.
- W2073311296 hasOpenAccess W2073311296 @default.
- W2073311296 hasPrimaryLocation W20733112961 @default.
- W2073311296 hasRelatedWork W1565705080 @default.
- W2073311296 hasRelatedWork W1591242928 @default.
- W2073311296 hasRelatedWork W1829953733 @default.
- W2073311296 hasRelatedWork W1990759781 @default.
- W2073311296 hasRelatedWork W2043182143 @default.
- W2073311296 hasRelatedWork W2073311296 @default.
- W2073311296 hasRelatedWork W2084921023 @default.
- W2073311296 hasRelatedWork W2137980890 @default.
- W2073311296 hasRelatedWork W2595534346 @default.
- W2073311296 hasRelatedWork W2950641724 @default.
- W2073311296 hasVolume "86" @default.
- W2073311296 isParatext "false" @default.
- W2073311296 isRetracted "false" @default.
- W2073311296 magId "2073311296" @default.
- W2073311296 workType "article" @default.