Encoding deductive argumentation in quantified Boolean formulae.

Philippe Besnard Anthony Hunter Stefan Woltran

Published in: Artif. Intell. (2009)

Keyphrases

quantified boolean formulae
propositional logic
symmetry breaking
knowledge compilation
prime implicates
object oriented
quantified boolean formulas
belief revision
davis putnam
computational complexity
data model
programming language