On formalizing database updates: Preliminary report

This publication has 7 references indexed in Scilit:

• Updating knowledge bases II
  New Generation Computing, 1991
• Updating knowledge bases
  New Generation Computing, 1990
• Monotonic Solution of The Frame Problem in The Situation Calculus
  Published by Springer Nature ,1990
• Reasoning about action I
  Artificial Intelligence, 1988
• A Logic-based Language for Database Updates
  Published by Elsevier ,1988
• Towards a Logical Reconstruction of Relational Database Theory
  Published by Springer Nature ,1984
• Updating Logical Databases.
  Published by Defense Technical Information Center (DTIC) ,1984