Contracts Violation: Justification via Argumentation
From MaRDI portal
Publication:3393386
DOI10.1007/978-3-642-02734-5_9zbMath1250.68265OpenAlexW2096495075MaRDI QIDQ3393386
Panagiota Tsintza, Arianna Tocchio, Stefania Costantini
Publication date: 20 August 2009
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-02734-5_9
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An executable specification of a formal argumentation protocol
- On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
- Verifiable agent dialogues
- Review on computational trust and reputation models
- Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant
- Comparing LTL Semantics for Runtime Verification
- Agents that reason and negotiate by arguing
- Specifying norm-governed computational societies
- Argumentation in Multi-Agent Systems
- Computational Logic in Multi-Agent Systems