Clausal discovery

DOI10.1023/A:1007361123060zbMath0866.68021MaRDI QIDQ678587

Luc De Raedt, Luc Dehaspe

Publication date: 6 July 1997

Published in: Machine Learning (Search for Journal in Brave)

zbMATH Keywords

\({\mathcal C}\)LAUDIENclausal discovery engine

Mathematics Subject Classification ID

Database theory (68P15) Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Related Items (21)

Logical settings for concept-learning ⋮ Inductive equivalence in clausal logic and nonmonotonic logic programming ⋮ Semi-supervised online structure learning for composite event recognition ⋮ Mathematical applications of inductive logic programming ⋮ Brave induction: a logical framework for learning from incomplete information ⋮ Discriminative Structure Learning of Markov Logic Networks ⋮ Automated conjecture making in number theory using HR, Otter and Maple ⋮ Sequential inference with reliable observations: Learning to construct force-dynamic models ⋮ A Survey of First-Order Probabilistic Models ⋮ Constraint acquisition ⋮ Mining closed patterns in relational, graph and network data ⋮ Inductive Logic Programming in Databases: From <scp>Datalog</scp> to ⋮ Markov logic networks ⋮ Propositionalization-based relational subgroup discovery with RSD ⋮ Basic Principles of Learning Bayesian Logic Programs ⋮ Applying Inductive Logic Programming to Process Mining ⋮ A differentiable first-order rule learner for inductive logic programming ⋮ A statistical approach to learning constraints ⋮ Classifier-based constraint acquisition ⋮ Probabilistic inductive constraint logic ⋮ Unnamed Item

This page was built for publication: Clausal discovery