A blue social bookmark and publication sharing system.
bookmarks
(1)
publications
Martin Hofmann and Emanuel Kitzelmann and Ute Schmid 31st German Conference on Artificial Intelligence, Springer-Verlag, (
2008)
to appear
.
to induction igor2 inductive_programming overview enumerative_ip haskell iflp inproceedings machine_learning higher-order_functions program_synthesis experiment analytical_ip ifp ilp by emanuel 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 inductive_programming enumerative_ip article ilp program_synthesis applications machine_learning foil induction by emanuel and 3 other people on May 16, 2008, 6:20 PM- to ilp foil enumerative_ip induction applications machine_learning article program_synthesis inductive_programming 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 enumerative_ip machine_learning inductive_programming ilp inproceedings induction program_synthesis foil 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 article machine_learning applications inductive_programming induction enumerative_ip ilp program_synthesis foil 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 foil inproceedings program_synthesis applications ilp inductive_programming induction experiment enumerative_ip machine_learning 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 induction analytical_ip synthesis_from_traces inductive_programming program_synthesis 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 ifp analytical_ip survey inductive_programming enumerative_ip induction 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 automated_testing inductive_programming induction inproceedings ifp enumerative_ip program_synthesis 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 recursion_schemes inproceedings enumerative_ip MagicHaskeller ifp program_synthesis induction inductive_programming higher-order_functions 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 induction generic_programming automated_testing inproceedings ifp higher-order_functions enumerative_ip program_synthesis inductive_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 ilp combinduce combilog article program_synthesis induction ase recursion_schemes enumerative_ip inductive_programming by emanuel and 1 other person on Apr 20, 2008, 5:55 PMJ. R. Quinlan Journal of Artificial Intelligence Research(
1996)
to foil enumerative_ip program_synthesis induction applications article ilp machine_learning inductive_programming 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 enumerative_ip inductive_programming machine_learning induction foil inproceedings applications by emanuel and 2 other people on Dec 13, 2007, 2:43 PMJ. R. Olsson Artificial Intelligence74(1):55 -- 83(
1995)
to induction adate inductive_programming ifp enumerative_ip program_synthesis by emanuel and 4 other people on Oct 4, 2007, 5:35 PMJ. R. Olsson research report, 189. University of Oslo, (
1994)
to adate program_synthesis ifp induction inductive_programming enumerative_ip by emanuel and 2 other people on Oct 3, 2007, 7:14 PM
