메뉴 건너뛰기




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

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

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;

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

References (21)
  • 1
    • 0024030356 scopus 로고
    • Reasoning about action I: a possible worlds approach
    • Ginsberg M., and Smith D. Reasoning about action I: a possible worlds approach. Artificial Intelligence 35 (1988) 165-195
    • (1988) Artificial Intelligence , vol.35 , pp. 165-195
    • Ginsberg, M.1    Smith, D.2
  • 2
    • 84867815428 scopus 로고    scopus 로고
    • E-RES: reasoning about actions, events and observations
    • Springer-Verlag, Berlin
    • 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
    • (2001) Proceedings of LPNMR2001 , pp. 254-266
    • Kakas, A.C.1    Miller, R.S.2    Toni, F.3
  • 3
    • 0031118423 scopus 로고    scopus 로고
    • A Simple Declarative Language for Describing Narratives with Actions
    • (special issue on reasoning about action and change)
    • 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)
    • (1997) The Journal of Logic Programming , vol.31 , Issue.1-3 , pp. 157-200
    • Kakas, A.1    Miller, R.2
  • 5
    • 33748150556 scopus 로고    scopus 로고
    • 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
    • 0025539880 scopus 로고
    • Frames in the space of situations
    • Lifshitz V. Frames in the space of situations. Artificial Intelligence 46 (1990) 365-376
    • (1990) Artificial Intelligence , vol.46 , pp. 365-376
    • Lifshitz, V.1
  • 7
    • 33748172968 scopus 로고    scopus 로고
    • V. Lifchitz, Towards a metatheory of action, in: Proceedings of KR'91, Cambridge, MA, 1991, pp. 376-386.
  • 8
    • 33748151034 scopus 로고    scopus 로고
    • N. McCain, H. Turner, A causal theory of ramifications and qualifications, in: Proceedings of IJCAI-95, Montreal, Canada, August 1995, pp. 1978-1984.
  • 9
    • 0014638440 scopus 로고
    • Some philosophical problem from the standpoint of artificial intelligence
    • Meltzer B., and Mitchie D. (Eds), American Elsevier
    • 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
    • (1969) Machine Intelligence , vol.4 , pp. 463-502
    • McCarthy, J.1    Hayes, P.J.2
  • 11
    • 33748140825 scopus 로고    scopus 로고
    • 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
    • 84943181886 scopus 로고    scopus 로고
    • 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
    • 0036928635 scopus 로고    scopus 로고
    • N. Papadakis, D. Plexousakis, Action with duration and constraints: the ramification problem in temporal databases, in: 14th IEEE ICTAI, 2002, Washington, DC.
  • 14
    • 0036928635 scopus 로고    scopus 로고
    • 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
    • 84897723463 scopus 로고    scopus 로고
    • D. Plexousakis, J. Mylopoulos, Accomodating integrity constraints during database design, in: Proceedings of EDBT 1996, Avignon, France, 1996, pp. 497-513.
  • 16
    • 33748163609 scopus 로고    scopus 로고
    • J. Pinto, Temporal reasoning in the situation calculus, Ph.D. thesis, Department of Computer Science, University of Toronto, January 1994.
  • 17
    • 33748206024 scopus 로고    scopus 로고
    • 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
    • 33748207891 scopus 로고    scopus 로고
    • R. Reiter, Natural actions, concurrency and continuous time in the situation calculus, KR 96, 1996, pp. 2-13.
  • 19
    • 0030712507 scopus 로고    scopus 로고
    • Ramification and causality
    • Thielscher M. Ramification and causality. Artificial Intelligence 89 1-2 (1997) 317-364
    • (1997) Artificial Intelligence , vol.89 , Issue.1-2 , pp. 317-364
    • Thielscher, M.1
  • 20
    • 0032157753 scopus 로고
    • Reasoning about actions: steady versus stabilizing state constraints
    • Thielscher M. Reasoning about actions: steady versus stabilizing state constraints. Artificial Intelligence 104 (1988) 339-355
    • (1988) Artificial Intelligence , vol.104 , pp. 339-355
    • Thielscher, M.1
  • 21
    • 33748134386 scopus 로고    scopus 로고
    • M. Winslett, Reasoning about action using a possible models approach, in: Proceedings of AAAI-88, Saint Paul, MN, August 1988, pp. 89-93.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.