Substitutions into propositional tautologies.

Published in: Inf. Process. Lett. (2007)

Keyphrases

propositional logic
first order logic
database
default logic
multi valued
knowledge compilation
statistical relational learning
genetic algorithm
learning algorithm
multiscale
sequence alignment
horn clauses
modus ponens