Oppositional Logic.

Guoping Du Hongguang Wang Jie Shen

Published in: LORI (2009)

Keyphrases

modal logic
classical logic
logic programming
defeasible logic
formal language
automated reasoning
sound and complete axiomatization
data sets
real world
data mining
machine learning
decision making
predicate logic