Interactive theory revision : an inductive logic programming approach /
Luc de Raedt.
- London : Academic Press, c1992.
- xx, 236 p. : ill. ; 24 cm.
Includes bibliographical references (p. 219-233) and index.
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.