Updating knowledge bases while maintaining their consistency

This publication has 34 references indexed in Scilit:

• Loop checking and negation
  The Journal of Logic Programming, 1993
• Updating intensional predicates in Datalog
  Data & Knowledge Engineering, 1992
• An analysis of loop checking mechanisms for logic programs
  Theoretical Computer Science, 1991
• A completeness theorem for SLDNF resolution
  The Journal of Logic Programming, 1989
• The Range Form of Databases and Queries or: How to Avoid Floundering
  Informatik-Fachberichte, 1989
• Updates, a new frontier
  Published by Springer Nature ,1988
• An amateur's introduction to recursive query processing strategies
  Published by Association for Computing Machinery (ACM) ,1986
• Updates of Relational Views
  Journal of the ACM, 1984
• On the correct translation of update operations on relational views
  ACM Transactions on Database Systems, 1982
• Update semantics of relational views
  ACM Transactions on Database Systems, 1981