-
1
-
-
0024030356
-
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
-
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
-
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
-
-
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
-
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
-
-
V. Lifchitz, Towards a metatheory of action, in: Proceedings of KR'91, Cambridge, MA, 1991, pp. 376-386.
-
-
-
-
8
-
-
33748151034
-
-
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
-
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
-
-
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
-
-
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
-
-
N. Papadakis, D. Plexousakis, Action with duration and constraints: the ramification problem in temporal databases, in: 14th IEEE ICTAI, 2002, Washington, DC.
-
-
-
-
14
-
-
0036928635
-
-
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
-
-
D. Plexousakis, J. Mylopoulos, Accomodating integrity constraints during database design, in: Proceedings of EDBT 1996, Avignon, France, 1996, pp. 497-513.
-
-
-
-
16
-
-
33748163609
-
-
J. Pinto, Temporal reasoning in the situation calculus, Ph.D. thesis, Department of Computer Science, University of Toronto, January 1994.
-
-
-
-
17
-
-
33748206024
-
-
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
-
-
R. Reiter, Natural actions, concurrency and continuous time in the situation calculus, KR 96, 1996, pp. 2-13.
-
-
-
-
19
-
-
0030712507
-
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
-
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
-
-
M. Winslett, Reasoning about action using a possible models approach, in: Proceedings of AAAI-88, Saint Paul, MN, August 1988, pp. 89-93.
-
-
-
|