A framework for incremental learning of logic programs

DOI10.1016/S0304-3975(97)00021-2zbMath0911.68026MaRDI QIDQ1390950

M. R. K. Krishna Rao

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

incremental learning

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

A framework for incremental learning of logic programs

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