M. Boddy.
Temporal reasoning for planning and reasoning.
SIGART Bulletin, 4:17-20, 1993.
Iliano Cervesato, Luca Chittaro, and Angelo Montanari.
Modal event calculus.
In M. Bruynooghe, editor, Proceedings of the International Logic
Programming Symposium 1994 - ILPS'94, page 675, Ithaca, NY, 14-17
November 1994. MIT Press.
Available electronically.
-
Iliano Cervesato, Luca Chittaro, and Angelo Montanari.
Modal event calculus in Lolli.
Technical Report CMU-CS-94-198, Department of Computer Science,
Carnegie Mellon University, Pittsburgh, PA, September 1994.
Available electronically.
-
Iliano Cervesato, Luca Chittaro, and Angelo Montanari.
What the event calculus does and how to do it efficiently.
In M. Apuente, R. Barbuti, and I. Ramos, editors, Proceedings of
the 1994 Joint Conference on Declarative Programming - GULP-PRODE'94,
pages 336-350, Pe\ níscola, Spain, 19-22 September 1994.
Available electronically.
-
Iliano Cervesato, Luca Chittaro, and Angelo Montanari.
A modal calculus of partially ordered events in a logic programming
framework.
In L. Sterling, editor, Proceedings of the Twelfth International
Conference on Logic Programming - ICLP'95, pages 299-313, Kanagawa,
Japan, 13-16 June 1995. MIT Press.
Available electronically.
-
Iliano Cervesato, Luca Chittaro, and Angelo Montanari.
Speeding up temporal reasoning by exploiting the notion of kernel of
an ordering relation.
In S.D. Goodwin and H.J. Hamilton, editors, Proceedings of the
Second International Workshop on Temporal Representation and Reasoning -
TIME'95, pages 73-80, Melbourne Beach, FL, 26 April 1995.
Available electronically.
-
Iliano Cervesato, Luca Chittaro, and Angelo Montanari.
A general modal framework for the event calculus and its skeptical
and credulous variants.
In W. Wahlster, editor, Proceedings of the Twelfth European
Conference on Artificial Intelligence - ECAI'96, pages 33-37, Budapest,
Hungary, 12-16 August 1996. John Wiley & Sons.
Extended version in [Cervesato96tr].
Available electronically.
-
Iliano Cervesato, Luca Chittaro, and Angelo Montanari.
A general modal framework for the event calculus and its skeptical
and credulous variants.
Technical Report 37/96-RR, Dipartimento di Matematica e Informatica,
Università di Udine, July 1996.
Available electronically.
-
Iliano Cervesato, Massimo Franceschet, and Angelo Montanari.
The complexity of model checking in modal event calculi.
In L. Naish, editor, Fourteenth International Conference on
Logic Programming - ICLP'97, Leuven, Belgium, 8-12 July 1997. MIT Press.
To appear.
-
Iliano Cervesato, Massimo Franceschet, and Angelo Montanari.
Modal event calculi with preconditions.
In R. Morris and L. Khatib, editors, Fourth International
Workshop on Temporal Representation and Reasoning - TIME'97, Daytona
Beach, FL, 10-11 May 1997.
To appear.
-
Iliano Cervesato, Angelo Montanari, and Alessandro Provetti.
On the non-monotonic behavior of the event calculus for deriving
maximal time intervals.
International Journal on Interval Computations, 2:83-119,
1993.
Available electronically.
-
Luca Chittaro and Angelo Montanari.
Facing efficiency and looping problems of the event calculus through
caching.
Research Report RR18/93, Dipartimento di Informatica e Matematica,
Università di Udine, November 1993.
-
Luca Chittaro and Angelo Montanari.
Reasoning about discrete processes in a logic programming framework.
In D. Saccà, editor, Proceedings of the Eight Conference on
Logic Programming - GULP'93, pages 407-421, Gizzieria Lido, Italy, 1993.
Mediterranean Press.
-
Luca Chittaro and Angelo Montanari.
Efficient temporal reasoning in the cached event calculus.
Computational Intelligence Journal, 12(3):359-382, 1996.
-
Luca Chittaro, Angelo Montanari, and Elisa Peressi.
An integrated framework for temporal aggregation and omission in the
event calculus.
In R. Adey, G. Rzevski, and C. Tasso, editors, Applications of
Artificial Intelligence in Engineering X, Computational Mechanics, pages
47-54. 1995.
-
Luca Chittaro, Angelo Montanari, and Alessandro Provetti.
Skeptical and credulous event calculi for supporting modal queries.
In A. Cohn, editor, Proceedings of the Eleventh European
Conference on Artificial Intelligence - ECAI'94, pages 361-365. John
Wiley & Sons, 1994.
T. Dean and M. Boddy.
Reasoning about partially ordered events.
Artificial Intelligence, 36:375-399, 1988.
-
M. Denecker, L. Missiaen, and Maurice Bruynooghe.
Temporal reasoning with abductive event calculus.
In B. Neumann, editor, Proceedings of the Tenth European
Conference on Artificial Intelligence - ECAI'92, pages 384-388. John
Wiley & Sons, 1992.
K. Eshghi.
Abductive planning with event calculus.
In Proceedings of the Fifth International Conference on Logic
Programming - ICLP'88, pages 562-579, Seattle, WA, 1988. MIT Press.
-
C. Evans.
The macro-event calculus: Representing temporal granularity.
In Proceedings of the Pacific Rim International Conference on
Artificial Intelligence - PRICAI'90, Nagoya, Japan, 1990. IOS Press.
Massimo Franceschet.
Una gerarchia di calcoli modali degli eventi: Espressività e
complessità (in Italian).
Tesi di Laurea in Informatica, Università di Udine, Italy, 1996.
To appear as a Research Report in English.
Robert Kolwaski and Marek Sergot.
A logic-based calculus of events.
New Generation Computing, 4:67-95, 1986.
-
Robert Kowalski.
Database updates in the event calculus.
Journal of Logic Programming, 12:121-146, 1992.
Angelo Montanari, E. Maim, E. Ciapessoni, and E. Ratto.
Dealing with time granularity in the event calculus.
In Proceedings of the ?? Conference on Fifth Generation Computer
Systems - FGCS'92, pages 702-712, Tokyo, Japan, 1992.
M. P. Shanahan.
Prediction is deduction but explanation is abaduction.
In Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence - IJCAI'89, pages 1050-1055, Detroit, MI, 1989.
-
M. P. Shanahan.
Representation of continuous change in the event calculus.
In Proceedings of the Nineth Conference on Artificial
Intelligence - ECAI'90, pages 598-603, Stockholm, Sweden, 1990.