On Positive Occurrences of Negation as Failure

This publication has 10 references indexed in Scilit:

• Relating Disjunctive Logic Programs to Default Theories
  Published by MIT Press ,1993
• A possible world semantics for disjunctive databases
  IEEE Transactions on Knowledge and Data Engineering, 1993
• Abductive Logic Programming
  Journal of Logic and Computation, 1992
• Reasoning with Parsimonious and Moderately Grounded Expansions
  Fundamenta Informaticae, 1992
• Formalizing a logic for logic programming
  Annals of Mathematics and Artificial Intelligence, 1992
• Complexity Results for Nonmonotonic Logics
  Journal of Logic and Computation, 1992
• Implementing deductive databases by linear programming
  Published by Association for Computing Machinery (ACM) ,1992
• Classical negation in logic programs and disjunctive databases
  New Generation Computing, 1991
• On the relation between default and autoepistemic logic
  Artificial Intelligence, 1988
• Semantical considerations on nonmonotonic logic
  Artificial Intelligence, 1985