---
title: "A Theory of Clausal Discovery"
authors:
  - "Luc De Raedt"
  - "Maurice Bruynooghe"
doi: ""
url: "https://ijcai.org/proceedings/1993/146"
pdf: "https://ijcai.org/proceedings/1993/0146.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "1058-1062"
track: "Machine Learning"
keywords:
---

# A Theory of Clausal Discovery

Luc De Raedt, Maurice Bruynooghe

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 1058-1062.

## Abstract

A framework and algorithm for inducing full clausal theories from databases is presented. The algorithm is implemented in the system CLAUDIEN. The system combines clausal refinement operators, depth-first iterative deepening and language bias, to find clausal theories that satisfy a given database and that are expressible in the language. The clausal discovery algorithm computes a minimally complete theory expressible in the language. Such theories are most informative and logically nonredundant.