C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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