Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
From MaRDI portal
Publication:3656766
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
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
