Minimal Founded Semantics for Disjunctive Logic Programming

This publication has 15 references indexed in Scilit:

• On indefinite databases and the closed world assumption
  Published by Springer Nature ,2005
• Disjunctive datalog
  ACM Transactions on Database Systems, 1997
• Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation
  Information and Computation, 1997
• Default logic as a query language
  IEEE Transactions on Knowledge and Data Engineering, 1997
• Complexity aspects of various semantics for disjunctive databases
  Published by Association for Computing Machinery (ACM) ,1993
• Stable semantics for disjunctive programs
  New Generation Computing, 1991
• Classical negation in logic programs and disjunctive databases
  New Generation Computing, 1991
• Autoepistemic logic
  Journal of the ACM, 1991
• On the Declarative Semantics of Deductive Databases and Logic Programs
  Published by Elsevier ,1988
• Structure and complexity of relational queries
  Journal of Computer and System Sciences, 1982