Relating protocols for dynamic dispute with logics for defeasible argumentation

DOI10.1023/A:1010322504453MaRDI QIDQ5946356zbMATH OpenOpenAlexFDO

Authors Henry Prakken

Publication date 12 March 2002

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010322504453

zbMATH Keywords

defeasible argumentationdialectical proof theoriesfairnesslogics for defeasible argumentationnonmonotonic reasoningprotocols for dynamic disputessoundnessvarying information base

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1490025
• Dynamic argument systems: A formal model of argumentation processes based on situation calculus
• Defeasible Dialectics: A Controversy-Oriented Approach towards Defeasible Argumentation
• Logical argumentation by dynamic proof systems
• Eight dialectic benchmarks discussed by two artificial localist disputors

Cited in

(10)

• On the evaluation of argumentation formalisms
• An executable specification of a formal argumentation protocol
• Logic-based argumentation with existential rules
• Arguing about social evaluations: from theory to experimentation
• Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems
• DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION
• Defeasible Dialectics: A Controversy-Oriented Approach towards Defeasible Argumentation
• A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments
• Dynamics of argumentation systems: a division-based method
• Two party immediate response disputes: Properties and efficiency

This page was built for publication: Relating protocols for dynamic dispute with logics for defeasible argumentation

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