Paolo Torroni

2008
52		Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers Springer 2008
51	EE	Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454
50	EE	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008
49	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4): (2008)
2007
48	EE	Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone: -Tropos. CLIMA VIII 2007: 157-176
47	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
46	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
45	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
44	EE	Paolo Torroni, Marco Gavanelli, Federico Chesani: Argumentation in the Semantic Web. IEEE Intelligent Systems 22(6): 66-74 (2007)
2006
43		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
42		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
41	EE	Paolo Torroni: Multi-agent agreements about actions through argumentation. COMMA 2006: 323-328
40	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
39	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
38		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
37		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
36	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147
35	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
34	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
33	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546
32	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136
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] [36] [39] [40] [45] [46] [47] [49] [51]
2	Matteo Baldoni	[42]
3	Rosy Barruffi	[3]
4	Andrea Bracciali	[27]
5	Volha Bryl	[48]
6	Federico Chesani	[22] [24] [29] [30] [31] [34] [35] [39] [40] [44] [45] [46] [47] [49] [50] [51]
7	Anna Ciampolini	[1] [2] [4] [5] [10] [12] [14] [17] [20] [30]
8	Davide Daolio	[23]
9	Mehdi Dastani	[52]
10	Neophytos Demetriou	[25]
11	Ulrich Endriss (Ulle Endriss)	[42]
12	Amal El Fallah-Seghrouchni	[52]
13	Marco Gavanelli	[16] [17] [18] [19] [22] [23] [24] [26] [29] [31] [32] [33] [34] [35] [36] [39] [40] [44] [45] [46] [47] [49] [51]
14	Alessio Guerri	[29] [31]
15	Antonis C. Kakas	[25]
16	Evelina Lamma	[1] [2] [4] [5] [10] [12] [14] [16] [17] [18] [19] [22] [23] [24] [26] [29] [31] [32] [33] [34] [35] [36] [39] [40] [45] [46] [47] [49] [51]
17	João Leite (João Alexandre Leite)	[28] [37] [38] [52]
18	Paola Mello	[1] [2] [4] [5] [10] [12] [14] [16] [17] [18] [19] [22] [23] [24] [26] [29] [30] [31] [32] [33] [34] [35] [36] [39] [40] [45] [46] [47] [48] [49] [50] [51]
19	Michela Milano	[3] [18] [31]
20	Marco Montali	[30] [40] [45] [46] [47] [48] [50] [51]
21	Andrea Omicini	[28] [38] [42]
22	Fariba Sadri	[7] [9] [15]
23	Giovanni Sartor	[32]
24	Cesare Stefanelli	[1]
25	Leon Sterling	[28]
26	Sergio Storari	[30] [40]
27	Francesca Toni	[6] [7] [9] [14] [15] [43]
28	Pinar Yolum	[38]
29	Nicola Zannone	[48]