The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paolo Torroni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    The SCIFF Abductive Proof-Procedure. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2005, pp:135-147 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Paolo Torroni
    A study on the termination of negotiation dialogues. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:1223-1230 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Fariba Sadri, Francesca Toni, Paolo Torroni
    Minimally intrusive negotiating agents for resource sharing. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:796-804 [Conf]
  21. Rosy Barruffi, Michela Milano, Paolo Torroni
    Planning while Executing: A Constraint-Based Approach. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2000, pp:228-236 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]

  40. Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? [Citation Graph (, )][DBLP]


  41. 25 Years of Applications of Logic Programming in Italy. [Citation Graph (, )][DBLP]


  42. -Tropos. [Citation Graph (, )][DBLP]


  43. What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. [Citation Graph (, )][DBLP]


  44. Social Commitments in Time: Satisfied or Compensated. [Citation Graph (, )][DBLP]


  45. Verification from Declarative Specifications Using Logic Programming. [Citation Graph (, )][DBLP]


  46. Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. [Citation Graph (, )][DBLP]


  47. Commitment Tracking via the Reactive Event Calculus. [Citation Graph (, )][DBLP]


  48. Verification of Choreographies During Execution Using the Reactive Event Calculus. [Citation Graph (, )][DBLP]


  49. Role Monitoring in Open Agent Societies. [Citation Graph (, )][DBLP]


  50. Declarative Technologies for Open Agent Systems and Beyond. [Citation Graph (, )][DBLP]


  51. Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. [Citation Graph (, )][DBLP]


  52. Multi-agent agreements about actions through argumentation. [Citation Graph (, )][DBLP]


  53. Mapping of Deontic Operators to Abductive Expectations. [Citation Graph (, )][DBLP]


  54. Introductory Essay of LADS'009. [Citation Graph (, )][DBLP]


  55. Verifying A-Priori the Composition of Declarative Specified Services. [Citation Graph (, )][DBLP]


  56. Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. [Citation Graph (, )][DBLP]


Search in 0.122secs, Finished in 0.124secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002