Defeasible Logic Programming in Satisfiability Modulo CHR.

Francesco Santini

Published in: AI*IA (2015)

Keyphrases

constraint handling rules
defeasible logic programming
defeasible argumentation
satisfiability problem
logic programming
knowledge representation
np complete
propositional logic
computational complexity
phase transition
data mining
lower bound
dynamic programming
argumentation frameworks