A logic-based, reactive calculus of events

Fundamenta Informaticae

Volumn 105, Issue 1-2, 2010, Pages 135-161

  Chesani, Federico ^a   Mello, Paola ^a   Montali, Marco ^a   Torroni, Paolo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Abductive Logic Programming; Computational Logic; Event Calculus; Monitoring; Reactive Reasoning

Indexed keywords

ABDUCTIVE LOGIC PROGRAMMING; APPLICATION DOMAINS; AXIOMATIZATION; COMPUTATIONAL LOGIC; DYNAMIC ENVIRONMENTS; EVENT CALCULUS; EXECUTION TRACE; FORMAL PROPERTIES; GOAL-ORIENTED; LOGIC-BASED FORMALIZATION; LOGIC-BASED FRAMEWORKS; REACTIVE REASONING; REASONING PROCESS; RUNTIME MONITORING;

CALCULATIONS; LOGIC PROGRAMMING;

COMPUTATION THEORY;

EID: 79951617653     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2010-361     Document Type: Article

References (36)

1. van der Aalst, W. M. P., van Hee, K. M., Martijn E. M. van der Werf, J., Verdonk, M.: Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor, IEEE Computer, 43(3), 2010, 90-93.
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The SCIFF framework, ACM Transactions on Computational Logic (TOCL), 9(4), 2008.
3. Apt, K. R., Bezem, M.: Acyclic Programs, in: Logic Programming (D. H. Warren, Ed.), MIT Press, 1990, 617-633.
4. Bürckert, H.-J.: A Resolution Principle for Constrained Logics, Artificial Intelligence, 66, 1994, 235-271.
5. Castelfranchi, C.: Commitments: From individual intentions to groups and organizations, Proceedings of the First International Conference on Multiagent Systems (ICMAS1995) (V. R. L. L. Gasser, Ed.), The MIT Press, 1995.
6. Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment Tracking via the Reactive Event Calculus, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) (C. Boutilier, Ed.), 2009.
7. *IA/TABOO Italian Joint Workshop "From Objects to Agents" (WOA 2009), 2009.
8. Chesani, F., Montali, M., Mello, P., Torroni, P.: Monitoring Time-Aware Social Commitments with Reactive Event Calculus, Proceedings of the 7th International Symposium "From Agent Theory to Agent Implementation" (AT2AI-7), 2010.
9. Chittaro, L., Montanari, A.: Efficient Temporal Reasoning in the Cached Event Calculus, Computational Intelligence, 12, 1996, 359-382.
10. Chittaro, L., Montanari, A.: Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches, Annals of Mathematics and Artificial Intelligence, 28 (1-4), 2000, 47-106.
11. Cicekli, N. K., Cicekli, I.: Formalizing the Specification and Execution of Workflows Using the Event Calculus, Information Sciences, 176(15), 2006, 2227-2267.
12. Clark, K. L.: Negation as Failure, in: Logic and Data Bases (H. Gallaire, J. Minker, Eds.), Plenum Press, 1978, 293-322.
13. Dincbas, M., Hentenryck, P. V., Simonis, H., Aggoun, A., Graf, T., Berthier, F.: The Constraint Logic Programming Language CHIP, Proceedings of the International Conference on Fifth Generation Computer Systems, 1988.
14. Eshghi, K.: Abductive Planning with Event Calculus, Proceedings of the Fifth International Conference and Symposium on Logic Programming (ILPS 1988), MIT Press, 1988, ISBN 0-262-61056-6.
15. Farrell, A. D. H., Sergot, M. J., Sallé, M., Bartolini, C.: Using the Event Calculus for Tracking the Normative State of Contracts, International Journal of Cooperative Information Systems, 14 (2-3), 2005, 99-129. (Pubitemid 40878415)
16. Fernandes, A. A. A., Williams, M. H., Paton, N. W.: A Logic-Based Integration of Active and Deductive Databases, New Generation Computing, 15(2), 1997, 205-244. (Pubitemid 127659672)
17. Fung, T. H., Kowalski, R. A.: The Iff Proof Procedure for Abductive Logic Programming, Logic Programming, 33(2), 1997, 151-165.
18. Jaffar, J., Maher, M. J.: Constraint Logic Programming: a Survey, Logic Programming, 19-20, 1994, 503-582.
19. Jaffar, J., Michaylov, S., Stuckey, P. J., Yap, R. H. C.: The CLP (R) Language and System, ACM Transactions on Programming Languages and Systems, 14(3), 1992, 339-395.
20. Kowalski, R. A., Sadri, F.: Towards a Unified Agent Architecture that Combines Rationality with Reactivity, Proceedings of the International Workshop on Logic in Databases (LID'96), 1154, Springer, 1996, ISBN 3-540-61814-7.
21. Kowalski, R. A., Sergot, M.: A Logic-Based Calculus of Events, New Generation Computing, 4(1), 1986, 67-95.
22. Kunen, K.: Negation in Logic Programming, Logic Programming, 4, 1987.
23. Mahbub, K., Spanoudakis, G.: Run-Time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience, Proeedings of the 3rd IEEE International Conference on Web Services (ICWS 2005), IEEE Computer Society, 2005.
24. Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach, Ph. D. Thesis, University of Bologna, 2009.
25. Montali, M., Chesani, F., Mello, P., Torroni, P.: Verification of Choreographies During Execution Using the Reactive Event Calculus, Proceedings of the 5th International Workshop on Web Service and Formal Methods (WS-FM2008) (R. Bruni, K. Wolf, Eds.), 5387, Springer Verlag, 2009.
26. Montali, M., Pesic, M., van der Aalst, W. M. P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies, ACM Transactions on the Web, 4(1), 2010.
27. Pesic, M., van der Aalst, W. M. P.: A Declarative Approach for Flexible Business Processes Management, Proceedings of the BPM 2006 Workshops, 4103, Springer Verlag, 2006.
28. Rouached, M., Fdhila, W., Godart, C.: A Semantical Framework to Engineering WSBPEL Processes, Information Systems and E-Business Management, 7(2), 2008, 223-250.
29. *IA 99: Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings (E. Lamma, P. Mello, Eds.), 1792, Springer, 1999.
30. Shanahan, M.: Robotics and the Common Sense Informatic Situation, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 1996) (W. Wahlster, Ed.), John Wiley and Sons, 1996.
31. Shanahan, M.: The Event Calculus Explained, in: Artificial Intelligence Today: Recent Trends and Developments (M. Wooldridge, M. M. Veloso, Eds.), vol. 1600 of Lecture Notes in Computer Science, Springer Verlag, 1999, ISBN 3-540-66428-9, 409-430.
32. Shanahan, M.: An Abductive Event Calculus Planner, Journal of Logic Programming, 44 (1-3), 2000, 207-240.
33. Singh, M. P.: An Ontology for Commitments in Multiagent Systems: Toward a Unification of Normative Concepts, Artificial Intelligence and Law, 7, 1999, 97-113.
34. Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated, Declarative Agent Languages and Technologies VII (DALT 2009). Revised Selected and Invited Papers (M. Baldoni, J. Bentahar, M. B. van Riemsdijk, J. Lloyd, Eds.), 5948, Springer, 2009.
35. Xanthakos, I.: Semantic Integration of Information by Abduction, Ph. D. Thesis, Imperial College London, 2003.
36. Yolum, P., Singh, M. P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning Using Commitments, Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002), ACM Press, 2002.