Completing open logic programs by constructive induction

International Journal of Intelligent Systems

Volumn 14, Issue 10, 1999, Pages 995-1019

  Erdem, Esra ^a   Flener, Pierre ^b  

^a University of Texas at Austin   (United States)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; LEARNING SYSTEMS; OPEN SYSTEMS; RECURSIVE FUNCTIONS;

COMBINATION RELATION; INDUCTIVE LOGIC PROGRAMMING; INDUCTIVE PROGRAM SYNTHESIS; PROGRAM COMPLETION METHOD;

LOGIC PROGRAMMING;

EID: 0033208040     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1098-111X(199910)14:10<995::AID-INT4>3.0.CO;2-W     Document Type: Article

References (24)

1. Flener, P.; Yilmaz, S. Inductive synthesis of recursive logic programs: Achievements and prospects. Accepted for publication in J. of Logic Programming.
2. Muggleton, S.; De Raedt, L. J of Logic Programming 1994, 19-20, 629-679.
3. Stahl, I. Predicate Invention in ILP: An Overview, Technical Report 1993/06, Fakultät Informatik, Universität Stuttgart, Germany, 1993.
4. Flener, P.; Lau, K.-K.; Ornaghi, M. In Proc of LOPSTR'97. LNCS1463, N. E. Fuchs, Ed.; Springer-Verlag, 1998, pp. 128-147.
5. Summers, P. D. J of the ACM 1977, 24, 161-175.
6. Kodratoff, Y.; Jouannaud, J.-P. In Automatic Program Construction Techniques, A. W. Biermann, G. Guiho, Y. Kodratoff, Eds.; Macmillan, 1984, pp. 325-374.
7. Le Blanc, G. In Proc. of ECML'94, LNAI 784, F. Bergadano, L. De Raedt, Eds.; Springer-Verlag, 1994, pp 183-197.
8. Flener, P.; Deville, Y. J of Symbolic Computation 1993, 15, 775-805.
9. Flener, P. Logic Program Synthesis from Incomplete Information; Kluwer, 1995.
10. Lapointe, S.; Matwin, S. Proc. of ICML'92; Morgan Kaufmann, 1992, pp 273-281.
11. Lapointe, S.; Ling, C. X.; Matwin, S. In Proc. of ILP'93, S. Muggleton, Ed.; Tech. Rep. IJS-DP-6707, J. Stefan Institute: Ljubljana, Slovenia, 1993, pp 255-264.
12. Aha, D. W.; Lapointe, S.; Ling, C. X.; Matwin, S. In Proc of ECML'94, LNAI 784, F. Bergadano and L. De Raedt, Eds.; Springer-Verlag, 1994, pp 31-48.
13. Hamfelt, A.; Fischer Nilsson, J. In Proc. of ILP'94, GMD-Studien Nr. 237, S. Wrobel, Ed.; Sankt Augustin (Germany), 1994, pp 85-96.
14. Flener, P. In Proc of ILP'96, LNAI 1314, S. Muggleton, Ed.; Springer-Verlag, 1997, pp 175-198.
15. Yilmaz, S. Inductive Synthesis of Recursive Logic Programs, M.Sc. thesis, Technical Report BU-CEIS-9717, Bilkent University: Ankara, Turkey, 1997.
16. Flener, P. Predicate invention in inductive program synthesis, Technical Report (http://www.csd.uu.Se/ ∼ pierref/pub/TRpredhv.ps.z), 1995.
17. Plotkin, G. D. A note on inductive generalization In Machine Intelligence B. Meltzer and D. Michie, Eds.; Edinburgh University Press: Edinburgh, UK, 1970, Vol. 5, pp 153-163.
18. Erdem, E.; Flener, P. A New Heuristic to Use Least Generalizations in ILP, in preparation.
19. Gervet, C. In Proc. of ILPS'94, M. Bruynooghe, Ed.; MIT Press, 1994, pp 339-358.
20. Erdem, E. An MSG Method for Inductive Logic Program Synthesis, Senior Project, Final Report, Bilkent University, Ankara (Turkey), May 1996.
21. Hagiya, M. In Proc. of CADE'90, LNCS 449, M. E. Stickel, Ed.; Springer-Verlag, 1990, pp 588-602.
22. Wirth, R.; O'Rorke, P. In Inductive Logic Programming, S. Muggleton, Ed.; Academic Press, 1992, Vol. APIC-38, pp 299-318.
23. Stahl, I.; Tausend, B. Wirth, R. In Proc. of ECML'93, LNAI 667, P. Brazdil, Ed.; Springer-Verlag, 1993, pp 41-55.
24. Erdem, E.; Flener, P. A New Declarative Bias for ILP: Construction Modes, in preparation.