Autoepistemic logic programming

This publication has 10 references indexed in Scilit:

• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
  Theoretical Computer Science, 1992
• Logic Programming as an Inference Engine for Non-Monotonic Reasoning
  Published by Defense Technical Information Center (DTIC) ,1991
• The well-founded semantics for general logic programs
  Journal of the ACM, 1991
• A family of three-valued autoepistemic logics
  Published by Springer Nature ,1991
• The expressive powers of the logic programming semantics (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1990
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Negation in logic programming
  The Journal of Logic Programming, 1987
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• Semantical considerations on nonmonotonic logic
  Artificial Intelligence, 1985
• Foundations of Logic Programming
  Published by Springer Nature ,1984