Revision of non-monotonic theories

This publication has 7 references indexed in Scilit:

• Hypothetical reasoning in logic programs
  The Journal of Logic Programming, 1994
• Skeptical reason maintenance and belief revision
  Artificial Intelligence, 1993
• Belief revision by expansion
  Published by Springer Nature ,1993
• Nonmonotonic Logic
  Published by Springer Nature ,1993
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
  Theoretical Computer Science, 1992
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• On the logic of theory change: Partial meet contraction and revision functions
  The Journal of Symbolic Logic, 1985