A Theory of Clausal Discovery
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Machine Learning. 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.
Luc de Raedt, and Maurice Bruynooghe. 1993. A Theory of Clausal Discovery. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 1058–1062. https://ijcai.org/proceedings/1993/146
de Raedt, L., & Bruynooghe, M. (1993). A Theory of Clausal Discovery. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 (pp. 1058–1062). IJCAI. https://ijcai.org/proceedings/1993/146
@inproceedings{ijcai1993p146,
title = {A Theory of Clausal Discovery},
author = {de Raedt, Luc and Bruynooghe, Maurice},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {1058--1062},
year = {1993},
note = {Machine Learning},
url = {https://ijcai.org/proceedings/1993/146},
}
TY - CPAPER TI - A Theory of Clausal Discovery AU - de Raedt, Luc AU - Bruynooghe, Maurice T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 1058 EP - 1062 UR - https://ijcai.org/proceedings/1993/146 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
