Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paolo Torroni
2010 – today
- 2013
[j22]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems 27(1): 85-130 (2013)- [c58]
- [c57]Simone Gabbriellini, Paolo Torroni: NetArg: an agent-based social simulator with argumentative agents. AAMAS 2013: 1365-1366
- [e10]João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (Eds.): Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8143, Springer 2013, ISBN 978-3-642-40623-2
- 2012
- [j21]Özgür Kafali, Paolo Torroni: Exception diagnosis in multiagent contract executions. Ann. Math. Artif. Intell. 64(1): 73-107 (2012)
- [c56]
- [c55]Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Reactive Event Calculus for Monitoring Global Computing Applications. Logic Programs, Norms and Action 2012: 123-146
- 2011
- [j20]Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl: Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. Autonomous Agents and Multi-Agent Systems 23(2): 193-223 (2011)
- [j19]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Cybernetics and Systems 42(7): 546-566 (2011)
- [j18]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale 5(1): 101-105 (2011)
- [j17]Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Service Res. 8(3): 1-25 (2011)
- [c54]Özgür Kafali, Francesca Toni, Paolo Torroni: Collaborative diagnosis of exceptions to contracts. AAMAS 2011: 1167-1168
- [c53]
- [c52]
- [c51]Özgür Kafali, Francesca Toni, Paolo Torroni: Reasoning about Exceptions to Contracts. CLIMA 2011: 225-242
- [c50]Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali: A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT 2011: 120-127
- [c49]
- [e9]João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (Eds.): Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Lecture Notes in Computer Science 6814, Springer 2011, ISBN 978-3-642-22358-7
- 2010
- [j16]Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Inform. 102(3-4): 325-361 (2010)
- [j15]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: A Logic-Based, Reactive Calculus of Events. Fundam. Inform. 105(1-2): 135-161 (2010)
- [j14]Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni: On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Multiagent and Grid Systems 6(2): 165-190 (2010)
- [c48]Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni: Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? 25 Years GULP 2010: 204-230
- [c47]Alessandro Dal Palù, Paolo Torroni: 25 Years of Applications of Logic Programming in Italy. 25 Years GULP 2010: 300-328
- [c46]Özgür Kafali, Federico Chesani, Paolo Torroni: What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. CLIMA 2010: 82-98
- [c45]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Declarative Technologies for Open Agent Systems and Beyond. KES-AMSTA (1) 2010: 1-5
- [c44]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Role Monitoring in Open Agent Societies. KES-AMSTA (1) 2010: 112-121
- [e8]Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni (Eds.): Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6039, Springer 2010, ISBN 978-3-642-13337-4
2000 – 2009
- 2009
- [c43]Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali: Social Commitments in Time: Satisfied or Compensated. DALT 2009: 228-243
- [c42]Marco 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
- [c41]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96
- [c40]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verifying A-Priori the Composition of Declarative Specified Services. MALLOW 2009
- [c39]Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Introductory Essay of LADS'009. MALLOW 2009
- [e7]Matteo 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 (Eds.): Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009
- 2008
- [j13]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)
- [c38]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
- [c37]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008
- [c36]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM 2008: 55-72
- [e6]Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni (Eds.): Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5118, Springer 2008, ISBN 978-3-540-85057-1
- 2007
- [j12]Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni: Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. Computational Intelligence 23(1): 61-91 (2007)
- [j11]Paolo Torroni, Marco Gavanelli, Federico Chesani: Argumentation in the Semantic Web. IEEE Intelligent Systems 22(6): 66-74 (2007)
- [j10]Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience 8(1) (2007)
- [c35]
- [c34]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
- [c33]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
- [c32]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
- [j9]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)
- [j8]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping deontic operators to abductive expectations. Computational & Mathematical Organization Theory 12(2-3): 205-225 (2006)
- [c31]
- [c30]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
- [e5]Francesca Toni, Paolo Torroni (Eds.): Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3900, Springer 2006, ISBN 3-540-33996-5
- [e4]Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni (Eds.): Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. Lecture Notes in Computer Science 3904, Springer 2006, ISBN 3-540-33106-9
- 2005
- [j7]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)
- [c29]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147
- [c28]Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA 2005: 243-264
- [c27]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
- [c26]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546
- [c25]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136
- [c24]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
- [c23]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
- [e3]João Alexandre Leite, Paolo Torroni (Eds.): Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3487, Springer 2005, ISBN 3-540-28060-X
- [e2]João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum (Eds.): Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3476, Springer 2005, ISBN 3-540-26172-9
- 2004
- [j6]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)
- [j5]Paolo Torroni: Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions. Ann. Math. Artif. Intell. 42(1-3): 293-305 (2004)
- [j4]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction using Social Integrity Constraints. Electr. Notes Theor. Comput. Sci. 85(2): 94-116 (2004)
- [c22]Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA 2004: 34-52
- [c21]Andrea Bracciali, Paolo Torroni: A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. CLIMA 2004: 159-177
- [c20]Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou: Agent Planning, Negotiation and Control of Operation. ECAI 2004: 28-32
- [c19]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
- [c18]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
- [c17]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
- [e1]João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni (Eds.): Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2990, Springer 2004, ISBN 3-540-22124-7
- 2003
- [j3]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)
- [c16]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35
- [c15]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299
- [c14]Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213
- [c13]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
- [c12]Fariba Sadri, Francesca Toni, Paolo Torroni: Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804
- 2002
- [j2]Paolo Torroni: Logics and Multi-agents: towards a new symbolic model of cognition. Electr. Notes Theor. Comput. Sci. 70(5): 199-203 (2002)
- [c11]Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma: Coordinating the safe execution of tasks in a constrained multi-agent system. AAMAS 2002: 940-941
- [c10]
- [c9]Paolo Torroni: Logics and Multi-agents: towards a new symbolic model of cognition. CLIMA 2002: 177-180
- [c8]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
- [c7]Fariba Sadri, Francesca Toni, Paolo Torroni: An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431
- 2001
- [j1]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)
- [c6]Fariba Sadri, Francesca Toni, Paolo Torroni: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421
- [c5]Paolo Torroni, Francesca Toni: Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation. ESAW 2001: 105-118
- 2000
- [c4]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
- [c3]Rosy Barruffi, Michela Milano, Paolo Torroni: Planning while Executing: A Constraint-Based Approach. ISMIS 2000: 228-236
- [c2]Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing Collaboration And Competition Among Abductive Logic Agents. WOA 2000: 64-69
1990 – 1999
- 1999
- [c1]Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni: An Implementation for Abductive Logic Agents. AI*IA 1999: 61-71
Coauthor Index
[j22] [c55] [j20] [j19] [j18] [j17] [c50] [j16] [j15] [j14] [c45] [c44] [c43] [c42] [c41] [c40] [j13] [c38] [c37] [c36] [j10] [c35] [c34] [c33] [c32] [j9] [j8] [c30] [j7] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [j4] [c22] [c19] [c18] [c17] [j3] [c16] [c15] [c14] [c13] [c11] [c8] [j1] [c4] [c2] [c1]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team