Contracts Violation: Justification via Argumentation

DOI10.1007/978-3-642-02734-5_9zbMATH Open1250.68265OpenAlexW2096495075MaRDI QIDQ3393386FDOQ3393386

Authors: Stefania Costantini, Arianna Tocchio, Panagiota Tsintza 

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

Recommendations

• Reasoning about exceptions to contracts
• Agents that reason and negotiate by arguing
• Argumentation in Multi-Agent Systems
• Formal Handling of Threats and Rewards in a Negotiation Dialogue
• Argumentation in Multi-Agent Systems

Mathematics Subject Classification ID

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

Cites Work

• Specifying norm-governed computational societies
• Computational Logic in Multi-Agent Systems
• Review on computational trust and reputation models
• Title not available (Why is that?)
• Dynamic argument systems: A formal model of argumentation processes based on situation calculus
• Comparing LTL semantics for runtime verification
• On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
• Agents that reason and negotiate by arguing
• Title not available (Why is that?)
• An executable specification of a formal argumentation protocol
• Argumentation in Multi-Agent Systems
• Title not available (Why is that?)
• Verifiable agent dialogues
• Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant

Cited In (4)

• Exception diagnosis in multiagent contract executions
• Breach of Contract
• Contract-Related Agents
• Reasoning about exceptions to contracts

Uses Software

• Society Visualiser

This page was built for publication: Contracts Violation: Justification via Argumentation

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