Reasoning about Exceptions to Contracts
From MaRDI portal
Publication:3092305
DOI10.1007/978-3-642-22359-4_16zbMath1348.68259OpenAlexW16888541WikidataQ57977932 ScholiaQ57977932MaRDI QIDQ3092305
Francesca Toni, Paolo Torroni, Özgür Kafalı
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
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computing ideal sceptical argumentation
- The computational complexity of abduction
- Analysis of notions of diagnosis
- EDEN: An intelligent software environment for diagnosis of discrete-event systems
- An abstract, argumentation-theoretic approach to default reasoning
- Dialectic proof procedures for assumption-based, admissible argumentation
- Social Commitments in Time: Satisfied or Compensated