Learning logic programs by explaining their failures

<p>Scientists form hypotheses and experimentally test them. If a hypothesis fails (is refuted), scientists try to&nbsp;<em>explain</em>&nbsp;the failure to eliminate other hypotheses. The more precise the failure analysis the more hypotheses can be eliminated. Thus inspired...

Full description

Bibliographic Details
Main Authors: Morel, R, Cropper, A
Format: Journal article
Language:English
Published: Springer 2023