Paolo Torroni Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge: Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 CEUR-WS.org 2009
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Torroni, Federico Chesani, Paola Mello, Marco Montali: Social Commitments in Time: Satisfied or Compensated. DALT 2009: 228-243
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni: Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Introductory Essay of LADS'009. MALLOW 2009
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verifying A-Priori the Composition of Declarative Specified Services. MALLOW 2009
2008
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM 2008: 55-72
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone: -Tropos. CLIMA VIII 2007: 157-176
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Torroni, Marco Gavanelli, Federico Chesani: Argumentation in the Semantic Web. IEEE Intelligent Systems 22(6): 66-74 (2007)
2006
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesca 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
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Torroni: Multi-agent agreements about actions through argumentation. COMMA 2006: 323-328
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico 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
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bracciali, Paolo Torroni: A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. CLIMA IV 2004: 159-177
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA IV 2004: 34-52
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis C. Kakas, Paolo Torroni, Neophytos Demetriou: Agent Planning, Negotiation and Control of Operation. ECAI 2004: 28-32
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Torroni: Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions. Ann. Math. Artif. Intell. 42(1-3): 293-305 (2004)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni, Paolo Torroni: Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Torroni: A study on the termination of negotiation dialogues. AAMAS 2002: 1223-1230
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma: Coordinating the safe execution of tasks in a constrained multi-agent system. AAMAS 2002: 940-941
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Torroni: Logics and Multi-agents: towards a new symbolic model of cognition. CLIMA III 2002: 177-180
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. JELIA 2002: 14-26
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni, Paolo Torroni: An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Torroni: Logics and Multi-agents: towards a new symbolic model of cognition. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni, Paolo Torroni: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Torroni, Francesca Toni: Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation. ESAW 2001: 105-118
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRosy Barruffi, Michela Milano, Paolo Torroni: Planning while Executing: A Constraint-Based Approach. ISMIS 2000: 228-236
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing Collaboration And Competition Among Abductive Logic Agents. WOA 2000: 64-69
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni: An Implementation for Abductive Logic Agents. AI*IA 1999: 61-71

Coauthor Index

1Marco Alberti [16] [17] [19] [22] [23] [24] [29] [30] [31] [32] [33] [34] [35] [36] [39] [40] [45] [46] [47] [49] [52] [57]
2Matteo Baldoni [42] [59]
3Cristina Baroglio [59]
4Rosy Barruffi [3]
5Jamal Bentahar [59]
6Guido Boella [59]
7Andrea Bracciali [27]
8Volha Bryl [48]
9Massimiliano Cattafi [57]
10Federico Chesani [22] [24] [29] [30] [31] [34] [35] [39] [40] [44] [45] [46] [47] [49] [50] [51] [52] [54] [56] [57] [58]
11Anna Ciampolini [1] [2] [4] [5] [10] [12] [14] [17] [20] [30]
12Massimo Cossentino [59]
13Davide Daolio [23]
14Mehdi Dastani [53] [55] [59]
15Neophytos Demetriou [25]
16Barbara Dunin-Keplicz [59]
17Ulrich Endriss (Ulle Endriss) [42]
18Amal El Fallah-Seghrouchni [53] [55] [59]
19Giancarlo Fortino [59]
20Marco Gavanelli [16] [17] [18] [19] [22] [23] [24] [26] [29] [31] [32] [33] [34] [35] [36] [39] [40] [44] [45] [46] [47] [49] [52] [57]
21Marie Pierre Gleizes [59]
22Alessio Guerri [29] [31]
23Antonis C. Kakas [25]
24Evelina 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] [52] [57]
25João Leite (João Alexandre Leite) [28] [37] [38] [53] [55] [59]
26Viviana Mascardi [59]
27Paola 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] [52] [54] [56] [57] [58]
28Michela Milano [3] [18] [31]
29Marco Montali [30] [40] [45] [46] [47] [48] [50] [51] [52] [54] [56] [57] [58]
30Andrea Omicini [28] [38] [42]
31Julian A. Padget [59]
32Juan Pavón [59]
33Axel Polleres [59]
34Fariba Sadri [7] [9] [15]
35Giovanni Sartor [32]
36Cesare Stefanelli [1]
37Leon Sterling [28]
38Sergio Storari [30] [40]
39Francesca Toni [6] [7] [9] [14] [15] [43]
40Rineke Verbrugge (L. C. Verbrugge) [59]
41Pinar Yolum [38]
42Nicola Zannone [48]

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)