Exception diagnosis in multiagent contract executions
From MaRDI portal
Publication:1926581
DOI10.1007/s10472-012-9282-1zbMath1280.68263OpenAlexW1982088356WikidataQ57977926 ScholiaQ57977926MaRDI QIDQ1926581
Publication date: 28 December 2012
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-012-9282-1
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- A logic-based calculus of events
- The computational complexity of abduction
- Analysis of notions of diagnosis
- EDEN: An intelligent software environment for diagnosis of discrete-event systems
- Temporal representation and reasoning in artificial intelligence: Issues and approaches
- Reactive Event Calculus for Monitoring Global Computing Applications
- Behavior-Oriented Commitment-based Protocols
- Social Commitment Delegation and Monitoring
- Verifying Agents’ Conformance with Multiparty Protocols
- Social Commitments in Time: Satisfied or Compensated
- Verification from Declarative Specifications Using Logic Programming
- On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
This page was built for publication: Exception diagnosis in multiagent contract executions
