Interactive theory revision: an inductive logic programming approach
Luc De Raedt · Academic Press eBooks · 1992
Introduction theory revision and logic interactive predicate-learning indirect relevance and bias integrity constraints abduction negation multi-valued logic applications, related work and conclusions.