Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas

Uwe Egly, Stefan Woltran. Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas. In Paul E. Dunne, Trevor J. M. Bench-Capon, editors, Computational Models of Argument: Proceedings of COMMA 2006, September 11-12, 2006, Liverpool, UK. Volume 144 of Frontiers in Artificial Intelligence and Applications, pages 133-144, IOS Press, 2006. [doi]

Abstract

Abstract is missing.