-
1
-
-
0021466185
-
Towards a general theory of action and time
-
ALLEN, J. F. 1984. Towards a general theory of action and time. Artificial Intelligence 23:123-154.
-
(1984)
Artificial Intelligence
, vol.23
, pp. 123-154
-
-
Allen, J.F.1
-
4
-
-
0026153773
-
Nonmonotonic reasoning in the framework of the situation calculus
-
BAKER, A. 1991. Nonmonotonic reasoning in the framework of the situation calculus. Artificial Intelligence 49:5-23.
-
(1991)
Artificial Intelligence
, vol.49
, pp. 5-23
-
-
Baker, A.1
-
5
-
-
84958763475
-
Underlying semantics for the assessment of Reiter's solution to the frame problem
-
Advances in Artificial Intelligence, Number 991 in LNAI. Springer, New York
-
BEDRAX-WEISS, T., and L. BERTOSSI. 1995. Underlying semantics for the assessment of Reiter's solution to the frame problem. In Advances in Artificial Intelligence, Proceedindgs of the 1st International Conference of the Brazilian AI Society (SBIA 95), Number 991 in LNAI. Springer, New York, pp. 59-68.
-
(1995)
Proceedindgs of the 1st International Conference of the Brazilian AI Society (SBIA 95)
, pp. 59-68
-
-
Bedrax-Weiss, T.1
Bertossi, L.2
-
7
-
-
84949806797
-
Automating proofs of integrity constraints in situation calculus
-
Edited by Z. Pawlak and Z. W. Ras. Springer-Verlag, New York
-
BERTOSSI, L., J. PINTO, P. SAEZ, D. KAPUR, and M. SUBRAMANIAM. 1996. Automating proofs of integrity constraints in situation calculus. In Lecture Notes in Artificial Intelligence: Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems. Edited by Z. Pawlak and Z. W. Ras. Springer-Verlag, New York, pp. 212-222.
-
(1996)
Lecture Notes in Artificial Intelligence: Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems
, pp. 212-222
-
-
Bertossi, L.1
Pinto, J.2
Saez, P.3
Kapur, D.4
Subramaniam, M.5
-
11
-
-
0028317777
-
Learning to plan in continuous domains
-
DEJONG, G. 1994. Learning to plan in continuous domains. Artificial Intelligence 65:71-141.
-
(1994)
Artificial Intelligence
, vol.65
, pp. 71-141
-
-
Dejong, G.1
-
12
-
-
0021613150
-
Qualitative process theory
-
FORBUS, K. 1984. Qualitative process theory. Artificial Intelligence 24:562-579.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 562-579
-
-
Forbus, K.1
-
13
-
-
0025403638
-
A critical examination of Allen's theory of action and time
-
GALTON, A. 1990. A critical examination of Allen's theory of action and time. Artificial Intelligence 42:159-188.
-
(1990)
Artificial Intelligence
, vol.42
, pp. 159-188
-
-
Galton, A.1
-
14
-
-
0027694534
-
Representing action and change by logic programs
-
GELFOND, M., and V. LIFSCHITZ. 1993. Representing action and change by logic programs. Journal of Logic Programming 17:301-322.
-
(1993)
Journal of Logic Programming
, vol.17
, pp. 301-322
-
-
Gelfond, M.1
Lifschitz, V.2
-
15
-
-
84916554963
-
Many agents are better than one
-
Edited by F. M. Brown. Morgan Kaufmann, Los Altos, California
-
GEORGEFF, M. P. 1987. Many agents are better than one. In The Frame Problem in Artificial Intelligence. Edited by F. M. Brown. Morgan Kaufmann, Los Altos, California, pp. 58-76.
-
(1987)
The Frame Problem in Artificial Intelligence
, pp. 58-76
-
-
Georgeff, M.P.1
-
16
-
-
85169167760
-
A theory of complex actions for enterprise modelling
-
Edited by C. Boutilier and M. Goldszmidt, Number SS-95-07 in 1995 AAAI Symposium, Stanford University. AAAI Press
-
GRUNINGER, M., and J. PINTO. 1995. A theory of complex actions for enterprise modelling. In Symposium Extending Theories of Action: Formal Theory and Practical Applications. Edited by C. Boutilier and M. Goldszmidt, Number SS-95-07 in 1995 AAAI Symposium, Stanford University. AAAI Press, pp. 94-99.
-
(1995)
Symposium Extending Theories of Action: Formal Theory and Practical Applications
, pp. 94-99
-
-
Gruninger, M.1
Pinto, J.2
-
17
-
-
0002828601
-
The case for domain-specific frame axioms
-
The Frame Problem in Artificial Intelligence, Edited by F. M. Brown. Morgan Kaufmann, Los Altos, CA
-
HAAS, A. R. 1987. The case for domain-specific frame axioms. In The Frame Problem in Artificial Intelligence, Proceedings of the 1987 Workshop. Edited by F. M. Brown. Morgan Kaufmann, Los Altos, CA, pp. 343-348.
-
(1987)
Proceedings of the 1987 Workshop
, pp. 343-348
-
-
Haas, A.R.1
-
18
-
-
0023442334
-
Nonmonotonic logic and temporal projection
-
HANKS, S., and D. MCDERMOTT. 1987. Nonmonotonic logic and temporal projection. Artificial Intelligence 33:379-412.
-
(1987)
Artificial Intelligence
, vol.33
, pp. 379-412
-
-
Hanks, S.1
Mcdermott, D.2
-
20
-
-
11744333364
-
Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem
-
Morgan Kaufmann. To appear
-
KELLEY, T. G. 1996. Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem. In Proceedings KR'96. Morgan Kaufmann. To appear.
-
(1996)
Proceedings KR'96
-
-
Kelley, T.G.1
-
22
-
-
11744288982
-
Foundations of a logical approach to agent programming
-
Chambery-St-Badolph, France
-
LESPÉRANCE, Y., H. LEVESQUE, F. LIN, D. MARCU, and R. REITER. 1995. Foundations of a logical approach to agent programming. In Actes des Troisièmes Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents, Chambery-St-Badolph, France.
-
(1995)
Actes des Troisièmes Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents
-
-
Lespérance, Y.1
Levesque, H.2
Lin, F.3
Marcu, D.4
Reiter, R.5
-
23
-
-
0031126053
-
GOLOG: A logic programming language for dynamic domains
-
To appear in special issue on Reasoning about Action and Change
-
LEVESQUE, H. J., R. REITER, Y. LESPÉRANCE, F. LIN, and R. B. SCHERL. 1996. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming. To appear in special issue on Reasoning about Action and Change.
-
(1996)
Journal of Logic Programming
-
-
Levesque, H.J.1
Reiter, R.2
Lespérance, Y.3
Lin, F.4
Scherl, R.B.5
-
25
-
-
0008162782
-
Formal theories of action
-
Edited by F. M. Brown. Morgan Kaufmann, Los Altos, California
-
LIFSCHITZ, V. 1987. Formal theories of action. In The Frame Problem in Artificial Intelligence. Edited by F. M. Brown. Morgan Kaufmann, Los Altos, California, pp. 35-57.
-
(1987)
The Frame Problem in Artificial Intelligence
, pp. 35-57
-
-
Lifschitz, V.1
-
28
-
-
0000955093
-
State constraints revisited
-
Special Issue on Actions and Processes
-
LIN, F., and R. REITER. 1994. State constraints revisited. Journal of Logic and Computation 4. Special Issue on Actions and Processes.
-
(1994)
Journal of Logic and Computation
, vol.4
-
-
Lin, F.1
Reiter, R.2
-
30
-
-
0001875061
-
Programs with common sense
-
Edited by M. Minsky, Chapter 7. The MIT Press, Cambridge, MA
-
MCCARTHY, J. 1968. Programs with common sense. In Semantic Information Processing. Edited by M. Minsky, Chapter 7. The MIT Press, Cambridge, MA, pp. 403-418.
-
(1968)
Semantic Information Processing
, pp. 403-418
-
-
Mccarthy, J.1
-
31
-
-
37349044608
-
Circumscription a form of non-monotonic reasoning
-
MCCARTHY, J. 1980. Circumscription a form of non-monotonic reasoning. Artificial Intelligence 13:27-39.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 27-39
-
-
Mccarthy, J.1
-
32
-
-
0022661717
-
Applications of circumscription to formalizing commonsense knowledge
-
MCCARTHY, J. 1986. Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence 28:89-116.
-
(1986)
Artificial Intelligence
, vol.28
, pp. 89-116
-
-
Mccarthy, J.1
-
33
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
Edited by B. Meltzer and D. Michie. Edinburgh University Press, Edinburgh, Scotland
-
MCCARTHY, J., and P. J. HAYES. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4. Edited by B. Meltzer and D. Michie. Edinburgh University Press, Edinburgh, Scotland, pp. 463-502.
-
(1969)
Machine Intelligence
, vol.4
, pp. 463-502
-
-
Mccarthy, J.1
Hayes, P.J.2
-
34
-
-
0001445808
-
A temporal logic for reasoning about processes and plans
-
MCDERMOTT, D. 1982. A temporal logic for reasoning about processes and plans. Cognitive Science 6:101-155.
-
(1982)
Cognitive Science
, vol.6
, pp. 101-155
-
-
Mcdermott, D.1
-
35
-
-
9444258298
-
A case study in reasoning about actions and continuous change
-
John Wiley & Sons, New York
-
MILLER, R. 1996. A case study in reasoning about actions and continuous change. In Proceedings ECAI. John Wiley & Sons, New York.
-
(1996)
Proceedings ECAI
-
-
Miller, R.1
-
37
-
-
1642456308
-
Reasoning about dicontinuities in the event calculus
-
Morgan Kaufmann. To appear
-
MILLER, R., and M. SHANAHAN. 1996. Reasoning about dicontinuities in the event calculus. In Proceedings KR'96. Morgan Kaufmann. To appear.
-
(1996)
Proceedings KR'96
-
-
Miller, R.1
Shanahan, M.2
-
40
-
-
11744285572
-
Incorporating observations in theories of action
-
Research Report CIT-96-06, School of Computing and Information Technology, Griffith University. Edited by G. Antoniou and M. Truszczynski
-
PINTO, J. 1996a. Incorporating observations in theories of action. In PRICAI'96 Workshop on Reasoning with Incomplete and Changing Information. Research Report CIT-96-06, School of Computing and Information Technology, Griffith University. Edited by G. Antoniou and M. Truszczynski, pp. 79-88.
-
(1996)
PRICAI'96 Workshop on Reasoning with Incomplete and Changing Information
, pp. 79-88
-
-
Pinto, J.1
-
41
-
-
85080839193
-
Occurrences in the hypothetical worlds of the situation calculus: Extended abstract
-
Technical Report AIDA-96-11, Technische Hochschule Darmstadt, Fachbereich Informatik. Edited by U. C. Sigmund and M. Thielscher
-
PINTO, J. 1996b. Occurrences in the hypothetical worlds of the situation calculus: Extended abstract. In Reasoning about Actions and Planning in Complex Environments, FAPR'96 Workshop. Technical Report AIDA-96-11, Technische Hochschule Darmstadt, Fachbereich Informatik. Edited by U. C. Sigmund and M. Thielscher, pp. VII-1-VII-8.
-
(1996)
Reasoning about Actions and Planning in Complex Environments, FAPR'96 Workshop
-
-
Pinto, J.1
-
42
-
-
11544282017
-
-
Technical Report DCC-97-1, Pontificia Universidad Católica de Chile, Departamento de Ciencia de la Computación
-
PINTO, J. A. 1997. Ramification constraints revisited. Technical Report DCC-97-1, Pontificia Universidad Católica de Chile, Departamento de Ciencia de la Computación. URL = ftp://lyrcc.ing.puc.cl/pub/jpinto/rcnew.ps.gz.
-
(1997)
Ramification Constraints Revisited
-
-
Pinto, J.A.1
-
43
-
-
0002378357
-
Temporal reasoning in logic programming: A case for the situation calculus
-
Edited by D. S. Warren, Budapest. The MIT Press, Cambridge, MA
-
PINTO, J., and R. REITER. 1993. Temporal reasoning in logic programming: A case for the situation calculus. In Proceedings of the Tenth International Conference on Logic Programming. Edited by D. S. Warren, Budapest. The MIT Press, Cambridge, MA, pp. 203-221.
-
(1993)
Proceedings of the Tenth International Conference on Logic Programming
, pp. 203-221
-
-
Pinto, J.1
Reiter, R.2
-
45
-
-
0026151626
-
On the applicability of nonmonotonic logic to formal reasoning in continuous time
-
RAYNER, M. 1991. On the applicability of nonmonotonic logic to formal reasoning in continuous time. Artificial Intelligence 49:345-360.
-
(1991)
Artificial Intelligence
, vol.49
, pp. 345-360
-
-
Rayner, M.1
-
46
-
-
0002048328
-
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
-
Academic Press, San Diego, CA
-
REITER, R. 1991. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, San Diego, CA, pp. 359-380.
-
(1991)
Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy
, pp. 359-380
-
-
Reiter, R.1
-
48
-
-
0344368811
-
-
Technical Report KRR-TR-92-3, University of Toronto, Ontario
-
REITER, R. 1992b. On specifying database updates. Technical Report KRR-TR-92-3, University of Toronto, Ontario.
-
(1992)
On Specifying Database Updates
-
-
Reiter, R.1
-
49
-
-
0027885318
-
Proving properties of states in the situation calculus
-
REITER, R. 1993. Proving properties of states in the situation calculus. Artificial Intelligence 64:337-351.
-
(1993)
Artificial Intelligence
, vol.64
, pp. 337-351
-
-
Reiter, R.1
-
53
-
-
0003626764
-
-
Technical Report LiTH-IDA-R-91-29, Linköping University
-
SANDEWALL, E. 1991. Features and fluents. Technical Report LiTH-IDA-R-91-29, Linköping University.
-
(1991)
Features and Fluents
-
-
Sandewall, E.1
-
54
-
-
11744368914
-
The range of applicability of some nonmonotonic logics for strict inertia
-
SANDEWALL, E. 1994. The range of applicability of some nonmonotonic logics for strict inertia. Journal of Logic and Computation 4.
-
(1994)
Journal of Logic and Computation
, vol.4
-
-
Sandewall, E.1
-
56
-
-
0002136540
-
Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions
-
Edited by H. Kyberg, R. Loui, and G. Carlson. Kluwer Academic Press
-
SCHUBERT, L. 1990. Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. In Knowledge Representation and Defeasible Reasoning. Edited by H. Kyberg, R. Loui, and G. Carlson. Kluwer Academic Press, pp. 23-67.
-
(1990)
Knowledge Representation and Defeasible Reasoning
, pp. 23-67
-
-
Schubert, L.1
-
57
-
-
0006748788
-
Representing continuous change in the event calculus
-
SHANAHAN, M. 1990. Representing continuous change in the event calculus. In Proceedings ECAI.
-
(1990)
Proceedings ECAI
-
-
Shanahan, M.1
-
59
-
-
0029368644
-
A circumscriptive calculus of events
-
SHANAHAN, M. 1995. A circumscriptive calculus of events. Artificial Intelligence 77:249-284.
-
(1995)
Artificial Intelligence
, vol.77
, pp. 249-284
-
-
Shanahan, M.1
-
61
-
-
0028543198
-
Motivated action theory: A formal theory of causal reasoning
-
STEIN, L., and L. MORGENSTERN. 1994. Motivated action theory: A formal theory of causal reasoning. Artificial Intelligence 71:1-42.
-
(1994)
Artificial Intelligence
, vol.71
, pp. 1-42
-
-
Stein, L.1
Morgenstern, L.2
|