Contracts Violation: Justification via Argumentation

DOI10.1007/978-3-642-02734-5_9MaRDI QIDQ3393386zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(4)

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

Describes a project that uses

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)