Synthesizing Recursive Logic Programs by Inverting General Resolution
A fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data. While semantic search methods that directly explain examples by inductive inference rules may utilize data relations...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2025-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/11027073/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|