BibSonomy :: user  :: mh ::

bookmarks

publications

(18)   

• Inductive Logic Programming: Derivations, Successes and Shortcomings
  Stephen Muggleton SIGART Bulletin5(1):5--11(1994)
  to inductive_inference inductive_learning ilp article 1994 machine_learning induction by mh and 3 other people on Apr 23, 2008, 4:38 PM
  URL | BibTeX 
• Inductive Inference: Theory and Methods
  Dana Angluin and Carl H. Smith ACM Comput. Surv.15(3):237--269(1983)
  to article 1980 overview Angluin inductive_inference identification_in_the_limit survey Smith by mh and 5 other people on Nov 22, 2007, 11:17 AM
  URL | BibTeX 
• Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems
  Martin Hofmann and Andreas Hirschberger and Emanuel Kitzelmannn and Ute Schmid KI 2007: Advances in Artificial Intelligence, volume4667ofLNCS, page468--472. Springer-Verlag, (2007)
  to inductive_program_synthesis functional_programming atre programming inductive_logic_programming automatic_programming dialogs inductive_inference ilp 2007 inductive_programming published inproceedings inductive_learning induction inductive_functional_programming adate inductive by mh on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Applications of Inductive Logic Programming
  Ivan Bratko and Stephen H. Muggleton Communications of the ACM38(11):65--70(1995)
  to inductive_inference induction article 1995 applications ilp survey by mh and 2 other people on Oct 17, 2007, 3:28 PM
  BibTeX 
• Inductive functional programming using incremental program transformation and Execution of logic programs by iterative-deepening A* SLD-tree search
  J. R. Olsson research report, 189. University of Oslo, (1994)
  to 1994 ADATE Olsson inductive_programming functional_programming inductive_inference by mh and 2 other people on Oct 17, 2007, 3:28 PM
  BibTeX 
• Inductive Program Synthesis: From Theory to Application
  Ute Schmid and Emanuel Kitzelmann and Fritz Wysotzki Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), page135--141. (2002)
  to induction inductive_program_synthesis inductive_learning inductive_inference machine_learning programming inproceedings inductive 2002 automatic_programming inductive_functional_programming inductive_programming recursive_program_schemes by mh and 1 other person on Oct 17, 2007, 3:28 PM
  BibTeX 
• Inductive Logic Programming: Theory and Methods
  Stephen H. Muggleton and Luc De Raedt Journal of Logic ProgrammingMay1994.
  to survey inductive_inference 1994 machine_learning induction ilp article inductive_learning by mh and 7 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inductive Logic Programming: Derivations, Successes and Shortcomings
  Stephen H. Muggleton SIGART Bulletin5(1):5--11(1994)
  to machine_learning inductive_inference 1994 induction ilp article inductive_learning by mh and 3 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inductive Logic Programming
  Stephen Muggleton New Generation Computing8(4):295--318(1991)
  to article induction ilp 1991 inductive_inference by mh and 4 other people on Oct 17, 2007, 3:28 PM
  BibTeX 
• Inductive Synthesis of Functional Programs
  Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume2385ofLNCS, page337--354. Springer-Verlag, (2002)
  to inproceedings programming inductive inductive_program_synthesis recursive_program_schemes 2002 automatic_programming functional_programming inductive_inference igor1 induction inductive_functional_programming inductive_programming myown published by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
  Emanuel Kitzelmann and Ute Schmid Electronic Notes in Theoretical Computer Science174(1):49--63#apr#2007.
  to functional_programming 2007 inductive inductive_inference published inductive_program_synthesis myown rule-based_programming article constructor_systems igor2 automatic_programming induction programming inductive_programming by mh and 2 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
  Emanuel Kitzelmann (2003)
  to 2003 inductive_programming myown induction programming inductive_program_synthesis igor1 automatic_programming inductive recursive_program_schemes inductive_inference functional_programming inductive_functional_programming mastersthesis by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Folding of finite program terms to recursive program schemes
  Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium, 1, page144--149 vol.1. (2002)
  to igor1 induction automatic_programming recursive_program_schemes inductive functional_programming inductive_programming inductive_functional_programming myown programming inductive_program_synthesis 2002 published inductive_inference inproceedings by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Grundlegende Ansätze zur Induktiven Synthese Funktionaler Programme (Summers und Biermann)
  Emanuel Kitzelmann (2001)
  to inductive_functional_programming inductive_programming inductive_inference 2001 functional_programming programming induction inductive term_paper myown inductive_program_synthesis automatic_programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inductive Logic Programming: From Machine Learning to Software Engineering
  Francesco Bergadano and Daniele Gunetti MIT Press, Cambridge, MA, USA, (1995)
  to inductive_inference 1995 book ilp induction inductive_logic_programming inductive software_engineering inductive_program_synthesis machine_learning automatic_programming inductive_programming filp inductive_learning programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Induction of Functional Programs based on Relations between I/O Examples
  Emanuel Kitzelmann and Ute Schmid (2006) poster abstract .
  to programming automatic_programming inductive_program_synthesis inductive_inference 2006 inductive_programming constructor_systems inductive_functional_programming extended_abstract inductive myown igor2 induction functional_programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  BibTeX 
• Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
  Emanuel Kitzelmann and Ute Schmid Journal of Machine Learning Research(2006)
  to 2006 automatic_programming explanation-based_generalization inductive_program_synthesis inductive inductive_programming inductive_learning igor1 inductive_inference inductive_functional_programming published myown article programming functional_programming recursive_program_schemes induction by mh and 3 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs
  Emanuel Kitzelmann and Ute Schmid Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming, page15--27. (2005)
  to recursive_program_schemes inductive_functional_programming myown automatic_programming igor1 inductive_learning 2005 inproceedings inductive_program_synthesis inductive_inference programming induction functional_programming machine_learning inductive ebg inductive_programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX