A logic-based calculus of events
New Generation Computing
The computational complexity of abduction
Artificial Intelligence - Special issue on knowledge representation
Analysis of notions of diagnosis
Artificial Intelligence
A Knowledge-based Approach to Handling Exceptions inWorkflow Systems
Computer Supported Cooperative Work
An exception-handling architecture for open electronic marketplaces of contract net software agents
Proceedings of the 2nd ACM conference on Electronic commerce
Maintaining knowledge about temporal intervals
Communications of the ACM
Using self-diagnosis to adapt organizational structures
Proceedings of the fifth international conference on Autonomous agents
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis
AI*IA Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence on Trends in Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Diagnosis of single and multi-agent plans
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Enhancing Web Services with Diagnostic Capabilities
ECOWS '05 Proceedings of the Third European Conference on Web Services
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Models and methods for plan diagnosis
Autonomous Agents and Multi-Agent Systems
Multiagent commitment alignment
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Verifying Agents' Conformance with Multiparty Protocols
Computational Logic in Multi-Agent Systems
Towards model-based diagnosis of coordination failures
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Robust agent teams via socially-attentive monitoring
Journal of Artificial Intelligence Research
Model-based diagnosis in the real world: lessons learned and challenges remaining
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Commitment alignment: semantics, patterns, and decision procedures for distributed computing
Commitment alignment: semantics, patterns, and decision procedures for distributed computing
On the design of social diagnosis algorithms for multi-agent teams
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reasoning about agents and protocols via goals and commitments
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Role monitoring in open agent societies
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Social commitment delegation and monitoring
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Producing compliant interactions: conformance, coverage, and interoperability
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Social commitments in time: satisfied or compensated
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Detecting exceptions in commitment protocols: discovering hidden states
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
A retrospective on the reactive event calculus and commitment modeling language
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Towards adaptive normative systems for communities of agents
Web Intelligence and Agent Systems - Web Intelligence and Communities
Hi-index | 0.00 |
We propose a diagnosis procedure that agents can use to explain exceptions to contract executions. Contracts are expressed by social commitments associated with temporal constraints. The procedure reasons from the relations among such commitments, and returns one amongst different possible mismatches that may have caused an exception. In particular, we consider two possibilities: misalignment, when two agents have two different views of the same commitment, and misbehavior, when there is no misalignment, but a debtor agent fails to oblige. We also provide a realignment policy that can be applied in case of a misalignment. Our formalization uses a reactive form of Event Calculus. We illustrate the workings of our approach by discussing a delivery process from e-commerce as a case study.