Complexity results and algorithms for extension enforcement in abstract argumentation

DOI10.1613/JAIR.5415MaRDI QIDQ5371007zbMATH OpenOpenAlexFDO

Authors Johannes Wallner, Andreas Niskanen, Matti Järvisalo

Publication date 24 October 2017

Published in Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.5415

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Recommendations

• Complexity-sensitive decision procedures for abstract argumentation
• scientific article; zbMATH DE number 7599964
• Declarative algorithms and complexity results for assumption-based argumentation
• Strong refinements for hard problems in argumentation dynamics
• Synthesizing argumentation frameworks from examples

Cited in

(24)

• Declarative algorithms and complexity results for assumption-based argumentation
• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
• Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients
• Synthesizing argumentation frameworks from examples
• Taking into account ``who said what in abstract argumentation: complexity results
• Acceptance in incomplete argumentation frameworks
• Structural constraints for dynamic operators in abstract argumentation
• Extended McCormick relaxation rules for handling empty arguments representing infeasibility
• A logical encoding for \(k\)-\(m\)-realization of extensions in abstract argumentation
• Topological conditions and solutions for repairing argumentation frameworks
• Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms
• Pakota: a system for enforcement in abstract argumentation
• Complexity of nonemptiness in control argumentation frameworks
• Constrained incomplete argumentation frameworks
• The complexity landscape of claim-augmented argumentation frameworks
• scientific article; zbMATH DE number 5679749 (Why is no real title available?)
• Complexity-sensitive decision procedures for abstract argumentation
• Complexity of Possible and Necessary Existence Problems in Abstract Argumentation
• On dynamics in structured argumentation formalisms
• Synthesizing argumentation frameworks from examples
• Strong refinements for hard problems in argumentation dynamics
• How can you resolve a trilemma? A topological approach
• Verification in incomplete argumentation frameworks
• Methods for solving reasoning problems in abstract argumentation -- a survey

This page was built for publication: Complexity results and algorithms for extension enforcement in abstract argumentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5371007)