C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
AAIP
2005
2007
2009
2011
2005
2011
Keyphrases
Publications
2011
Proceedings of AAIP 2011 - 4th International Workshop on Approaches and Applications of Inductive Programming, Odense, Denmark, July 19, 2011
AAIP
(2011)
Susumu Katayama
An Analytical Inductive Functional Programming System that Avoids Unintended Programs.
AAIP
(2011)
Jorge A. Bedoya-Puerta
,
Jose Hernandez-Orallo
,
Cesar Ferri
,
Maria-Jose Ramírez-Quintana
Applying distances between terms to both flat and hierarchical data.
AAIP
(2011)
Susumu Katayama
MagicHaskeller: System demonstration.
AAIP
(2011)
Emanuel Kitzelmann
Two New Operators for IGOR2 to Increase Synthesis Efficiency.
AAIP
(2011)
Larry Diehl
Verified Stack-Based Genetic Programming via Dependent Types.
AAIP
(2011)
volume 5812, 2010
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
AAIP
5812 (2010)
2009
Susumu Katayama
Recent Improvements of MagicHaskeller.
AAIP
(2009)
Alexey Rodriguez Yakushev
,
Johan Jeuring
Enumerating Well-Typed Terms Generically.
AAIP
(2009)
Pieter W. M. Koopman
,
Rinus Plasmeijer
Synthesis of Functions Using Generic Programming.
AAIP
(2009)
Martin Hofmann
,
Emanuel Kitzelmann
,
Ute Schmid
Porting IgorII from Maude to Haskell.
AAIP
(2009)
Vicent Estruch
,
César Ferri
,
José Hernández-Orallo
,
M. José Ramírez-Quintana
Generalisation Operators for Lists Embedded in a Metric Space.
AAIP
(2009)
Neil Mitchell
Deriving a Relationship from a Single Example.
AAIP
(2009)
Emanuel Kitzelmann
Inductive Programming: A Survey of Program Synthesis Techniques.
AAIP
(2009)
Robert Henderson
Incremental Learning in Inductive Programming.
AAIP
(2009)
Thomas Hieber
,
Martin Hofmann
Automated Method Induction: Functional Goes Object Oriented.
AAIP
(2009)
2007
Lutz Hamel
,
Chi Shen
An Inductive Programming Approach to Algebraic Specification.
AAIP
(2007)
Alon Itai
,
Michael Slavkin
Detecting Data Structures from Traces.
AAIP
(2007)
Proceedings of the Workshop on Approaches and Applications of Inductive Programming, AAIP'07, September 17, 2007, Warsaw, Poland
AAIP
(2007)
Emanuel Kitzelmann
Data-Driven Induction of Recursive Functions from Input/Output-Examples.
AAIP
(2007)
Roland Olsson
Automatic Design of Algorithms through Evolution (ADATE).
AAIP
(2007)
Martin Dostál
A Functional Approach to Evolving Recursive Programs.
AAIP
(2007)
2005
Oleg G. Monakhov
,
Emilia Monakhova
Synthesis of Scientific Algorithms based on Evolutionary Computation and Templates.
AAIP
(2005)
Workshop on Approaches and Applications of Inductive Programming, AAIP 2005, to be held in conjunction with the 22nd International Conference on Machine Learning (ICML 2005), Bonn, Germany, August 7, 2005.
AAIP
(2005)
Emanuel Kitzelmann
,
Ute Schmid
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs.
AAIP
(2005)
Palem GopalaKrishna
Data-dependencies and Learning in Artificial Systems.
AAIP
(2005)
Ramiro Aguilar
,
Luis Alonso
,
Vivian López
,
María N. Moreno
Incremental discovery of sequential patterns for grammatical inference.
AAIP
(2005)
M. R. K. Krishna Rao
Learning Recursive Prolog Programs with Local Variables from Examples.
AAIP
(2005)
Andrea Passerini
,
Paolo Frasconi
,
Luc De Raedt
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting.
AAIP
(2005)
Jürgen Schmidhuber
How to Learn a Program: Optimal Universal Learners & Goedel Machines.
AAIP
(2005)
Stephen H. Muggleton
Learning the Time Complexity of Logic Programs.
AAIP
(2005)
Fritz Wysotzki
Development of Inductive Synthesis of Functional Programs.
AAIP
(2005)