Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2
暂无分享,去创建一个
[1] Ute Schmid,et al. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach , 2006, J. Mach. Learn. Res..
[2] Stefan Edelkamp,et al. KI 2011: Advances in Artificial Intelligence , 2011, Lecture Notes in Computer Science.
[3] J. Hernández-Orallo,et al. IQ tests are not for machines, yet , 2012 .
[4] Ute Schmid,et al. Inductive rule learning on the knowledge level , 2011, Cognitive Systems Research.
[5] Ute Schmid,et al. A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems , 2009 .
[6] Emanuel Kitzelmann,et al. Analytical Inductive Functional Programming , 2009, LOPSTR.
[7] R. Glaser,et al. Cognitive Variables in Series Completion. , 1983 .
[8] Roland Olsson,et al. Inductive Functional Programming Using Incremental Program Transformation , 1995, Artif. Intell..
[9] Mehrdad Amirghasemi,et al. An anthropomorphic method for number sequence problems , 2013, Cognitive Systems Research.
[10] Christian Lebiere,et al. The dynamics of cognition: An ACT-R model of cognitive arithmetic , 1999, Kognitionswissenschaft.
[11] Michael Siebers,et al. Semi-analytic Natural Number Series Induction , 2012, KI.
[12] Luc De Raedt,et al. Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..
[13] Antonio Krüger,et al. KI 2012: Advances in Artificial Intelligence , 2012, Lecture Notes in Computer Science.
[14] R. Mike Cameron-Jones,et al. FOIL: A Midterm Report , 1993, ECML.
[15] Pierre Flener,et al. An introduction to inductive programming , 2008, Artificial Intelligence Review.
[16] John H. Holland,et al. Induction: Processes of Inference, Learning, and Discovery , 1987, IEEE Expert.
[17] Phillip D. Summers,et al. A Methodology for LISP Program Construction from Examples , 1977, J. ACM.
[18] Marco Ragni,et al. Predicting Numbers: An AI Approach to Solving Number Series , 2011, KI.
[19] J. Tenenbaum,et al. Theory-based Bayesian models of inductive learning and reasoning , 2006, Trends in Cognitive Sciences.
[20] R. Glaser,et al. Cognitive Dimensions of Numerical Rule Induction. , 1982 .
[21] Susumu Katayama. Systematic search for lambda expressions , 2005, Trends in Functional Programming.
[22] Manuel V. Hermenegildo,et al. Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models , 2013, LOPSTR.
[23] Jochen Burghardt,et al. E-generalization using grammars , 2005, Artif. Intell..
[24] Tobias Nipkow,et al. Term rewriting and all that , 1998 .
[25] Paolo Traverso,et al. Automated planning - theory and practice , 2004 .
[26] Pavel B. Brazdil,et al. Machine Learning: ECML-93 , 1993, Lecture Notes in Computer Science.