A simple declarative language for describing narratives with actions

Journal of Logic Programming

Volumn 31, Issue 1-3, 1997, Pages 157-200

  Kakas, Antonios ^a   Miller, Rob ^b  

^a UNIVERSITY OF CYPRUS   (Cyprus)

^b QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; FINITE AUTOMATA; FORMAL LOGIC; LOGIC PROGRAMMING;

DECLARATIVE LANGUAGE; EVENT CALCULUS;

FORMAL LANGUAGES;

EID: 0031118423     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(96)00138-0     Document Type: Article

References (44)

1. Allen, J., Towards a General Theory of Action and Time, Artificial Intelligence 23:123-154 (1984).
2. Amsterdam, J., Temporal Reasoning and Narrative Conventions, in: J. Allen, R. Fikes, and E. Sandewall (eds.), Proceedings of the 2nd International Conference on Knowledge Representation (KR 91), Morgan Kaufmann, 1991, pp. 15-21.
3. Baker, A., Nonmonotonic Reasoning in the Framework of the Situation Calculus, Artificial Intelligence 49:5 (1991).
4. Baral, C. and Gelfond, M., Representing Concurrent Actions in Extended Logic Programming, in: Proceedings IJCAI 93, Morgan Kaufman, 1993, p. 866.
5. Baral, C., Gelfond, M., and Provetti, A., Representing Actions-I: Laws, Observations and Hypotheses (Short Version), in: Working Notes of the AAAI Spring Symposium: Extending Theories of Action-Formal Theory and Practical Applications, Stanford University, CA, 1995.
6. Baral, C., Gelfond, M., and Provetti, A., Representing Actions: Laws, Observations and Hypotheses, Journal of Logic Programming 31(1-3):201-243 (1997).
7. Cervesato, I., Chittaro, L., and Montanari, A., A Modal Calculus of Partially Ordered Events in a Logic Programming Framework, in: Proceedings ICLP'95, 1995, pp. 299-313.
8. Crawford, J. and Etherington, D., Observations on Observations in Action Theories, in: Working Notes of the AAAI Spring Symposium: Excellent Theories of Action-Formal Theory of Practical Applications, Stanford University, CA, 1995.
9. David, E., Infinite Loops in Finite Time: Some Observations, in: B. Nebel, C. Rich, and W. Swartout (eds.), Proceedings KR 92 (3rd International Conference on Principles of Knowledge Representation and Reasoning), Cambridge, MA, Morgan Kaufmann, 1992.
10. Denecker, M., Missiaen, L., and Bruynooghe, M., Temporal Reasoning with Abductive Event Calculus, in: Proceedings ECAI 92, Vienna, 1992.
11. Denecker, M. and De Schreye, D., Representing Incomplete Knowledge in Abductive Logic Programming, in: Proceedings of the International Symposium on Logic Programming, 1993.
12. Denecker, M., Knowledge Representation and Reasoning in Incomplete Logic Programming, Ph.D. Thesis, Department of Computer Science, K. U. Leuven, 1993.
13. Denecker, M., A Terminological Interpretation of (Abductive) Logic Programming, in: Proceedings of the Third International Conference on Logic Programming and Non-monotonic Reasoning, Lexington, KY, Springer-Verlag, 1995.
14. Dung, P. M., Representing Actions in Logic Programming and Its Applications in Database Updates, in: D. S. Warren (ed.), Proceedings of the Tenth International Conference on Logic Programming, MIT Press, 1993, pp. 222-238.
15. Eshghi, K., Abductive Planning with Event Calculus, in: R. Kowalski and K. Bowen (eds.), Proceedings of the 5th International Conference and Symposium on Logic Programming, MIT Press, 1988, pp. 562-579.
16. Gelfond, M. and Lifschitz, V., Representing Actions in Extended Logic Programming, in: K. Apt (ed.), Proceedings of the Joint International Conference and Symposium on Logic Programming, MIT Press, 1992, p. 560.
17. Gelfond, M. and Lifschitz, V., Representing Action and Change by Logic Programs, Journal of Logic Programming 17(2-4):301-322 (1993).
18. Harel, D., Dynamic Logic, in: D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic II: Extensions of Classical Logic, Reidel, Boston, 1984, pp. 497-604.
19. Kakas, A. and Mancarella, P., Generalized Stable Models: A Semantics for Abduction, in: L. Aiello (ed.), Proceedings of the 9th European Conference on Artificial Intelligence, Stockholm, 1990, pp. 385-391.
20. Kakas, A., Kowalski, R., and Toni, F., Abductive Logic Programming, Journal of Logic and Computation 2(6):719-770 (1993).
21. Kartha, G. N., Soundness and Completeness Theorems for Three Formalizations of Action, in: Proceedings IJCAI 93, 1993, p. 724.
22. Kartha, G. N., Two Counterexamples Related to Baker's Approach to the Frame Problem, Artificial Intelligence 69:379-392 (1994).
23. Kautz, H., The Logic of Persistence, in: Proceedings AAAI 86, 1986, p. 401.
24. Kowalski, R. A. and Sergot, M. J., A Logic-Based Calculus of Events, New Generation Computing 4:267 (1986).
25. Kowalski, R. A. and Sadri, F., The Situation Calculus and Event Calculus Compared, in: Proceedings of the International Logic Programming Symposium (ILPS'94), 1994.
26. Lifschitz, V., A Language for Describing Actions, in: Working Papers of Common Sense '93: The Second Symposium on Logical Formalization of Commonsense Reasoning, Austin, TX, 1992, pp. 103-113.
27. Lin, F. and Shoham, Y., Provably Correct Theories of Action, in: Proceedings AAAI 91, MIT Press, 1991, p. 349.
28. Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag, 1984.
29. McCarthy, J. and Hayes, P., Some Philosophical Problems from the Standpoint of Artificial Intelligence, in: D. Michie and B. Meltzer (eds.), Machine Intelligence 4, Edinburgh University Press, 1969.
30. Miller, R., Situation Calculus Specification for Event Calculus Logic Programs, in: Proceedings of the Third International Conference on Logic Programming and Non-monotonic Reasoning, Lexington, KY, Springer-Verlag, 1995.
31. Miller, R. and Shanahan, M., Narratives in the Situation Calculus, in: Journal of Logic and Computation 4(5) (1994).
32. Miller, R. and Shanahan, M., Reasoning about Discontinuities in the Event Calculus, in: L. C. Aiello, J. Doyle, and S. C. Shapiro (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96), Morgan Kaufmann, 1996.
33. Pinto, J., Temporal Reasoning in the Situation Calculus, Ph.D. Thesis, University of Toronto, 1994.
34. Pinto, J. and Reiter, R., Temporal Reasoning in Logic Programming: A Case for the Situation Calculus, in: Proceedings ICLP 93, 1993, p. 203.
35. Provetti, A., Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus, Computational Intelligence 12(2) (1995).
36. Sandewall, E., Feature and Fluents, Oxford University Press, 1994.
37. Sergot, M., An Introduction to the Event Calculus, in: Lecture Notes of the GULP Advanced School on Foundations of Logic Programming (unpublished), Alghero, Sardinia, 1990.
38. Shanahan, M., Prediction Is Deduction but Explanation Is Abduction, in: Proceedings IJCAI 89, 1989, pp. 1055-1060.
39. Shanahan, M., Representing Continuous Change in the Event Calculus, in: Proceedings ECAI'90, pp. 589-603, 1990.
40. Shanahan, M., A Circumscriptive Calculus of Events, Artificial Intelligence 77:249-284 (1995).
41. Shanahan, M., Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, 1997 (to appear).
42. Sterling, L. and Shapiro, E., The Art of Prolog, MIT Press, 1986.
43. Van Belleghem, K., Denecker, M., and De Schreye, D., Representing Continuous Change in the Abductive Event Calculus, in: P. Van Hentenrijck (ed.), Proceedings 1994 International Conference on Logic Programming, 1994, pp. 225-240.
44. Van Belleghem, K., Denecker, M., and De Schreye, D., On the Relation between Situation Calculus and Event Calculus, Journal of Logic Programming 31(1-3):3-37 (1997).