Complexity-sensitive decision procedures for abstract argumentation

From MaRDI portal
Publication:490451

DOI10.1016/j.artint.2013.10.001zbMath1334.68206OpenAlexW2011844594MaRDI QIDQ490451

Stefan Woltran, Matti Järvisalo, Wolfgang Dvořák, Johannes Peter Wallner

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.10.001



Related Items

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving, On rejected arguments and implicit conflicts: the hidden power of argumentation semantics, Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem, The first international competition on computational models of argumentation: results and analysis, On the Complexity of Probabilistic Abstract Argumentation Frameworks, Improved answer-set programming encodings for abstract argumentation, Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks, The complexity landscape of claim-augmented argumentation frameworks, Synchronous counting and computational algorithm design, ASP and subset minimality: enumeration, cautious reasoning and MUSes, Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory, New stochastic local search approaches for computing preferred extensions of abstract argumentation, Acceptance in incomplete argumentation frameworks, Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks, What Is a Reasonable Argumentation Semantics?, 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, Pakota: A System for Enforcement in Abstract Argumentation, Methods for solving reasoning problems in abstract argumentation -- a survey


Uses Software


Cites Work