Congruence Classes with Logic Variables.

Published in: Log. J. IGPL (2001)

Keyphrases

variable selection
logic programming
logical framework
defeasible logic
truth values
genetic algorithm
artificial intelligence
training data
multi agent systems
high dimensional
multi class
class labels
classical logic
deontic logic
propositional variables