Inverse Resolution in an Integrated Inductive-Deductive Learning System

Hilde Adé, Luc De Raedt, Maurice Bruynooghe