Skip to main content

Biblio

Export 38 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Torroni, Paolo  [Clear All Filters]
2012
Torroni, P., F. Chesani, P. Mello, and M. Montali, "A Retrospective on the Reactive Event Calculus and Commitment Modeling Language", Declarative Agent Languages and Technologies IX, vol. 7169: Springer Berlin / Heidelberg, pp. 120-127, 2012. Abstract
2011
2010
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Declarative Technologies for Open Agent Systems and Beyond", Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, pp. 1-5, 06/2010.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Role Monitoring in Open Agent Societies", Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, 06/2010.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A Logic-Based, Reactive Calculus of Events", Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010. Abstract
Torroni, P., F. Chesani, P. Mello, and M. Montali, "Social Commitments in Time: Satisfied or Compensated", Declarative Agent Languages and Technologies VII (DALT 2009). Revised Selected and Invited Papers, vol. 5948: Springer, pp. 228-243, 2010.  Download: DALT2009.pdf (301.44 KB)
Chesani, F., M. Montali, P. Mello, and P. Torroni, "Monitoring Time-Aware Social Commitments with Reactive Event Calculus", Proceedings of the 7th International Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-7), 2010.
Chesani, F., P. Mello, M. Montali, S. Storari, and P. Torroni, "On the Integration of Declarative Choreographies and Commitment-based Agent Societies into the SCIFF Logic Programming Framework", Multiagent and Grid Systems, Special Issue on Agents, Web Services and Ontologies: Integrated Methodologies, vol. 6, no. 2, 2010.
Kafalı, Ö., F. Chesani, and P. Torroni, "What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior", Computational Logic in Multi-Agent Systems, vol. 6245: Springer Berlin / Heidelberg, pp. 82-98, 2010. Abstract
2009
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A REC-Based Commitment Tracking Tool", Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A Logic-Based, Reactive Calculus of Events", {24th Convegno Italiano di Logica Computazionale (CILC09)}, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Commitment Tracking via the Reactive Event Calculus", Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 91-96, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Modeling and Verification of Business Processes and Choreographies in ALP", Il Milione - A Journey in the Computational Logic in Italy, Proceedings of the Day Dedicated to Prof. Alberto Martelli, vol. 487: CEUR Workshop Proceedings, 2009.
Torroni, P., F. Chesani, P. Yolum, M. Gavanelli, M. P. Singh, E. Lamma, M. Alberti, and P. Mello, "Modelling Interactions via Commitments and Expectations", Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting", Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), vol. 429, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verification of Choreographies During Execution Using the Reactive Event Calculus", Proceedings of the 5th International Workshop on Web Service and Formal Methods (WS-FM2008), vol. 5387: Springer, pp. 55-72, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verifying A-Priori the Composition of Declarative Specified Services", Proceedings of the 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME), vol. 494: CEUR Workshop Proceedings, 2009.
2008
Bryl, V., P. Mello, M. Montali, P. Torroni, and N. Zannone, "B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification", Post-Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Revised Selected and Invited Papers, vol. 5056: Springer Verlag, pp. 157-176, 2008.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Expressing and Verifying Business Contracts with Abductive Logic Programming", Electronic Commerce, Special Issue on Contract Architectures and Languages, vol. 12, no. 4, pp. 9-38, 2008.