Some problems with two axiomatizations of discussive logic.

Published in: CoRR (2014)

Keyphrases

database
solving problems
genetic algorithm
np complete
benchmark problems
databases
data mining
information systems
decision trees
feature space
optimization problems
application domains
decision problems
problems involving
automated reasoning
multi valued