Reasoning about exceptions to contracts

DOI10.1007/978-3-642-22359-4_16MaRDI QIDQ3092305zbMATH OpenOpenAlexWikidataFDO

Authors Özgür Kafalı, Francesca Toni, Paolo Torroni

Publication date 16 September 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22359-4_16

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Exception diagnosis in multiagent contract executions
• Contracts Violation: Justification via Argumentation
• Contract-Related Agents
• Social commitment delegation and monitoring
• Agents that reason and negotiate by arguing

Cites work

• An abstract, argumentation-theoretic approach to default reasoning
• Analysis of notions of diagnosis
• Computing ideal sceptical argumentation
• Dialectic proof procedures for assumption-based, admissible argumentation
• EDEN: An intelligent software environment for diagnosis of discrete-event systems
• scientific article; zbMATH DE number 5547960 (Why is no real title available?)
• scientific article; zbMATH DE number 1448977 (Why is no real title available?)
• On-line monitoring and diagnosis of a team of service robots: a model-based approach
• Social commitments in time: satisfied or compensated
• The computational complexity of abduction

Cited in

(3)

• Exception diagnosis in multiagent contract executions
• Social commitment delegation and monitoring
• Contracts Violation: Justification via Argumentation

This page was built for publication: Reasoning about exceptions to contracts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3092305)