Paolo Torroni Home Page
UNDER CONSTRUCTION
Paolo's Publications
] Filters: Author is Torroni [Clear All Filters]
"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
"Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions",
Intelligenza Artificiale, vol. 5, issue 1/2011, no. 1, pp. 101-105, 02/2011.
"A Computational Logic Application Framework for Service Discovery and Contracting",
International Journal Web Service Research, vol. 8, no. 3: IGI Global, pp. 1-25, 2011.
"Monitoring Time-Aware Commitments Within Agent-Based Simulation Environments",
Cybernetics and Systems, vol. 42, issue 7, no. 7: Taylor & Francis, pp. 21, 2011.
"Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes",
Fundamenta Informaticae, vol. 102, issue 3-4: IOS Press, pp. 325-361, 11/2010.
"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.
"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.
"A Logic-Based, Reactive Calculus of Events",
Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010.
Abstract
"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)
"Engineering and Verifying Agent-Oriented Requirements Augmented by Business Constraints with B-Tropos",
Autonomous Agents and Multi-Agent Systems: Springer, pp. 1-31, 2010.
"Monitoring Time-Aware Social Commitments with Reactive Event Calculus",
Proceedings of the 7th International Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-7), 2010.
"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.
"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
"Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture",
IEEE International Conference on Web Services (ICWS 2009): IEEE, pp. 254-261, 2009.
"A REC-Based Commitment Tracking Tool",
Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 2009.
"A Logic-Based, Reactive Calculus of Events",
{24th Convegno Italiano di Logica Computazionale (CILC09)}, 2009.
"Commitment Tracking via the Reactive Event Calculus",
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 91-96, 2009.
"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.
"Modelling Interactions via Commitments and Expectations",
Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.
"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.
"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.
"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.
"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.
"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.
"Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework",
ACM Transactions on Computational Logic (TOCL), vol. 9, no. 4, 2008.