The following pages link to Inductive logic programming at 30 (Q2127222):
Displayed 5 items.
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Automated generation of control concepts annotation rules using inductive logic programming. System description (Q2163169) (← links)
- A comparative study of three neural-symbolic approaches to inductive logic programming (Q2694550) (← links)
- Machine learning and logic: a new frontier in artificial intelligence (Q6056641) (← links)
- \(\alpha\)ILP: thinking visual scenes as differentiable logic programs (Q6161205) (← links)