TY  - BOOK
AU  - Raedt,Luc de
TI  - Interactive theory revision: an inductive logic programming approach 
SN  - 0122107306
U1  - 005.1 RAE 
PY  - 1992///
CY  - London
PB  - Academic Press
KW  - Logic programming
KW  - Machine learning
N1  - Includes bibliographical references (p. 219-233) and index
N2  - Reports on an approach to the automation of theory revision. The book develops a framework for interactive concept learning in knowledge-based systems, examining the methodology of an integrative learning system named Clint
UR  - https://www.gbv.de/dms/bowker/toc/9780122107306.pdf
ER  -