BibSonomy :: user  :: mh ::

bookmarks

publications

(15)   

• A Strong Complete Schema for Inductive Functional Logic Programming.
  Jos'e Hern'andez-Orallo and M. Jos'e Ram'irez-Quintana Proc. of 9th International Workshop on Inductive Logic Programming, volume1634ofLecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, (1999)
  to inproceedings Ramirez Hernandez 1999 inductive_functional_logic_programming by mh on Apr 23, 2008, 4:38 PM
  BibTeX 
• A Strong Complete Schema for Inductive Functional Logic Programming.
  J. Hern'andez and M.J. Ram'irez Proc. of 9th International Workshop on Inductive Logic Programming, volume1634ofLecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, (1999)
  to 1999 Ramirez Hernandez inproceedings inductive_functional_logic_programming by mh on Nov 26, 2007, 1:03 PM
  BibTeX 
• Inverse Narrowing for the Induction of Functional Logic Programs
  Jos'e Hern'andez-Orallo and M. Jos'e Ram'irez-Quintana Joint Conference on Declarative Programming, page379-392. (1998)
  to inproceedings Ramirez ILP inverse_narrowing inductive_functional_logic_programming inductive_programming inductive_logic_programming Hernandez 1998 by mh on Nov 26, 2007, 12:56 PM
  BibTeX 
• Finding patterns common to a set of strings (Extended Abstract)
  Dana Angluin STOC '79: Proceedings of the eleventh annual ACM symposium on Theory of computing, page130--141. New York, NY, USA, ACM, (1979)
  to inproceedings 1979 Angluin pattern_languages by mh and 1 other person on Nov 22, 2007, 11:34 AM
  URL | BibTeX 
• Learning from Positive Data
  Stephen Muggleton ILP '96: Selected Papers from the 6th International Workshop on Inductive Logic Programming, page358--376. London, UK, Springer-Verlag, (1997)
  to inductive_logic_programming Progol Muggleton ILP 1996 inverse_entailment inproceedings by mh on Nov 20, 2007, 9:09 AM
  URL | BibTeX 
• Efficient induction of logic programs
  S. Muggleton and C. Feng Proceedings of the 1st Conference on Algorithmic Learning Theory, page368-381. Ohmsma, Tokyo, Japan, (1990)
  to ILP inductive_logic_programming 1990 Golem relative_least_general_generalisation inproceedings Muggleton rlgg by mh and 5 other people on Nov 15, 2007, 8:54 AM
  URL | BibTeX 
• Inductive logic program synthesis with Dialogs
  P. Flener Proceedings of the 6th International Workshop on Inductive Logic Programming, page28-51. Stockholm University, Royal Institute of Technology, (1996)
  to inductive_programming inductive_logic_programming 1996 Flener inproceedings Dialogs by mh and 2 other people on Oct 31, 2007, 11:58 AM
  URL | BibTeX 
• Logic Program Transformation through Generalization Schemata
  Pierre Flener and Yves Deville Logic Program Synthesis and Transformation, page171-173. (1995)
  to Flener inductive_programming Deville inproceedings Dialogs 1995 logic_programming by mh and 1 other person on Oct 31, 2007, 11:57 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 ilp programming inductive_programming automatic_programming inductive_learning published inductive_functional_programming 2007 atre inductive inductive_logic_programming inproceedings adate induction dialogs functional_programming inductive_inference by mh on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Data-Driven Induction of Recursive Functions from Input/Output-Examples
  Emanuel Kitzelmann Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07), page15--26. (2007)
  to inductive_functional_programming automatic_programming inproceedings igor2 induction programming inductive_program_synthesis functional_programming constructor_systems inductive_programming 2007 by mh and 1 other person 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 inductive_programming automatic_programming induction inductive_learning recursive_program_schemes inductive_program_synthesis inductive machine_learning 2002 inductive_inference programming inductive_functional_programming inproceedings by mh and 1 other person 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 inductive_programming myown inductive_functional_programming inductive_program_synthesis inproceedings published induction inductive recursive_program_schemes inductive_inference igor1 programming functional_programming 2002 automatic_programming 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 2002 inproceedings recursive_program_schemes induction inductive_inference programming published inductive_functional_programming automatic_programming igor1 inductive_programming inductive inductive_program_synthesis functional_programming myown by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons
  Holger Bischof and Sergei Gorlatch and Emanuel Kitzelmann Parallel Computing Technologies, volume2763ofLNCS, page415--428. Springer-Verlag, (2003)
  to inproceedings 2003 parallel myown tridiagonal_system_solver skeletons published parallel_programming by mh and 2 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 igor1 programming functional_programming myown 2005 inproceedings ebg recursive_program_schemes inductive inductive_functional_programming inductive_inference induction inductive_program_synthesis inductive_programming automatic_programming machine_learning inductive_learning by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX