Revision by communication

This publication has 10 references indexed in Scilit:

• Dterministic and non-deterministic stable model semantics for unbound DATALOG queries
  Published by Springer Nature ,1995
• Revision by expansion in logic programs
  Published by Springer Nature ,1994
• Revision of non-monotonic theories
  Published by Springer Nature ,1994
• Removing redundancy from a clause
  Artificial Intelligence, 1993
• Skeptical reason maintenance and belief revision
  Artificial Intelligence, 1993
• Negation and minimality in non-horn databases
  Published by Association for Computing Machinery (ACM) ,1993
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
  Theoretical Computer Science, 1992
• Negation in rule-based database languages: a survey
  Theoretical Computer Science, 1991
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• A truth maintenance system
  Artificial Intelligence, 1979