REVISE: An Extended Logic Programming System for Revising Knowledge Bases

This publication has 9 references indexed in Scilit:

• On updates and inconsistency repairing in knowledge bases
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Non-monotonic reasoning with logic programming
  The Journal of Logic Programming, 1993
• Diamon: a model-based troubleshooter based on qualitative reasoning
  IEEE Expert, 1993
• Diagnosis and debugging as contradiction removal in logic programs
  Published by Springer Nature ,1993
• A general framework for reason maintenance
  Artificial Intelligence, 1991
• The well-founded semantics for general logic programs
  Journal of the ACM, 1991
• Belief Revision, Diagnosis and Repair
  Published by Springer Nature ,1991
• Nonmonotonic reasoning, preferential models and cumulative logics
  Artificial Intelligence, 1990
• A correction to the algorithm in reiter's theory of diagnosis
  Artificial Intelligence, 1989