Social commitments in time: Satisfied or compensated

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5948 LNAI, Issue , 2010, Pages 228-243

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

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIZATION; COMPUTATIONAL LOGIC; EVENT CALCULUS; RUNTIMES; SOCIAL COMMITMENT; STATIC VERIFICATION;

LINGUISTICS;

EID: 77949806091     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11355-0_14     Document Type: Conference Paper

References (16)

1. 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 9(4), 1-43 (2008)
2. Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: Lesser, V.R., Gasser, L. (eds.) Proceedings of the First International Conference on Multi-Agent Systems, pp. 41-48. The MIT Press, Cambridge (1995)
3. Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the Reactive Event Calculus. In: Boutilier, C. (ed.) Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI), pp. 91-96. AAAI Press, Menlo Park (2009)
4. Chittaro, L., Montanari, A.: Efficient temporal reasoning in the cached event calculus. Computational Intelligence 12(2), 359-382 (1996)
5. Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence 28(1-4), 47-106 (2000)
6. Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: A road map of current technologies and future trends. Computational Intelligence 23(1), 61-91 (2007)
7. Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 536-542. ACM Press, New York (2002)
8. Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, vol. 07122 (2007), http://drops.dagstuhl.de/opus/volltexte/2007/909
9. Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503-582 (1994)
10. Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67-95 (1986)
11. Mallya, A.U., Huhns, M.N.: Commitments among agents. IEEE Internet Computing 7(4), 90-93 (2003)
12. Mallya, A.U., Yolum, P., Singh, M.P.: Resolving commitments among autonomous agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 166-182. Springer, Heidelberg (2004)
13. Shanahan, M.: An abductive event calculus planner. Journal of Logic Programming 44(1-3), 207-240 (2000)
14. Singh, M.P.: An ontology for commitments in multiagent systems: Toward a uni-fication of normative concepts. Artificial Intelligence and Law 7, 97-113 (1999)
15. Torroni, P., Yolum, P., Singh, M.P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Modelling interactions via commitments and expectations. In: Dignum, V. (ed.) Handbook of Research on MAS: Semantics and Dynamics of Organizational Models, Hershey, Pennsylvania, March 2009, pp. 263-284. IGI Global (2009)
16. Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 527-534. ACM Press, New York (2002)