Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572426677> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1572426677 endingPage "235" @default.
- W1572426677 startingPage "221" @default.
- W1572426677 abstract "In this paper, we propose a new semantics for disjunctive logic programming and deductive databases. The semantics, called minimal founded, generalizes stable model semantics for normal (i.e. non disjunctive) programs but differs from disjunctive stable model semantics (the extension of stable model semantics for disjunctive programs). Compared with disjunctive stable model semantics, the minimal founded semantics seems to be, in some case, more intuitive, it gives meaning to programs which are meaningless under stable model semantics and it is not harder to compute. We study the expressive power of the semantics and show that for general disjunctive datalog programs it has the same power of disjunctive stable model semantics. We also present a variation of the minimal founded semantics, called strongly founded which on stratified programs coincide with the perfect model semantics.KeywordsMinimal ModelStable ModelModel SemanticExpressive PowerPredicate SymbolThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1572426677 created "2016-06-24" @default.
- W1572426677 creator A5031964906 @default.
- W1572426677 date "1999-01-01" @default.
- W1572426677 modified "2023-10-15" @default.
- W1572426677 title "Minimal Founded Semantics for Disjunctive Logic Programming" @default.
- W1572426677 cites W1494051470 @default.
- W1572426677 cites W1524811847 @default.
- W1572426677 cites W1539752246 @default.
- W1572426677 cites W1572426677 @default.
- W1572426677 cites W1984890936 @default.
- W1572426677 cites W1989783863 @default.
- W1572426677 cites W2030648384 @default.
- W1572426677 cites W2036241121 @default.
- W1572426677 cites W2065251436 @default.
- W1572426677 cites W2070455216 @default.
- W1572426677 cites W2076698873 @default.
- W1572426677 cites W2085084839 @default.
- W1572426677 cites W2156347478 @default.
- W1572426677 cites W2295882966 @default.
- W1572426677 cites W2611415697 @default.
- W1572426677 doi "https://doi.org/10.1007/3-540-46767-x_16" @default.
- W1572426677 hasPublicationYear "1999" @default.
- W1572426677 type Work @default.
- W1572426677 sameAs 1572426677 @default.
- W1572426677 citedByCount "8" @default.
- W1572426677 crossrefType "book-chapter" @default.
- W1572426677 hasAuthorship W1572426677A5031964906 @default.
- W1572426677 hasConcept C127001435 @default.
- W1572426677 hasConcept C128838566 @default.
- W1572426677 hasConcept C148230440 @default.
- W1572426677 hasConcept C150607116 @default.
- W1572426677 hasConcept C156325763 @default.
- W1572426677 hasConcept C184337299 @default.
- W1572426677 hasConcept C195818886 @default.
- W1572426677 hasConcept C199360897 @default.
- W1572426677 hasConcept C200065993 @default.
- W1572426677 hasConcept C207648694 @default.
- W1572426677 hasConcept C2778029271 @default.
- W1572426677 hasConcept C33923547 @default.
- W1572426677 hasConcept C41008148 @default.
- W1572426677 hasConcept C61151141 @default.
- W1572426677 hasConcept C80444323 @default.
- W1572426677 hasConcept C89497691 @default.
- W1572426677 hasConcept C9672783 @default.
- W1572426677 hasConceptScore W1572426677C127001435 @default.
- W1572426677 hasConceptScore W1572426677C128838566 @default.
- W1572426677 hasConceptScore W1572426677C148230440 @default.
- W1572426677 hasConceptScore W1572426677C150607116 @default.
- W1572426677 hasConceptScore W1572426677C156325763 @default.
- W1572426677 hasConceptScore W1572426677C184337299 @default.
- W1572426677 hasConceptScore W1572426677C195818886 @default.
- W1572426677 hasConceptScore W1572426677C199360897 @default.
- W1572426677 hasConceptScore W1572426677C200065993 @default.
- W1572426677 hasConceptScore W1572426677C207648694 @default.
- W1572426677 hasConceptScore W1572426677C2778029271 @default.
- W1572426677 hasConceptScore W1572426677C33923547 @default.
- W1572426677 hasConceptScore W1572426677C41008148 @default.
- W1572426677 hasConceptScore W1572426677C61151141 @default.
- W1572426677 hasConceptScore W1572426677C80444323 @default.
- W1572426677 hasConceptScore W1572426677C89497691 @default.
- W1572426677 hasConceptScore W1572426677C9672783 @default.
- W1572426677 hasLocation W15724266771 @default.
- W1572426677 hasOpenAccess W1572426677 @default.
- W1572426677 hasPrimaryLocation W15724266771 @default.
- W1572426677 hasRelatedWork W1572426677 @default.
- W1572426677 hasRelatedWork W1626176828 @default.
- W1572426677 hasRelatedWork W1990759781 @default.
- W1572426677 hasRelatedWork W2043182143 @default.
- W1572426677 hasRelatedWork W2125406856 @default.
- W1572426677 hasRelatedWork W2135819447 @default.
- W1572426677 hasRelatedWork W2137980890 @default.
- W1572426677 hasRelatedWork W2162832844 @default.
- W1572426677 hasRelatedWork W2950270269 @default.
- W1572426677 hasRelatedWork W2950641724 @default.
- W1572426677 isParatext "false" @default.
- W1572426677 isRetracted "false" @default.
- W1572426677 magId "1572426677" @default.
- W1572426677 workType "book-chapter" @default.