Stable and extension class theory for logic programs and default logics

This publication has 8 references indexed in Scilit:

• Stable Theories in Autoepistemic Logic
  Fundamenta Informaticae, 1989
• Logical characterizations of nonmonotonic TMSs
  Published by Springer Nature ,1989
• On the relation between default and autoepistemic logic
  Artificial Intelligence, 1988
• Unfounded sets and well-founded semantics for general logic programs
  Published by Association for Computing Machinery (ACM) ,1988
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• The consistency of negation as failure
  The Journal of Logic Programming, 1986
• A logic for default reasoning
  Artificial Intelligence, 1980