Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
COLT '88 Proceedings of the first annual workshop on Computational learning theory
Learnability of description logics
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
PAC-learnability of determinate logic programs
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Algorithmic Program DeBugging
Machine Learning
Machine Learning
Incremental Learning of Logic Programs
ALT '95 Proceedings of the 6th International Conference on Algorithmic Learning Theory
Learning Acyclic First-Order Horn Sentences from Entailment
ALT '97 Proceedings of the 8th International Conference on Algorithmic Learning Theory
Learning First-Order Acyclic Horn Programs from Entailment
ILP '98 Proceedings of the 8th International Workshop on Inductive Logic Programming
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
The Journal of Machine Learning Research
Learning hereditary and reductive prolog programs from entailment
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
Learnability of simply-moded logic programs from entailment
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
| Hi-index | 0.00 |
In this paper, we study exact learning of logic programs from entailment and present a polynomial time algorithm to learn a rich class of logic programs that allow local variables and include many standard programs like append, merge, split, delete, member, prefix, suffix, length, reverse, append/4 on lists, tree traversal programs on binary trees and addition, multiplication and exponentiation on natural numbers. Grafting a few aspects of incremental learning (Krishna Rao, Proc. Algorithmic Learning Theory, ALT'95, Lecture Notes in Artificial Intelligence, vol. 997, pp. 95--109. Revised version in Theoret. Comput. Sci. special issue on ALT'95 185 (1995) 193--213) onto the framework of learning from entailment (Arimura, Proc. Algorithmic Learning Theory, ALT'97, Lecture Notes in Artificial Intelligence, vol. 1316, 1997, pp. 432--445), we generalize the existing results to allow local variables, which play an important role of sideways information passing in the paradigm of logic programming. 2001 Elsevier Science B.V. All rights reserved