Embedding negation as failure into a model generation theorem prover

This publication has 8 references indexed in Scilit:

• On indefinite databases and the closed world assumption
  Published by Springer Nature ,2005
• Classical negation in logic programs and disjunctive databases
  New Generation Computing, 1991
• The structure of norm conditions and nonmonotonic reasoning in law
  Published by Association for Computing Machinery (ACM) ,1991
• Stable models and non-determinism in logic programs with negation
  Published by Association for Computing Machinery (ACM) ,1990
• SATCHMO: A theorem prover implemented in Prolog
  Published by Springer Nature ,1987
• Saturation, nonmonotonic reasoning and the closed-world assumption
  Artificial Intelligence, 1985
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• A logic for default reasoning
  Artificial Intelligence, 1980