Identifying Non-Redundant Literals in Clauses with Uniqueness Propagation.

Hendrik Blockeel

Published in: ILP (Short Papers) (2016)

Keyphrases

horn clauses
search space
first order logic
propositional formulas
highly redundant
case study
orders of magnitude
background knowledge
boolean formula
data mining
learning algorithm
artificial intelligence
logic programs
eliminate redundant