Drawing updates from derivations

This publication has 16 references indexed in Scilit:

• Updating knowledge bases
  New Generation Computing, 1990
• A rational reconstruction of nonmonotonic truth maintenance systems
  Artificial Intelligence, 1990
• A completeness theorem for SLDNF resolution
  The Journal of Logic Programming, 1989
• Declarative expression of deductive database updates
  Published by Association for Computing Machinery (ACM) ,1989
• The Range Form of Databases and Queries or: How to Avoid Floundering
  Informatik-Fachberichte, 1989
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• An assumption-based TMS
  Artificial Intelligence, 1986
• Updating Relational Views
  Published by Springer Nature ,1985
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• A truth maintenance system
  Artificial Intelligence, 1979