Revision programming

This publication has 19 references indexed in Scilit:

• Revision specifications by means of programs
  Published by Springer Nature ,2005
• Propositional knowledge base revision and minimal change
  Published by Elsevier ,2003
• The Expressive Powers of the Logic Programming Semantics
  Journal of Computer and System Sciences, 1995
• Autoepistemic logic
  Journal of the ACM, 1991
• Negation by default and unstratifiable logic programs
  Theoretical Computer Science, 1991
• Principles of database and knowledge-base systems
  Choice Reviews Online, 1989
• On the logic of theory change: Partial meet contraction and revision functions
  The Journal of Symbolic Logic, 1985
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984
• A logic for default reasoning
  Artificial Intelligence, 1980
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976