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: | Morel, R, Cropper, A |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Springer
2023
|
Similar Items
-
Learning higher-order logic programs
by: Cropper, A, et al.
Published: (2019) -
Learning programs by learning from failures
by: Cropper, A, et al.
Published: (2021) -
Typed meta-interpretive learning of logic programs
by: Ong, C, et al.
Published: (2019) -
Learning efficient logic programs
by: Cropper, A, et al.
Published: (2018) -
Learning logic programs by combining programs
by: Cropper, A, et al.
Published: (2023)