Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539752246> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1539752246 endingPage "264" @default.
- W1539752246 startingPage "245" @default.
- W1539752246 abstract "We investigate the expressive power of partial model semantics for disjunctive deductive databases. In particular, partial stable, regular model, maximal stable (M-stable), and least undefined stable (L-stable) semantics for function-free disjunctive logic programs are considered, for which the expressiveness of queries based on possibility and certainty inference is determined. The analysis pays particular attention to the impact of syntactical restrictions on programs in the form of limited use of disjunction and negation. It appears that the considered semantics capture complexity classes at the lower end of the polynomial hierarchy. In particular, L-stable semantics has the highest expressive power (Σsk3/P resp. Πsk3/P). An interesting result in this course is that, in contrast with total stable models, negation is for partial stable models more expressive than disjunction." @default.
- W1539752246 created "2016-06-24" @default.
- W1539752246 creator A5002604860 @default.
- W1539752246 creator A5052111624 @default.
- W1539752246 creator A5082178480 @default.
- W1539752246 date "1996-01-01" @default.
- W1539752246 modified "2023-10-18" @default.
- W1539752246 title "The expressive power of partial models for disjunctive deductive databases" @default.
- W1539752246 cites W1509428113 @default.
- W1539752246 cites W1547414429 @default.
- W1539752246 cites W1984890936 @default.
- W1539752246 cites W1988827098 @default.
- W1539752246 cites W1989783863 @default.
- W1539752246 cites W2023141722 @default.
- W1539752246 cites W2024943265 @default.
- W1539752246 cites W2043198854 @default.
- W1539752246 cites W2050171146 @default.
- W1539752246 cites W2052713897 @default.
- W1539752246 cites W205761009 @default.
- W1539752246 cites W2063545044 @default.
- W1539752246 cites W2065251436 @default.
- W1539752246 cites W2073247139 @default.
- W1539752246 cites W2085084839 @default.
- W1539752246 cites W2087432892 @default.
- W1539752246 cites W2128770734 @default.
- W1539752246 cites W2142864156 @default.
- W1539752246 cites W2176981155 @default.
- W1539752246 cites W2178865018 @default.
- W1539752246 doi "https://doi.org/10.1007/bfb0031745" @default.
- W1539752246 hasPublicationYear "1996" @default.
- W1539752246 type Work @default.
- W1539752246 sameAs 1539752246 @default.
- W1539752246 citedByCount "10" @default.
- W1539752246 crossrefType "book-chapter" @default.
- W1539752246 hasAuthorship W1539752246A5002604860 @default.
- W1539752246 hasAuthorship W1539752246A5052111624 @default.
- W1539752246 hasAuthorship W1539752246A5082178480 @default.
- W1539752246 hasConcept C195818886 @default.
- W1539752246 hasConcept C199360897 @default.
- W1539752246 hasConcept C2777502361 @default.
- W1539752246 hasConcept C41008148 @default.
- W1539752246 hasConcept C77088390 @default.
- W1539752246 hasConceptScore W1539752246C195818886 @default.
- W1539752246 hasConceptScore W1539752246C199360897 @default.
- W1539752246 hasConceptScore W1539752246C2777502361 @default.
- W1539752246 hasConceptScore W1539752246C41008148 @default.
- W1539752246 hasConceptScore W1539752246C77088390 @default.
- W1539752246 hasLocation W15397522461 @default.
- W1539752246 hasOpenAccess W1539752246 @default.
- W1539752246 hasPrimaryLocation W15397522461 @default.
- W1539752246 hasRelatedWork W1508480023 @default.
- W1539752246 hasRelatedWork W1521337661 @default.
- W1539752246 hasRelatedWork W1527862632 @default.
- W1539752246 hasRelatedWork W2109507516 @default.
- W1539752246 hasRelatedWork W2112962394 @default.
- W1539752246 hasRelatedWork W2118300983 @default.
- W1539752246 hasRelatedWork W2135396778 @default.
- W1539752246 hasRelatedWork W2740990710 @default.
- W1539752246 hasRelatedWork W3141629801 @default.
- W1539752246 hasRelatedWork W4243252198 @default.
- W1539752246 isParatext "false" @default.
- W1539752246 isRetracted "false" @default.
- W1539752246 magId "1539752246" @default.
- W1539752246 workType "book-chapter" @default.