Encoding Argumentation Semantics by Boolean Algebra.

Fuan Pu Guiming Luo Zhou Jiang

Published in: IEICE Trans. Inf. Syst. (2017)

Keyphrases

boolean algebra
argumentation semantics
constraint query languages
cardinality constraints
practical reasoning
theorem prover
nonmonotonic reasoning
set theory
databases
bayesian networks
decision problems
argumentation frameworks