A framework for incremental learning of logic programs
From MaRDI portal
Publication:1390950
DOI10.1016/S0304-3975(97)00021-2zbMath0911.68026MaRDI QIDQ1390950
Publication date: 22 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Cites Work
- Narrowing vs. SLD-resolution
- Termination proofs for logic programs
- A framework for incremental learning of logic programs
- Probably Approximate Learning of Sets and Functions
- Learnability and the Vapnik-Chervonenkis dimension
- A theory of the learnable
- Transformational methodology for proving termination of logic programs
- The integration of functions into logic programming: From theory to practice
- Inductive Logic Programming: Theory and methods
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item