A blue social bookmark and publication sharing system.
bookmarks
(1)
publications
Alan W. Biermann Encyclopedia of Artificial Intelligence, John Wiley & Sons, Inc., New York, NY, USA, Second edition, (
1992)
to program_synthesis ilp inductive_programming deductive_program_synthesis overview formal_methods ase analytical_ip induction ifp enumerative_ip lisp by emanuel and 1 other person on Sep 29, 2008, 12:09 PMA. W. Biermann Journal of Symbolic Compututation1(2):119--142(
1985)
to program_synthesis inductive_programming deductive_program_synthesis ase analytical_ip induction ifp enumerative_ip lisp by emanuel and 1 other person on Sep 29, 2008, 11:49 AMAlan W. Biermann Automatic Program Construction Techniques, chapter 17, Macmillan, (
1984)
to program_synthesis inductive_programming analytical_ip induction ifp enumerative_ip lisp by emanuel on Sep 24, 2008, 2:14 PMMartin Hofmann and Emanuel Kitzelmann and Ute Schmid 31st German Conference on Artificial Intelligence, Springer-Verlag, (
2008)
to appear
.
to ilp inductive_programming analytical_ip machine_learning induction ifp igor2 program_synthesis higher-order_functions overview haskell experiment iflp enumerative_ip inproceedings by emanuel and 1 other person on Jun 15, 2008, 8:58 AMJ. R. Quinlan and R. M. Cameron-Jones New Generation Computing, special issue on Inductive Logic Programming13(3-4):287--312(
1995)
to program_synthesis ilp inductive_programming foil article machine_learning induction enumerative_ip applications by emanuel and 3 other people on May 16, 2008, 6:20 PM- to program_synthesis ilp inductive_programming foil article machine_learning induction enumerative_ip applications by emanuel and 1 other person on May 16, 2008, 6:18 PM
R. M. Cameron-Jones and J. R. Quinlan Proceedings of the 13th International Joint Conference on Artificial Intelligence, page1050--1057. Morgan Kaufmann, (
1993)
to program_synthesis ilp inductive_programming foil machine_learning induction enumerative_ip inproceedings by emanuel and 1 other person on May 16, 2008, 6:14 PMJ. R. Quinlan Machine Learning5(3):239--266(
1990)
original foil paper
.
to program_synthesis ilp inductive_programming foil article machine_learning induction enumerative_ip applications by emanuel and 6 other people on May 16, 2008, 6:07 PMJ. R. Quinlan and R. M. Cameron-Jones Proceedings of the 6th European Conference on Machine Learning, page3--20. London, UK, Springer-Verlag, (
1993)
to program_synthesis ilp inductive_programming foil machine_learning experiment induction enumerative_ip applications inproceedings by emanuel and 4 other people on May 16, 2008, 5:57 PMA.W. Biermann and R.I. Baum and F.E. Petry IEEE Transactions on Computers24(2):122--136(
1975)
to program_synthesis inductive_programming synthesis_from_traces analytical_ip induction enumerative_ip by emanuel and 1 other person on Apr 29, 2008, 3:12 PMDouglas R. Smith Automatic Program Construction Techniques, Macmillan, (
1984)
to program_synthesis inductive_programming analytical_ip induction survey ifp enumerative_ip comparison by emanuel on Apr 22, 2008, 2:05 PMPieter W. M. Koopman and Rinus Plasmeijer Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, 7, page35--54. Intellect, (
2007)
to program_synthesis inductive_programming automated_testing induction ifp enumerative_ip inproceedings by emanuel on Apr 21, 2008, 6:07 PMSusumu Katayama Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, 6, page111--126. Intellect, (
2007)
to program_synthesis MagicHaskeller inductive_programming higher-order_functions recursion_schemes induction ifp enumerative_ip inproceedings by emanuel on Apr 21, 2008, 5:52 PMJohan Jeuring and Alexey Rodriguez and Gideon Smeding WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, page23--32. New York, NY, USA, ACM, (
2006)
to program_synthesis inductive_programming higher-order_functions automated_testing induction ifp enumerative_ip inproceedings generic_programming by emanuel and 1 other person on Apr 21, 2008, 5:30 PMAndreas Hamfelt and Jørgen Fischer Nilsson and Nikolaj Oldager Automated Software Engineering8(2):167--193(
2001)
to program_synthesis ilp inductive_programming combilog article recursion_schemes ase induction combinduce enumerative_ip by emanuel and 1 other person on Apr 20, 2008, 5:55 PMJ. R. Quinlan Journal of Artificial Intelligence Research(
1996)
to program_synthesis ilp inductive_programming foil article machine_learning induction enumerative_ip applications by emanuel and 4 other people on Dec 13, 2007, 3:42 PMJ. R. Quinlan Proceedings of the 12th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, (
1991)
to program_synthesis ilp inductive_programming foil machine_learning induction enumerative_ip applications inproceedings by emanuel and 2 other people on Dec 13, 2007, 2:43 PMJ. R. Olsson Artificial Intelligence74(1):55 -- 83(
1995)
to program_synthesis inductive_programming induction ifp enumerative_ip adate by emanuel and 4 other people on Oct 4, 2007, 5:35 PMJ. R. Olsson research report, 189. University of Oslo, (
1994)
to program_synthesis inductive_programming induction ifp enumerative_ip adate by emanuel and 2 other people on Oct 3, 2007, 7:14 PM
