Considerations on Updates of Logic Programs

This publication has 8 references indexed in Scilit:

• Revision specifications by means of programs
  Published by Springer Nature ,2005
• Dynamic updates of non-monotonic knowledge bases
  The Journal of Logic Programming, 2000
• LUPS — A Language for Updating Logic Programs
  Published by Springer Nature ,1999
• Updating Extended Logic Programs through Abduction
  Published by Springer Nature ,1999
• On the logic of iterated belief revision
  Artificial Intelligence, 1997
• Classical negation in logic programs and disjunctive databases
  New Generation Computing, 1991
• Belief revision in a framework for default reasoning
  Published by Springer Nature ,1991
• On the logic of theory change: Partial meet contraction and revision functions
  The Journal of Symbolic Logic, 1985