Methods for solving reasoning problems in abstract argumentation -- a survey
From MaRDI portal
Publication:2341832
DOI10.1016/J.ARTINT.2014.11.008zbMATH Open1328.68212OpenAlexW1970198086WikidataQ28083532 ScholiaQ28083532MaRDI QIDQ2341832
Johannes Wallner, Sarah Alice Gaggl, Wolfgang Dvořák, Günther Charwat, Stefan Woltran
Publication date: 6 May 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2014.11.008
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Theory and Applications of Satisfiability Testing
- AFRA: argumentation framework with recursive attacks
- Argumentation in artificial intelligence
- Computing ideal sceptical argumentation
- The computational complexity of ideal semantics
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- On the computational cost of disjunctive logic programming: Propositional case
- Dialectic proof procedures for assumption-based, admissible argumentation
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Defeasible logic programming: an argumentative approach
- The DLV system for knowledge representation and reasoning
- A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
- Complexity of Finding Embeddings in a k-Tree
- Treewidth. Computations and approximations
- Logic programs with stable model semantics as a constraint programming paradigm
- GRASP: a search algorithm for propositional satisfiability
- Change in Abstract Argumentation Frameworks: Adding an Argument
- Characterizing strong equivalence for argumentation frameworks
- On the input/output behavior of argumentation frameworks
- A logic-based theory of deductive arguments
- Dynamics of argumentation systems: a division-based method
- Graph minors. III. Planar tree-width
- Treewidth computations. I: Upper bounds
- On the evaluation of argumentation formalisms
- Persuasion in Practical Argument Using Value-based Argumentation Frameworks
- Reasoning about preferences in argumentation frameworks
- Computational properties of argument systems satisfying graph-theoretic constraints
- A logical account of formal argumentation
- An Algorithm for Computing Semi-stable Semantics
- Algorithms for decision problems in argument systems under preferred semantics
- Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach
- Algorithms for Argumentation Semantics: Labeling Attacks as a Generalization of Labeling Arguments
- On principle-based evaluation of extension-based argumentation semantics
- Coherence in finite argument systems.
- Splitting an Argumentation Framework
- Complexity-sensitive decision procedures for abstract argumentation
- On the resolution-based family of abstract argumentation semantics and its grounded instance
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Complexity of semi-stable and stage semantics in argumentation frameworks
- Graph theoretical structures in logic programs and default theories
- Towards fixed-parameter tractable algorithms for abstract argumentation
- SCC-recursiveness: a general schema for argumentation semantics
- Parameterized Splitting: A Simple Modification-Based Approach
- On the Intertranslatability of Argumentation Semantics
- Preferred extensions as stable models
- Normal and strong expansion equivalence for argumentation frameworks
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Algorithms for generating arguments and counterarguments in propositional logic
- Fibring argumentation frames
- Stage semantics and the SCC-recursive schema for argumentation semantics
- Partial semantics of argumentation: basic properties and empirical
- Weighted argument systems: basic definitions, algorithms, and complexity results
- The carneades model of argument and burden of proof
- Evaluation of an MSO-Solver
- Augmenting tractable fragments of abstract argumentation
- A QBF-based formalization of abstract argumentation semantics
- Argumentation and Answer Set Programming
- Complex optimization in answer set programming
- Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
- Solving Weighted Argumentation Frameworks with Soft Constraints
- A Common Computational Framework for Semiring-based Argumentation Systems
- Nonmonotonic Tools for Argumentation
- The \(cf2\) argumentation semantics revisited
- Advanced SAT Techniques for Abstract Argumentation
- Preferred semantics as socratic discussion
- Argumentation Context Systems: A Framework for Abstract Group Argumentation
- Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic
- D-FLAT: Declarative problem solving using tree decompositions and answer-set programming
Cited In (30)
- Indepth combinatorial analysis of admissible sets for abstract argumentation
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
- Title not available (Why is that?)
- Design and results of the second international competition on computational models of argumentation
- How we designed winning algorithms for abstract argumentation and which insight we attained
- On checking skeptical and ideal admissibility in abstract argumentation frameworks
- Complexity of fundamental problems in probabilistic abstract argumentation: beyond independence
- Credulous acceptance in high-order argumentation frameworks with necessities: an incremental approach
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- On efficiently estimating the probability of extensions in abstract argumentation frameworks
- RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks
- Lattice point of view for argumentation framework
- The complexity landscape of claim-augmented argumentation frameworks
- Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
- Encoding Argument Graphs in Logic
- Looking-ahead in backtracking algorithms for abstract argumentation
- Optimization of dialectical outcomes in dialogical argumentation
- New stochastic local search approaches for computing preferred extensions of abstract argumentation
- Range-based argumentation semantics as two-valued models
- Labellings for assumption-based and abstract argumentation
- Improved answer-set programming encodings for abstract argumentation
- On the preferred extensions of argumentation frameworks: bijections with naive sets
- On the impact of configuration on abstract argumentation automated reasoning
- Taking account of the actions of others in value-based reasoning
- Solving Advanced Argumentation Problems with Answer Set Programming
- The first international competition on computational models of argumentation: results and analysis
- An argumentative dialogue system for COVID-19 vaccine information
- Graded labellings for abstract argumentation
- On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
- Reasoning in assumption-based argumentation using tree-decompositions
Uses Software
This page was built for publication: Methods for solving reasoning problems in abstract argumentation -- a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2341832)
