 | 2009 |
|---|
| 59 |       | 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:
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009
CEUR-WS.org 2009 |
| 58 |  | Paolo Torroni,
Federico Chesani,
Paola Mello,
Marco Montali:
Social Commitments in Time: Satisfied or Compensated.
DALT 2009: 228-243 |
| 57 | | 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 |
| 56 | | Federico Chesani,
Paola Mello,
Marco Montali,
Paolo Torroni:
Commitment Tracking via the Reactive Event Calculus.
IJCAI 2009: 91-96 |
| 55 | | Mehdi Dastani,
Amal El Fallah-Seghrouchni,
João Leite,
Paolo Torroni:
Introductory Essay of LADS'009.
MALLOW 2009 |
| 54 | | Federico Chesani,
Paola Mello,
Marco Montali,
Paolo Torroni:
Verifying A-Priori the Composition of Declarative Specified Services.
MALLOW 2009 |
| 2008 |
|---|
| 53 | | 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 |
| 52 | | 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 |
| 51 | | Federico Chesani,
Paola Mello,
Marco Montali,
Paolo Torroni:
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.
SWAP 2008 |
| 50 | | Federico Chesani,
Paola Mello,
Marco Montali,
Paolo Torroni:
Verification of Choreographies During Execution Using the Reactive Event Calculus.
WS-FM 2008: 55-72 |
| 49 | | 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 | | Volha Bryl,
Paola Mello,
Marco Montali,
Paolo Torroni,
Nicola Zannone:
-Tropos.
CLIMA VIII 2007: 157-176 |
| 47 | | 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 | | 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 | | 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 | | 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 | | Paolo Torroni:
Multi-agent agreements about actions through argumentation.
COMMA 2006: 323-328 |
| 40 | | 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 | | 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 | | Marco Alberti,
Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Paolo Torroni:
The SCIFF Abductive Proof-Procedure.
AI*IA 2005: 135-147 |
| 35 | | 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 | | 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 | | Marco Alberti,
Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Paolo Torroni:
Abduction with Hypotheses Confirmation.
IJCAI 2005: 1545-1546 |
| 32 | | 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 | | 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 | | Andrea Bracciali,
Paolo Torroni:
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction.
CLIMA IV 2004: 159-177 |
| 26 | | 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 | | 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 | | 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 | | 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 | | Paolo Torroni:
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions.
Ann. Math. Artif. Intell. 42(1-3): 293-305 (2004) |
| 20 | | 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 | | 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 | | Marco Alberti,
Anna Ciampolini,
Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Paolo Torroni:
A Social ACL Semantics by Deontic Constraints.
CEEMAS 2003: 204-213 |
| 16 | | 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 | | Paolo Torroni:
A study on the termination of negotiation dialogues.
AAMAS 2002: 1223-1230 |
| 12 | | 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 | | 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 | | Fariba Sadri,
Francesca Toni,
Paolo Torroni:
An Abductive Logic Programming Architecture for Negotiating Agents.
JELIA 2002: 419-431 |
| 8 | | Paolo Torroni:
Logics and Multi-agents: towards a new symbolic model of cognition.
Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 2001 |
|---|
| 7 | | Fariba Sadri,
Francesca Toni,
Paolo Torroni:
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.
ATAL 2001: 405-421 |
| 6 | | 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 | | 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 | | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Cesare Stefanelli,
Paolo Torroni:
An Implementation for Abductive Logic Agents.
AI*IA 1999: 61-71 |
