Paolo Torroni

2007
44	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83
43	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007
42	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR 2007: 279-288
2006
41		Francesca Toni, Paolo Torroni: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers Springer 2006
40		Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers Springer 2006
39	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni: Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72
38	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2-4): 133-157 (2006)
2005
37		João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum: Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers Springer 2005
36		João Alexandre Leite, Paolo Torroni: Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers Springer 2005
35	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147
34	EE	Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA VI 2005: 243-264
33	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW 2005: 106-124
32	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546
31		Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP 2005: 53-64
30	EE	Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari: Protocol Specification and Verification by Using Computational Logic. WOA 2005: 184-192
29		Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale 2(1): 22-29 (2005)
2004
28		João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers Springer 2004
27	EE	Andrea Bracciali, Paolo Torroni: A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. CLIMA IV 2004: 159-177
26	EE	Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA IV 2004: 34-52
25		Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou: Agent Planning, Negotiation and Control of Operation. ECAI 2004: 28-32
24	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing 2004: 314-339
23	EE	Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello: Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78
22	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni: A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE 2004: 387-392
21	EE	Paolo Torroni: Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions. Ann. Math. Artif. Intell. 42(1-3): 293-305 (2004)
20	EE	Anna Ciampolini, Paolo Torroni: Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence. Applied Artificial Intelligence 18(3-4): 251-275 (2004)
2003
19	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299
18		Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35
17	EE	Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213
16	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262
15		Fariba Sadri, Francesca Toni, Paolo Torroni: Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804
14		Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni: Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Ann. Math. Artif. Intell. 37(1-2): 65-91 (2003)
2002
13	EE	Paolo Torroni: A study on the termination of negotiation dialogues. AAMAS 2002: 1223-1230
12	EE	Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma: Coordinating the safe execution of tasks in a constrained multi-agent system. AAMAS 2002: 940-941
11		Paolo Torroni: Logics and Multi-agents: towards a new symbolic model of cognition. CLIMA III 2002: 177-180
10	EE	Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. JELIA 2002: 14-26
9	EE	Fariba Sadri, Francesca Toni, Paolo Torroni: An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431
8	EE	Paolo Torroni: Logics and Multi-agents: towards a new symbolic model of cognition. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
7	EE	Fariba Sadri, Francesca Toni, Paolo Torroni: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421
6	EE	Paolo Torroni, Francesca Toni: Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation. ESAW 2001: 105-118
5		Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: LAILA: a language for coordinating abductive reasoning among logic agents. Comput. Lang. 27(4): 137-161 (2001)
2000
4		Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing Collaborative and Competitive Coordination among Abductive. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 35-43
3	EE	Rosy Barruffi, Michela Milano, Paolo Torroni: Planning while Executing: A Constraint-Based Approach. ISMIS 2000: 228-236
2		Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing Collaboration And Competition Among Abductive Logic Agents. WOA 2000: 64-69
1999
1	EE	Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni: An Implementation for Abductive Logic Agents. AI*IA 1999: 61-71

Coauthor Index

1	Marco Alberti	[16] [17] [19] [22] [23] [24] [29] [30] [31] [32] [33] [34] [35] [38] [39] [42] [43] [44]
2	Matteo Baldoni	[40]
3	Rosy Barruffi	[3]
4	Andrea Bracciali	[27]
5	Federico Chesani	[22] [24] [29] [30] [31] [33] [34] [38] [39] [42] [43] [44]
6	Anna Ciampolini	[1] [2] [4] [5] [10] [12] [14] [17] [20] [30]
7	Davide Daolio	[23]
8	Neophytos Demetriou	[25]
9	Ulrich Endriss (Ulle Endriss)	[40]
10	Marco Gavanelli	[16] [17] [18] [19] [22] [23] [24] [26] [29] [31] [32] [33] [34] [35] [38] [39] [42] [43] [44]
11	Alessio Guerri	[29] [31]
12	Antonis C. Kakas	[25]
13	Evelina Lamma	[1] [2] [4] [5] [10] [12] [14] [16] [17] [18] [19] [22] [23] [24] [26] [29] [31] [32] [33] [34] [35] [38] [39] [42] [43] [44]
14	João Leite (João Alexandre Leite)	[28] [36] [37]
15	Paola Mello	[1] [2] [4] [5] [10] [12] [14] [16] [17] [18] [19] [22] [23] [24] [26] [29] [30] [31] [32] [33] [34] [35] [38] [39] [42] [43] [44]
16	Michela Milano	[3] [18] [31]
17	Marco Montali	[30] [39] [42] [43] [44]
18	Andrea Omicini	[28] [37] [40]
19	Fariba Sadri	[7] [9] [15]
20	Cesare Stefanelli	[1]
21	Leon Sterling	[28]
22	Sergio Storari	[30] [39]
23	Francesca Toni	[6] [7] [9] [14] [15] [41]
24	Pinar Yolum	[37]