- Towards a Mapping of Deontic Logic onto an Abductive Framework
- Planning while Executing: a Constraint-based R. Barru , M. Milano, and P. Torroni
- Reasoning and interaction in logic-based multi-agent systems
- A logic based approach to interaction design in open multi-agent systems Marco Alberti Marco Gavanelli
- An Implementation for Abductive Logic Agents A. Ciampolini 1 , E. Lamma 1 , P. Mello 1 , C. Stefanelli 2 and P. Torroni 1
- Abduction with Hypotheses Confirmation Marco Alberti1
- An Abductive Framework for Information Exchange in Multi-Agent systems
- A Proof-system for the Safe Execution of Tasks in Multi-Agent Systems
- EXPRESSING COLLABORATION AND COMPETITION AMONG ABDUCTIVE LOGIC AGENTS
- A Social ACL Semantics by Deontic Constraints Marco Alberti 1 , Anna Ciampolini 2 , Marco Gavanelli 1 , Evelina Lamma 1 , Paola
- Expressing Collaborative and Competitive Coordination among Abductive Logic Agents
- Preprint 0 (2001) ?? 1 Co-operation and competition in ALIAS
- Rambling Abductive Agents in ALIAS A. Ciampolini, E. Lamma, P. Mello and P. Torroni
- Universit a degli Studi di Bologna Using Abductive Logic Agents for
- Universita degli Studi di Bologna Logic Based Semantics for an Agent
- The Dynamic Composition of Abductive Agents A. Ciampolini, E. Lamma, P. Mello and P. Torroni
- A study on the termination of negotiation dialogues Paolo Torroni
- Personalization, verification and conformance for logic-based communicating agents
- Interactive Constraints for Plan Construction and R.Barruffi (1) , M.Milano (2) , P.Torroni (1)
- Universit`a degli Studi di Bologna Computational Logic in Multi-Agent
- The SOCS Computational Logic Approach to the Specification and Verification of
- Agent Planning, Negotiation and Control of Operation Antonis C. Kakas1, Paolo Torroni2 and Neophytos Demetriou1
- Logics, local search and resource allocation Andrea Roli and Paolo Torroni
- Universit a degli Studi di Bologna The SOcieties of ComputeeS project
- Logic Based Semantics for Agent Communication Languages
- Coordinating the Safe Execution of Tasks in a Constrained Multi-Agent System
- Protocol specification and verification by using computational logic
- Expressing Interaction in Combinatorial Auction through Social Integrity Constraints
- Compliance Verification of Agent Interaction: a Logic-based Software Tool
- A new framework for knowledge revision of abductive agents through their interaction
- An abductive logic programming architecture for negotiating agents
- Electronic Notes in Theoretical Computer Science 70 No. 5 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 5 pages
- Specification and Verification of Agent Interaction Protocols in a Logic-based System
- LAILA: A Language for Coordinating Abductive Reasoning Among Logic Agents
- Universit a degli Studi di Bologna A multi-stage negotiation
- Logic agents, dialogues and negotiation: an abductive approach F. Sadri ? ; F. Toni ? ; P. Torroni y