The ramification problem in temporal databases: Changing beliefs about the past

Data and Knowledge Engineering

Volumn 59, Issue 2, 2006, Pages 397-434

  Papadakis, Nikos ^a   Antoniou, Grigoris ^a   Plexousakis, Dimitris ^a  

^a UNIVERSITY OF CRETE   (Greece)

Author keywords

Belief revision; Common sense reasoning; Knowledge representation and reasoning; Ramification problem; Temporal databases

Indexed keywords

DATA REDUCTION; INFORMATION MANAGEMENT; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING;

BELIEF REVISION; COMMON SENSE REASONING; RAMIFICATION PROBLEMS; TEMPORAL DATABASES;

DATABASE SYSTEMS;

EID: 33748141109     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2005.09.003     Document Type: Article

References (21)

1. Ginsberg M., and Smith D. Reasoning about action I: a possible worlds approach. Artificial Intelligence 35 (1988) 165-195
2. Kakas A.C., Miller R.S., and Toni F. E-RES: reasoning about actions, events and observations. Proceedings of LPNMR2001 (2001), Springer-Verlag, Berlin 254-266
3. Kakas A., and Miller R. A Simple Declarative Language for Describing Narratives with Actions. The Journal of Logic Programming 31 1-3 (1997) 157-200 (special issue on reasoning about action and change)
4. Kowalski R.A. Database updates in the event calculus. Journal of Logic Programming (1992)
5. V. Lifshitz, Towards a metatheory of action, in: J.F. Allen, R. Fikes, E. Sandewall, (Eds.), Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1991, pp. 376-386.
6. Lifshitz V. Frames in the space of situations. Artificial Intelligence 46 (1990) 365-376
7. V. Lifchitz, Towards a metatheory of action, in: Proceedings of KR'91, Cambridge, MA, 1991, pp. 376-386.
8. N. McCain, H. Turner, A causal theory of ramifications and qualifications, in: Proceedings of IJCAI-95, Montreal, Canada, August 1995, pp. 1978-1984.
9. McCarthy J., and Hayes P.J. Some philosophical problem from the standpoint of artificial intelligence. In: Meltzer B., and Mitchie D. (Eds). Machine Intelligence vol. 4 (1969), American Elsevier 463-502
10. Miller R., and Shanahan M. The event calculus in classical logic-alternative axiomatisations. Linkping Electronic Articles in Computer and Information Science 4 16 (1999)
11. N. Papadakis, D. Plexousakis, Action theories in temporal databases, in: Proceedings of the 8th Panhellenic Conference on Informatics, Cyprus, November 2001, pp. 254-264.
12. N. Papadakis, D. Plexousakis, The ramification and qualification problems in temporal databases, in: Proceedings of the 2nd Hellenic Conference on AI, Lecture Notes on Artificial Intelligent vol. 2308, 10-11 April 2002, Thessaloniki, Greece, pp. 18-30.
13. N. Papadakis, D. Plexousakis, Action with duration and constraints: the ramification problem in temporal databases, in: 14th IEEE ICTAI, 2002, Washington, DC.
14. N. Papadakis, D. Plexousakis, Action with duration and constraints: the ramification problem in temporal databases, International Journal of Artificial Intelligent Tools (IJTAI) (special issue on selected papers of ICTAI 2002), in press.
15. D. Plexousakis, J. Mylopoulos, Accomodating integrity constraints during database design, in: Proceedings of EDBT 1996, Avignon, France, 1996, pp. 497-513.
16. J. Pinto, Temporal reasoning in the situation calculus, Ph.D. thesis, Department of Computer Science, University of Toronto, January 1994.
17. J. Pinto, R. Reiter, Temporal reasoning in logic programming: a case for the situation calculus, in: Proceedings of 10th International Conference on Logic Programming, Budapest, Hungary, June 21-24, 1993.
18. R. Reiter, Natural actions, concurrency and continuous time in the situation calculus, KR 96, 1996, pp. 2-13.
19. Thielscher M. Ramification and causality. Artificial Intelligence 89 1-2 (1997) 317-364
20. Thielscher M. Reasoning about actions: steady versus stabilizing state constraints. Artificial Intelligence 104 (1988) 339-355
21. M. Winslett, Reasoning about action using a possible models approach, in: Proceedings of AAAI-88, Saint Paul, MN, August 1988, pp. 89-93.