Search the dblp DataBase
Paolo Torroni :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marco Gavanelli , Evelina Lamma , Paola Mello , Michela Milano , Paolo Torroni Interpreting Abduction in CLP. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 2003, pp:25-35 [Conf ] Marco Alberti , Marco Gavanelli , Evelina Lamma , Paola Mello , Paolo Torroni An Abductive Interpretation for Open Agent Societies. [Citation Graph (0, 0)][DBLP ] AI*IA, 2003, pp:287-299 [Conf ] Marco Alberti , Marco Gavanelli , Evelina Lamma , Paola Mello , Paolo Torroni The S CIFF Abductive Proof-Procedure. [Citation Graph (0, 0)][DBLP ] AI*IA, 2005, pp:135-147 [Conf ] Anna Ciampolini , Evelina Lamma , Paola Mello , Cesare Stefanelli , Paolo Torroni An Implementation for Abductive Logic Agents. [Citation Graph (0, 0)][DBLP ] AI*IA, 1999, pp:61-71 [Conf ] Anna Ciampolini , Paola Mello , Paolo Torroni , Evelina Lamma Coordinating the safe execution of tasks in a constrained multi-agent system. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:940-941 [Conf ] Fariba Sadri , Francesca Toni , Paolo Torroni Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. [Citation Graph (0, 0)][DBLP ] ATAL, 2001, pp:405-421 [Conf ] Paolo Torroni A study on the termination of negotiation dialogues. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:1223-1230 [Conf ] Marco Alberti , Anna Ciampolini , Marco Gavanelli , Evelina Lamma , Paola Mello , Paolo Torroni A Social ACL Semantics by Deontic Constraints. [Citation Graph (0, 0)][DBLP ] CEEMAS, 2003, pp:204-213 [Conf ] Anna Ciampolini , Evelina Lamma , Paola Mello , Paolo Torroni Expressing Collaborative and Competitive Coordination among Abductive. [Citation Graph (0, 0)][DBLP ] CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:35-43 [Conf ] Andrea Bracciali , Paolo Torroni A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. [Citation Graph (0, 0)][DBLP ] CLIMA IV, 2004, pp:159-177 [Conf ] Federico Chesani , Marco Gavanelli , Marco Alberti , Evelina Lamma , Paola Mello , Paolo Torroni Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:243-264 [Conf ] Marco Gavanelli , Evelina Lamma , Paola Mello , Paolo Torroni An Abductive Framework for Information Exchange in Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] CLIMA IV, 2004, pp:34-52 [Conf ] Paolo Torroni Logics and Multi-agents: towards a new symbolic model of cognition. [Citation Graph (0, 0)][DBLP ] CLIMA III, 2002, pp:177-180 [Conf ] Marco Alberti , Marco Gavanelli , Evelina Lamma , Paola Mello , Paolo Torroni Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. [Citation Graph (0, 0)][DBLP ] DALT, 2003, pp:243-262 [Conf ] Antonis C. Kakas , Paolo Torroni , Neophytos Demetriou Agent Planning, Negotiation and Control of Operation. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:28-32 [Conf ] Marco Alberti , Federico Chesani , Marco Gavanelli , Evelina Lamma , Paola Mello , Paolo Torroni Security Protocols Verification in Abductive Logic Programming: A Case Study. [Citation Graph (0, 0)][DBLP ] ESAW, 2005, pp:106-124 [Conf ] Paolo Torroni , Francesca Toni Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation. [Citation Graph (0, 0)][DBLP ] ESAW, 2001, pp:105-118 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Global Computing, 2004, pp:314-339 [Conf ] Marco Alberti , Marco Gavanelli , Evelina Lamma , Paola Mello , Paolo Torroni Abduction with Hypotheses Confirmation. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:1545-1546 [Conf ] Fariba Sadri , Francesca Toni , Paolo Torroni Minimally intrusive negotiating agents for resource sharing. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:796-804 [Conf ] Rosy Barruffi , Michela Milano , Paolo Torroni Planning while Executing: A Constraint-Based Approach. [Citation Graph (0, 0)][DBLP ] ISMIS, 2000, pp:228-236 [Conf ] Anna Ciampolini , Evelina Lamma , Paola Mello , Paolo Torroni A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:14-26 [Conf ] Fariba Sadri , Francesca Toni , Paolo Torroni An Abductive Logic Programming Architecture for Negotiating Agents. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:419-431 [Conf ] Marco Alberti , Davide Daolio , Paolo Torroni , Marco Gavanelli , Evelina Lamma , Paola Mello Specification and verification of agent interaction protocols in a logic-based system. [Citation Graph (0, 0)][DBLP ] SAC, 2004, pp:72-78 [Conf ] Marco Alberti , Marco Gavanelli , Evelina Lamma , Federico Chesani , Paola Mello , Paolo Torroni A Logic based Approach to Interaction Design in Open Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] WETICE, 2004, pp:387-392 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] W(C)LP, 2005, pp:53-64 [Conf ] Federico Chesani , Anna Ciampolini , Paola Mello , Marco Montali , Paolo Torroni , Marco Alberti , Sergio Storari Protocol Specification and Verification by Using Computational Logic. [Citation Graph (0, 0)][DBLP ] WOA, 2005, pp:184-192 [Conf ] Anna Ciampolini , Evelina Lamma , Paola Mello , Paolo Torroni Expressing Collaboration And Competition Among Abductive Logic Agents. [Citation Graph (0, 0)][DBLP ] WOA, 2000, pp:64-69 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] WS-FM, 2006, pp:58-72 [Conf ] Marco Alberti , Marco Gavanelli , Evelina Lamma , Federico Chesani , Paola Mello , Paolo Torroni Compliance verification of agent interaction: a logic-based software tool. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 2006, v:20, n:2-4, pp:133-157 [Journal ] Anna Ciampolini , Paolo Torroni Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 2004, v:18, n:3-4, pp:251-275 [Journal ] Anna Ciampolini , Evelina Lamma , Paola Mello , Francesca Toni , Paolo Torroni Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2003, v:37, n:1-2, pp:65-91 [Journal ] Paolo Torroni Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2004, v:42, n:1-3, pp:293-305 [Journal ] Anna Ciampolini , Evelina Lamma , Paola Mello , Paolo Torroni LAILA: a language for coordinating abductive reasoning among logic agents. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 2001, v:27, n:4, pp:137-161 [Journal ] Paolo Torroni Logics and Multi-agents: towards a new symbolic model of cognition. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal ] Marco Alberti , Federico Chesani , Marco Gavanelli , Alessio Guerri , Evelina Lamma , Paola Mello , Paolo Torroni Expressing interaction in combinatorial auction through social integrity constraints. [Citation Graph (0, 0)][DBLP ] Intelligenza Artificiale, 2005, v:2, n:1, pp:22-29 [Journal ] Marco Alberti , Federico Chesani , Marco Gavanelli , Evelina Lamma , Paola Mello , Marco Montali , Paolo Torroni Expressing and Verifying Business Contracts with Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Normative Multi-agent Systems, 2007, pp:- [Conf ] Marco Alberti , Federico Chesani , Marco Gavanelli , Evelina Lamma , Paola Mello , Marco Montali , Paolo Torroni Web Service Contracting: Specification and Reasoning with SCIFF. [Citation Graph (0, 0)][DBLP ] ESWC, 2007, pp:68-83 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] RR, 2007, pp:279-288 [Conf ] Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? [Citation Graph (, )][DBLP ] 25 Years of Applications of Logic Programming in Italy. [Citation Graph (, )][DBLP ] -Tropos. [Citation Graph (, )][DBLP ] What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. [Citation Graph (, )][DBLP ] Social Commitments in Time: Satisfied or Compensated. [Citation Graph (, )][DBLP ] Verification from Declarative Specifications Using Logic Programming. [Citation Graph (, )][DBLP ] Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. [Citation Graph (, )][DBLP ] Commitment Tracking via the Reactive Event Calculus. [Citation Graph (, )][DBLP ] Verification of Choreographies During Execution Using the Reactive Event Calculus. [Citation Graph (, )][DBLP ] Role Monitoring in Open Agent Societies. [Citation Graph (, )][DBLP ] Declarative Technologies for Open Agent Systems and Beyond. [Citation Graph (, )][DBLP ] Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. [Citation Graph (, )][DBLP ] Multi-agent agreements about actions through argumentation. [Citation Graph (, )][DBLP ] Mapping of Deontic Operators to Abductive Expectations. [Citation Graph (, )][DBLP ] Introductory Essay of LADS'009. [Citation Graph (, )][DBLP ] Verifying A-Priori the Composition of Declarative Specified Services. [Citation Graph (, )][DBLP ] Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. [Citation Graph (, )][DBLP ] Search in 0.007secs, Finished in 0.012secs