Inductive logic program synthesis with dialogs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1314, Issue , 1997, Pages 175-198

  Flener, Pierre ^a  

^a BILKENT UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC;

ABDUCTIVE LOGIC PROGRAMS; DIVIDE AND CONQUER; INDUCTIVE LOGIC; LOGIC PROGRAMS; RECURSION THEORY;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 77952006077     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63494-0_55     Document Type: Conference Paper

References (22)

1. Angluin, D.: Queries and concept learning. Machine Learning 2(4):319-342, 1988.
2. Bergadano, F., Gunetti, D.: LearvSng clauses by tracing derivations. In S. Wrobel (ed), Proc. of 1LP'94, pp. 11-29. GMD-Studien Nr. 237, Sankt Augustin, 1994.
3. Biermann, A.W.: Dealing with search. In A.W. Biermann, G. Guiho, and Y. Kodratoff (eds), Automatic Program Construction Techniques, pp. 375-392. Macmillan, 1984.
4. BostrSm, H., Idestam-Almquist, P.: Specialization of logic programs by pruning SLD-trees. In S. Wrobel (ed), Proc. of ILP'94, pp. 31-48. GMD-Studien Nr. 237, Sankt Augustin, 1994.
5. Cohen, W.C.: Compiling prior knowledge into an explicit bias. In Proc. of ICML'92, pages 102-110. Morgan Kaufmann, 1992.
6. De Raedt, L., Bruynooghe, M.: Belief updating from integrity constraints and queries. Artificial Intelligence 53(2-3):291-307, February 1992.
7. De Raedt, L., Bruynooghe, M.: Interactive concept learning and constructive induction by analogy. Machine Learning 8:107-150, 1992.
8. Erdem, E.: An MSG Method for Inductive Logic Program Synthesis. Senior Project Final Report, Bilkent University, Ankara (Turkey), May 1996.
9. Flener, P.: Logic Program Synthesis from Incomplete Information. Kluwer, 1995.
10. Flener, P.: Predicate Invention in Inductive Program Synthesis. TR BU-CEIS-9509, Bilkent University, Ankara (Turkey), 1995. Submitted.
11. Flener, P.: Synthesis of Logic Algorithm Schemata. TR BU-CEIS-96xx, Bilkent University, Ankara (Turkey), 1996. Update of TR BU-CEIS-9502. In preparation.
12. Flener, P., DeviUe, Y.: Logic program synthesis from incomplete specifications. Journal of Symbolic Computation 15(5-6):775-805, May/June 1993.
13. Flener, P., Popelínský, L.: On the use of inductive reasoning in program synthesis. In L. Fribourg and F. Turini (eds), Proc. ofMETA/LOPSTR'94. LNCS 883:69-87, Springer-Verlag, 1994.
14. Flener, P., Devine, Y.: Logic Program Transformation through Generalization Schemata. TR BU-CEIS-96yy, Bilkent University, Ankara (Turkey), 1996. In preparation. Extended abstract in M. Proietti (ed), Proc. of LOPSTR'95. LNCS1048:171-173, Springer-Verlag, 1996.
15. Hamfelt, A., Fischer-Nilsson, J.: Inductive metalogic programming. In S. Wrobel (ed), Proc. of ILP'95, pp. 85-96. GMD-Studien Nr. 237, Sankt Augustin, 1994.
16. Kietz, J.U., Wrobel, S.: Controlling the complexity of learning in logic through syntactic and task-oriented models. In S. Muggleton (ed), Inductive Logic Programming, pp. 335-359. Volume APIC-38, Academic Press, 1992.
17. Lapointe, S., Ling, C., Matwin, S.: Constructive inductive logic programming. In S. Muggleton (ed), Proc. of ILP'93, pp. 255-264. TR IJS-DP-6707, J. Stefan Institute, Ljubljana (Slovenia), 1993.
18. Mnggletou, S., Buntine, W.: Machine invention of first-order predicates by inverting resolution. In Proc. of ICML'88, pages 339-352. Morgan Kaufmann, 1988.
19. Plotldn, G.D.: A note on inductive generalization. In B. Meltzer and D. Michie (eds), Machine Intelligence 5:153-163. Edinburgh University Press, 1970.
20. Stahl, I.: Predicate invention in ILP: An overview. TR 1993/06, Fakultäit Informatik, Universitäit Stuttgart (Germany), 1993.
21. Sterling, L.S., Kirschenbaum, M.: Applying techniques to skeletons. In J.-M. Jacquet (ed), Constructing Logic Programs, pp. 127-140. John Wiley, 1993.
22. Tinkham, N.L.: Induction of Schemata for Program Synthesis. Ph.D. Thesis, Duke University, Durham (NC, USA), 1990.