On specifying database updates

The Journal of Logic Programming

Volumn 25, Issue 1, 1995, Pages 53-91

  Reiter, Raymond ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; LOGIC PROGRAMMING; PROBLEM SOLVING; THEOREM PROVING;

FIRST ORDER REPRESENTATION LANGUAGE; MATHEMATICAL INDUCTION; QUERY EVALUATION; SITUATION CALCULUS; UPDATE TRANSACTIONS;

DATABASE SYSTEMS;

EID: 0029393087     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/0743-1066(95)00049-P     Document Type: Article

References (48)

1. Updates, a new frontier
2. A transaction-based approach to relational database specification
3. On the logic of theory change: Partial meet contraction and revision functions
4. A simple solution to the Yale shooting problem
5. Temporal projection and explanation
6. Transaction logic programming
7. The TaxisDL software description language
8. A family of temporal languages for the description of transition constraints
9. Negation as failure
10. Updating logical databases
11. Exploiting Constraints in Design Synthesis
12. Reasoning about actions I: A possible worlds approach
13. Updates and counterfactuals
14. Knowledgebase transformations
15. Theorem proving by resolution as a basis for question-answering systems
16. Updating knowledge bases
17. Updating knowledge bases II
18. Default reasoning, nonmonotonic logics, and the frame problem
19. Database updates through abduction
20. On the difference between updating a knowledge base and revising it
21. On the Use of an Extended Relational Model to Handle Changing Incomplete Information
22. Database updates in the event calculus
23. The situation calculus and event calculus compared
24. A logical approach to high-level robot programming—A progress report
25. Defining complex actions in the situation calculus
26. Toward a metatheory of action
27. How to progress a database II: The STRIPS connection
28. How to progress a database (and why) I. Logical foundations
29. State constraints revisited
30. Provably correct theories of action
31. A logic-based language for database updates
32. Programs with common sense
33. Epistemological problems of artificial intelligence
34. Some philosophical problems from the standpoint of artificial intelligence
35. Explanation and prediction: an architecture for default and abductive reasoning
36. Towards a logical reconstruction of relational database theory
37. A sound and sometimes complete query evaluation algorithm for relational databases with null values
38. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
39. What should a database know?
40. Proving properties of states in the situation calculus
41. Formalizing database evolution in the situation calculus
42. The projection problem in the situation calculus: A soundness and completeness result, with an application to database updates
43. On formalizing database updates: Preliminary report
44. Achieving several goals simultaneously
45. Reasoning about action using a possible models approach