A calculus of macro-events: Progress report

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 2000-January, Issue , 2000, Pages 47-58

  Cervesato, Iliano ^a   Montanari, Angelo ^b  

^a ITT INDUSTRIES   (United States)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Calculus; Chromium; Safety

Indexed keywords

ACCIDENT PREVENTION; CHROMIUM; LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE);

A-PROLOG; CALCULUS; EVENT CALCULUS; GAS HEATERS; PROGRESS REPORT; TEMPORAL REASONING; TEMPORAL RELATIONSHIPS;

CALCULATIONS;

EID: 13344295910     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2000.856584     Document Type: Conference Paper

References (26)

1. J. Abrial. Ste am-boiler control speci-cation problem. In Pr oc. of the Dagstuhl Seminar on Methods for Semantics and Speci-cations, Dagstuhl, Germany, 1995.
2. J. F. Allen and G. Ferguson. Actions and events in interval temporal logic. Journal of Logic and Computation , 4(5):531-580, 1994.
3. S. Andler. Predicate path expressions. In Proceedings of the 6th ACM Symposium on Principles of Programming Languages, 1979.
4. C. Baral and M. Gelfond. Representing concurrent ac-tions in extended logic programming. In Pr oc. of 13th International Joint Conferenc e on Arti-cial Intelligenc e | IJCAI, pages 866-871, Chamb-ery, Fra nce, 1993. Morgan Kaufmann.
5. C. Baral and M. Gelfond. Reasoning about effects of concurrent actions. Journal of Logic Programming, 31(1-3):85-117, 1997.
6. P. Belegrinos and M. George-. A model of events and processes. In Pr oc. IJCAI'91, Sydney, Australia, 1991.
7. I. Cerv esato, L. Chittaro, and A. Montanari. A modal calculus of partially ordered events in a logic pro-gramming framework. In L. Sterling, editor, Pr oceedings of the Twelfth International Conference on Logic Programming | ICLP'95, pages 299-313, Kanagawa, Japan, 13-16 June 1995. MIT Press.
8. I. Cervesato, M. Franceschet, and A. Montanari. A guided through some extensions of the event calculus. Computational Intelligence, 16(2):307-347, May 2000.
9. I. Cervesato and A. Montanari. A general modal framework for the event calculus and its skeptical and credulous varian ts. Journal of Logic Programming, 38(2):111-164, Feb. 1999.
10. L. Chittaro and A. Montanari. Reasoning about dis-crete processes in a logic programming framework. In D. Sacc-A, editor,Pr oceedings of the Eight Conferenc e on Logic Programming | GULP'93, pages 407-421, Gizzieria Lido, Italy, 1993. Mediterranean Press.
11. L. Chittaro and A. Montanari. Effecient temporal rea-soning in the cached event calculus. Computational Intelligenc e, 12(3):359-382, 1996.
12. C. Evans. The macro-event calculus: Represent-ing temporal granularit y. In Pr oceedingsof the Paci-c R im International Confe renc e on A rti-cial Intelligenc e| PRICAI'90, Nagoya, Japan, 1990. IOS Press.
13. M. Gelfond, V. Lifschitz, and A. Rabinov. What are the limitations of the situation calculus? In R. Boyer, editor, A utomated R easoning: Essays in Honor of Woody Ble dsoe. Kluw er, 1991.
14. J. Gustafsson and L. Karlsson. Reasoning about ac-tions in a m ulti-Agent environment. LinköpingElectronic Articles in Computer and Information Science, 1997. http://www.ep.liu.se/ea/cis/1997/014.
15. C. Hoare. Communicating Sequencial Pr ocesses. Prentice-Hall, 1985.
16. R. Kow alski and M. Sergot.A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.
17. Y. Lesp-Erance, H. J. Lev esque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. A logical approach to high-level robot programming | a progress report. In Cont rol of the Physical World by Intelligent Systems, WorkNotes of the 1994 AAAI Fall Symposium, 1994.
18. F. Lin and Y. Shoham. Concurrent actions in the situation calculus. In Pr oc. of the 10th National Conference of the Americ an Association for Arti-cial Intelligenc e | AAAI, pages 590-695. AAAI Press/MIT Press, 1992.
19. S. Lin and T. Dean. Localized temporal reasoning using subgoals and abstract events. Computational Intelligenc e, 12(3):423-449, 1996.
20. R. Miller,M. Shanahan. Narratives in the situation calculus Journal of Logic and Computation 4( 5):513-530 1994.
21. R. Milner. A Calculus of Communicating Systems. Springer-Verlag, 1980.
22. M. Mizzaro. La modellazione di sistemi complessi nel calcolo degli eventi: Analisi di un caso di studio (in italian). T esi di Laurea in Scienze dell'Informazione, Universit-A di Udine, 1997. Under the supervisionf A. Mon tanari.
23. J. Pinto. Concurrent actions and interacting effects. In Proc. of the 6th International Conferenc e on Principles of Knowledge R epresentation and Reasoning | KR'98, pages 292-303. Morgan Kau-man, 199 8.
24. M. Shanahan. Solving the Frame Problem. The MIT Press, 1997.
25. L. Sterling and E. Shapiro. The Art of Prolo g: Advanc ed Programming Techniques. MIT Press, 1994.
26. C. Yi. Reasoning about concurrent actions with fea-tures and uents. In Pr oceedingsof the Thir d International Workshop on T emporal R epresentationand R easoning| TIME'96, pages 6-13, Key West, FL, 1996.