On the semantics of abstract argumentation frameworks: a logic programming approach
From MaRDI portal
Abstract: Recently there has been an increasing interest in frameworks extending Dung's abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive attacks and necessary supports. Although the relationships between AF semantics and Partial Stable Models (PSMs) of logic programs has been deeply investigated, this is not the case for more general frameworks extending AF. In this paper we explore the relationships between AF-based frameworks and PSMs. We show that every AF-based framework can be translated into a logic program so that the extensions prescribed by different semantics of coincide with subsets of the PSMs of . We provide a logic programming approach that characterizes, in an elegant and uniform way, the semantics of several AF-based frameworks. This result allows also to define the semantics for new AF-based frameworks, such as AFs with recursive attacks and recursive deductive supports. Under consideration for publication in Theory and Practice of Logic Programming.
Recommendations
Cites work
- A new approach for preference-based argumentation frameworks
- A novel weighted defence and its relaxation in abstract argumentation
- AFRA: argumentation framework with recursive attacks
- An abstract, argumentation-theoretic approach to default reasoning
- An approach to abstract argumentation with recursive attack and support
- Argument graphs and assumption-based argumentation
- Argumentation frameworks with recursive attacks and evidence-based supports
- Argumentation in artificial intelligence
- Bipolarity in argumentation graphs: towards a better understanding
- Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- Complexity and expressive power of deterministic semantics for DATALOG^ .
- Improved answer-set programming encodings for abstract argumentation
- Incremental computation of deterministic extensions for dynamic argumentation frameworks
- Modelling defeasible and prioritized support in bipolar argumentation
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the complexity of probabilistic abstract argumentation frameworks
- On the equivalence between abstract dialectical frameworks and logic programs
- On the equivalence between assumption-based argumentation and logic programming
- On the equivalence between logic programming semantics and argumentation semantics
- Reasoning about preferences in argumentation frameworks
- Representing argumentation frameworks in answer set programming
- Structure-based semantics of argumentation frameworks with higher-order attacks and supports
- The expressive powers of stable models for bound and unbound DATALOG queries
- Unfolding partiality and disjunctions in stable model semantics
Cited in
(35)- Revisiting Abstract Argumentation Frameworks
- Preservation of semantic properties in collective argumentation: the case of aggregating abstract argumentation frameworks
- A schema for generating relevant logic programming semantics and its applications in argumentation theory
- Probabilistic causal bipolar abstract argumentation: an approach based on credal networks
- Defining stage argumentation semantics in terms of an abducible semantics
- Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- A QBF-based formalization of abstract argumentation semantics
- On the equivalence between abstract dialectical frameworks and logic programs
- Polysemy and Coercion – A Frame-Based Approach Using LTAG and Hybrid Logic
- Paracoherent answer set semantics meets argumentation frameworks
- Credulous acceptance in high-order argumentation frameworks with necessities: an incremental approach
- On the acceptance of loops in argumentation frameworks
- A Common Computational Framework for Semiring-based Argumentation Systems
- A logic programming framework for possibilistic argumentation: Formalization and logical properties
- Reduced meet over labelling-based semantics in abstract argumentation
- \textsc{sm}ProbLog: stable model semantics in ProbLog for probabilistic argumentation
- Abstract argumentation frameworks with strong and weak constraints
- An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation
- scientific article; zbMATH DE number 7084933 (Why is no real title available?)
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
- Representing argumentation frameworks in answer set programming
- A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness
- Logical limits of abstract argumentation frameworks
- On the semantics of abstract argumentation
- scientific article; zbMATH DE number 7444848 (Why is no real title available?)
- Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility
- Constraints and lifting-based (conditional) preferences in abstract argumentation
- On acceptance conditions in abstract argumentation frameworks
- Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations
- AGM meets abstract argumentation: contraction for dung frameworks
- Incremental computation for structured argumentation over dynamic DeLP knowledge bases
- Ideal extensions as logical programming models
- On the equivalence between logic programming semantics and argumentation semantics
- Theory of semi-instantiation in abstract argumentation
This page was built for publication: On the semantics of abstract argumentation frameworks: a logic programming approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5140009)
