Learning logic programs by explaining their failures
<p>Scientists form hypotheses and experimentally test them. If a hypothesis fails (is refuted), scientists try to <em>explain</em> the failure to eliminate other hypotheses. The more precise the failure analysis the more hypotheses can be eliminated. Thus inspired...
Main Authors: | , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Springer
2023
|