Algorithms for decision problems in argument systems under preferred semantics
From MaRDI portal
Publication:490457
DOI10.1016/J.ARTINT.2013.11.001zbMATH Open1334.68210OpenAlexW2091587574MaRDI QIDQ490457FDOQ490457
Authors: Samer Nofal, Katie Atkinson, Paul E. Dunne 
Publication date: 27 August 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2013.11.001
Recommendations
algorithmsabstract argumentationcredulous acceptanceobjective acceptancepreferred extensionsskeptical acceptancesubjective acceptancevalue based argumentation
Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)
Cites Work
- AFRA: argumentation framework with recursive attacks
- Argumentation in artificial intelligence
- Computing ideal sceptical argumentation
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Towards a common framework for dialectical proof procedures in abstract argumentation
- The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
- Easy problems for tree-decomposable graphs
- Dynamics of argumentation systems: a division-based method
- Using arguments for making and explaining decisions
- A reasoning model based on the production of acceptable arguments
- 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
- On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
- Title not available (Why is that?)
- Monadic second-order evaluations on tree-decomposable graphs
- Argument based machine learning
- Towards fixed-parameter tractable algorithms for abstract argumentation
- Preferred extensions as stable models
- Algorithms and complexity results for persuasive argumentation
- Title not available (Why is that?)
- Audiences in argumentation frameworks
- Some reflections on two current trends in formal argumentation
- Metalevel argumentation
- Value-based Argumentation Frameworks as Neural-symbolic Learning Systems
- Logics in Artificial Intelligence
- Two party immediate response disputes: Properties and efficiency
Cited In (34)
- On computing the set of acceptable arguments in abstract argumentation
- Indepth combinatorial analysis of admissible sets for abstract argumentation
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
- Title not available (Why is that?)
- On the equivalence between logic programming semantics and argumentation semantics
- How we designed winning algorithms for abstract argumentation and which insight we attained
- Automated Reasoning
- On checking skeptical and ideal admissibility in abstract argumentation frameworks
- Constrained Value-Based Argumentation Framework
- On the computation of Top-\(k\) extensions in abstract argumentation frameworks
- On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
- Reduced meet over labelling-based semantics in abstract argumentation
- Computation in extended argumentation frameworks
- Lattice point of view for argumentation framework
- Pakota: a system for enforcement in abstract argumentation
- An abstract argumentation and logic programming comparison based on 5-valued labellings
- Title not available (Why is that?)
- 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
- Intertranslatability of labeling-based argumentation semantics
- Value-based argumentation framework built from prioritized qualitative choice logic
- Title not available (Why is that?)
- A translation-based approach for revision of argumentation frameworks
- Opposition Frameworks
- Taking account of the actions of others in value-based reasoning
- Automata, Languages and Programming
- The first international competition on computational models of argumentation: results and analysis
- Algorithms and complexity results for persuasive argumentation
- The choice-preferred semantics for relevance-oriented acceptance of admissible sets of arguments
- Encoding argument graphs in logic
- Graded labellings for abstract argumentation
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Methods for solving reasoning problems in abstract argumentation -- a survey
Uses Software
This page was built for publication: Algorithms for decision problems in argument systems under preferred semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q490457)
