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’...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter: Morel, R
Andre forfattere: Gibbons, J
Format: Thesis
Sprog:English
Udgivet: 2023
Fag: