BibSonomy :: user  :: emanuel ::

bookmarks

publications

(19)   

• Induction of Logic Programs: FOIL and Related Systems
  J. R. Quinlan and R. M. Cameron-Jones New Generation Computing, special issue on Inductive Logic Programming13(3-4):287--312(1995)
  to applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis by emanuel and 3 other people on May 16, 2008, 6:20 PM
  URL | BibTeX 
• Efficient Top-Down Induction of Logic Programs
  R. Mike Cameron-Jones and J. Ross Quinlan SIGART Bulletin5(1):33--42(1994)
  to applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis by emanuel and 1 other person on May 16, 2008, 6:18 PM
  URL | BibTeX 
• Learning Logical Definitions from Relations
  J. R. Quinlan Machine Learning5(3):239--266(1990) original foil paper .
  to applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis by emanuel and 6 other people on May 16, 2008, 6:07 PM
  URL | BibTeX 
• Inductive Logic Programming: Theory and Methods
  Stephen H. Muggleton and Luc De Raedt Journal of Logic Programming(1994)
  to article ilp induction machine_learning survey by emanuel and 7 other people on May 16, 2008, 5:52 PM
  URL | BibTeX 
• Inductive Logic Programming
  Stephen Muggleton New Generation Computing8(4):295--318(1991)
  to article ilp induction machine_learning by emanuel and 4 other people on May 16, 2008, 5:45 PM
  BibTeX 
• Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
  Emanuel Kitzelmann and Ute Schmid Journal of Machine Learning Research(2006)
  to analytical_ip article ebg ifp igor1 induction inductive_programming program_synthesis recursive_program_schemes by emanuel and 3 other people on May 16, 2008, 5:26 PM
  URL | BibTeX 
• Language identification in the limit
  E. Mark Gold Information and Control10(5):447--474(1967)
  to article identification_in_the_limit induction machine_learning seminal_paper by emanuel and 4 other people on Apr 23, 2008, 9:36 AM
  URL | BibTeX 
• A Methodology for LISP Program Construction from Examples
  Phillip D. Summers Journal of the ACM24(1):161--175(1977)
  to analytical_ip article ifp induction inductive_programming program_synthesis seminal_paper thesys by emanuel and 3 other people on Apr 22, 2008, 2:15 PM
  URL | BibTeX 
• Logic Program Synthesis as Problem Reduction Using Combining Forms
  Andreas Hamfelt and Jørgen Fischer Nilsson and Nikolaj Oldager Automated Software Engineering8(2):167--193(2001)
  to article ase combilog combinduce enumerative_ip ilp induction inductive_programming program_synthesis recursion_schemes by emanuel and 1 other person on Apr 20, 2008, 5:55 PM
  URL | BibTeX 
• Specifications are necessarily informal or: some more myths of formal methods
  Baudouin Le Charlier and Pierre Flener Journal of Systems and Software40(3):275--296(1998)
  to article ase comparison formal_methods position_paper program_synthesis software_engineering by emanuel and 2 other people on Apr 18, 2008, 5:43 PM
  URL | BibTeX