Learning Logical Definitions from Relations. Machine Learning, (5)3:239--266,1990. [BibSonomy: inductive_logic_programming inductive_programming ILP empirical_learning relational_data FOIL first_order_rules Induction] URL
Relational learning and boosting. In Saso Dzeroski and Nada Lavrac, editor(s), Relational Data Mining, 292--304,Springer-Verlag New York, Inc.,New York, NY, USA,2001. [BibSonomy: inductive_logic_programming inductive_programming ILP FFOIL FOIL boosting] URL
Inverse Narrowing for the Induction of Functional Logic Programs. In Jos\'e Luis Freire-Nistal and Moreno Falaschi and Manuel Vilares Ferro, editor(s), Joint Conference on Declarative Programming, 379-392,1998. [BibSonomy: inductive_logic_programming inductive_programming ILP 1998 Ramirez inverse_narrowing Hernandez inductive_functional_logic_programming inproceedings]
Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. Journal of Logic Programming, (41)2-3:141-195,1999. [BibSonomy: inductive_logic_programming inductive_programming article Flener survey Yilmaz 1999] URL
Inductive logic program synthesis with Dialogs. In S. Muggleton, editor(s), Proceedings of the 6th International Workshop on Inductive Logic Programming, 28-51,Stockholm University, Royal Institute of Technology,1996. [BibSonomy: inductive_logic_programming 1996 inductive_programming Dialogs Flener inproceedings] URL
Logic Program Transformation through Generalization Schemata. Logic Program Synthesis and Transformation, 171-173,1995. [BibSonomy: Deville 1995 inductive_programming Dialogs Flener logic_programming inproceedings] URL
Inductive Logic Programming: Techniques and Applications. Routledge,New York, NY, 10001,1993. [BibSonomy: inductive_logic_programming inductive_programming ILP 1993 Dzeroski survey Lavrac introduction] URL
Learning First-Order Definitions of Functions.. J. Artif. Intell. Res. (JAIR), (5):139-161,1996. [BibSonomy: inductive_logic_programming 1996 inductive_programming ILP FFOIL Quinlan] URL
FOIL: A Midterm Report.. In Pavel Brazdil, editor(s), ECML, (667):3-20,Springer,1993. [BibSonomy: inductive_logic_programming inductive_programming ILP FOIL 1993 Quinlan] URL
Induction of Logic Programs: FOIL and Related Systems.. New Generation Comput., (13)3&4:287-312,1995. [BibSonomy: inductive_logic_programming 1995 inductive_programming ILP FOIL Cameron-Jones Quinlan] URL
Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems. KI 2007: Advances in Artificial Intelligence, (4667):468--472,Springer-Verlag,2007. [BibSonomy: ilp inductive_programming functional_programming 2007 induction inductive_functional_programming adate inductive inductive_logic_programming programming inductive_inference inductive_learning inductive_program_synthesis atre inproceedings published dialogs automatic_programming] URL
Data-Driven Induction of Recursive Functions from Input/Output-Examples. In Emanuel Kitzelmann and Ute Schmid, editor(s), Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07), 15--26,2007. [BibSonomy: inductive_programming functional_programming programming 2007 inductive_program_synthesis induction constructor_systems inductive_functional_programming igor2 inproceedings automatic_programming]
Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07). In Emanuel Kitzelmann and Ute Schmid, editor(s), 2007. [BibSonomy: inductive_programming programming 2007 machine_learning proceedings inductive_program_synthesis induction automatic_programming]
Inductive functional programming using incremental program transformation and Execution of logic programs by iterative-deepening A* SLD-tree search. 1891994. [BibSonomy: inductive_programming functional_programming inductive_inference ADATE 1994 Olsson]
Inductive functional programming using incremental program transformation. Artificial Intelligence, (74)1:55 -- 83,1995. [BibSonomy: 1995 inductive_programming functional_programming ADATE induction Olsson]
Inductive Program Synthesis: From Theory to Application. In Gabriella K\´okai and Jens Zeidler, editor(s), Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), 135--141,2002. [BibSonomy: inductive_programming 2002 machine_learning induction inductive_functional_programming inductive programming inductive_inference inductive_learning inductive_program_synthesis inproceedings recursive_program_schemes automatic_programming]
Inductive Synthesis of Functional Programs. AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, (2385):337--354,Springer-Verlag,2002. [BibSonomy: functional_programming inductive_programming 2002 induction inductive_functional_programming myown igor1 inductive programming inductive_inference inductive_program_synthesis recursive_program_schemes inproceedings published automatic_programming] URL
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. Electronic Notes in Theoretical Computer Science, (174)1:49--63,2007. [BibSonomy: functional_programming inductive_programming 2007 induction igor2 myown inductive programming article inductive_inference constructor_systems inductive_program_synthesis rule-based_programming published automatic_programming] URL
Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach. 2003. [BibSonomy: functional_programming inductive_programming 2003 induction mastersthesis inductive_functional_programming myown igor1 inductive programming inductive_inference inductive_program_synthesis recursive_program_schemes automatic_programming] URL
Folding of finite program terms to recursive program schemes. Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium, (1):144--149 vol.1,2002. [BibSonomy: functional_programming inductive_programming 2002 induction inductive_functional_programming myown igor1 inductive programming inductive_inference inductive_program_synthesis recursive_program_schemes inproceedings published automatic_programming] URL