The expressive power of partial models for disjunctive deductive databases
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 245-264
- https://doi.org/10.1007/bfb0031745
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Complexity and undecidability results for logic programmingAnnals of Mathematics and Artificial Intelligence, 1995
- On the equivalence of semantics for normal logic programsThe Journal of Logic Programming, 1995
- A three-valued semantics for deductive databases and logic programsJournal of Computer and System Sciences, 1994
- Propositional semantics for disjunctive logic programsAnnals of Mathematics and Artificial Intelligence, 1994
- Short note preferred extensions are partial stable modelsThe Journal of Logic Programming, 1992
- Stable semantics for disjunctive programsNew Generation Computing, 1991
- On the representation and querying of sets of possible worldsTheoretical Computer Science, 1991
- The expressive power of stratified logic programsInformation and Computation, 1991
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- The polynomial-time hierarchyTheoretical Computer Science, 1976