Reasoning in abstract dialectical frameworks using quantified Boolean formulas.

Martin Diller Johannes Peter Wallner Stefan Woltran

Published in: Argument Comput. (2015)

Keyphrases

quantified boolean formulas
reasoning tasks
argumentation systems
description logics
automated reasoning
decision procedures
logic programming
temporal reasoning
universally quantified
high level
knowledge base
knowledge representation
answer set programming
logic programs