Inductive logic programming as satisfiability modulo theories
<p>At the intersection of machine learning, program synthesis and automated reasoning lies the field of Inductive Logic Programming (ILP). The aim of ILP is to automatically learn relational programs from input/output examples, typically through logic-based techniques. Inspired by Karl Popper’...
Hovedforfatter: | |
---|---|
Andre forfattere: | |
Format: | Thesis |
Sprog: | English |
Udgivet: |
2023
|
Fag: |