Machine Learning

, Volume 26, Issue 2, pp 99–146

Clausal Discovery

  • Luc De Raedt
  • Luc Dehaspe

DOI: 10.1023/A:1007361123060

Cite this article as:
De Raedt, L. & Dehaspe, L. Machine Learning (1997) 26: 99. doi:10.1023/A:1007361123060


The clausal discovery engine claudien is presented. CLAUDIEN is an inductive logic programming engine that fits in the descriptive data mining paradigm. CLAUDIEN addresses characteristic induction from interpretations, a task which is related to existing formalisations of induction in logic. In characteristic induction from interpretations, the regularities are represented by clausal theories, and the data using Herbrand interpretations. Because CLAUDIEN uses clausal logic to represent hypotheses, the regularities induced typically involve multiple relations or predicates. CLAUDIEN also employs a novel declarative bias mechanism to define the set of clauses that may appear in a hypothesis.

Inductive Logic ProgrammingKnowledge Discovery in DatabasesData MiningLearningInductionSemantics for InductionLogic of InductionParallel Learning
Download to read the full article text

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Luc De Raedt
    • 1
  • Luc Dehaspe
    • 1
  1. 1.Department of Computer ScienceKatholieke Universiteit LeuvenHeverleeBelgium