Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation

DOI10.1093/LOGCOM/EXP032zbMath1185.68677OpenAlexW2039968466MaRDI QIDQ3656766

Nguyen Duy Hung, Phan Minh Dung, Phan Minh Thang

Publication date: 14 January 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/3280aa1808f83cb35aa6e138d25c2863ef3b9906

zbMATH Keywords

dispute resolutionabstract argumentationproof proceduredialectical

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (14)

Looking-ahead in backtracking algorithms for abstract argumentation ⋮ Dialectical Proof Procedures for Probabilistic Abstract Argumentation ⋮ Logic-based argumentation with existential rules ⋮ Forecasting with jury-based probabilistic argumentation ⋮ On checking skeptical and ideal admissibility in abstract argumentation frameworks ⋮ Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks ⋮ Integrated preference argumentation and applications in consumer behaviour analyses ⋮ Flexible dispute derivations with forward and backward arguments for assumption-based argumentation ⋮ Algorithms for decision problems in argument systems under preferred semantics ⋮ Revealed preference in argumentation: algorithms and applications ⋮ Reasoning on the Web with Assumption-Based Argumentation ⋮ Methods for solving reasoning problems in abstract argumentation -- a survey ⋮ Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence ⋮ Argument graphs and assumption-based argumentation

This page was built for publication: Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation