Clausal Discovery.

Luc De Raedt Luc Dehaspe

Published in: Mach. Learn. (1997)

Keyphrases

constraint propagation
defeasible logic
knowledge discovery
inductive logic programming
relational databases
theorem proving
horn clauses
decision procedures
scientific discovery
data mining
knowledge base
video sequences
first order logic
temporal resolution