|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Emanuel Kitzelmann, Ute Schmid (eds.) |
Proceedings of AAIP 2011 - 4th International Workshop on Approaches and Applications of Inductive Programming, Odense, Denmark, July 19, 2011  |
AAIP  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Susumu Katayama |
An Analytical Inductive Functional Programming System that Avoids Unintended Programs. |
AAIP |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jorge A. Bedoya-Puerta, José Hernández-Orallo, Cèsar Ferri, María José Ramírez-Quintana |
Applying distances between terms to both flat and hierarchical data. |
AAIP |
2011 |
DBLP BibTeX RDF |
|
| 1 | Susumu Katayama |
MagicHaskeller: System demonstration. |
AAIP |
2011 |
DBLP BibTeX RDF |
|
| 1 | Emanuel Kitzelmann |
Two New Operators for IGOR2 to Increase Synthesis Efficiency. |
AAIP |
2011 |
DBLP BibTeX RDF |
|
| 1 | Larry Diehl |
Verified Stack-Based Genetic Programming via Dependent Types. |
AAIP |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.) |
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers |
AAIP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Susumu Katayama |
Recent Improvements of MagicHaskeller. |
AAIP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Rodriguez Yakushev, Johan Jeuring |
Enumerating Well-Typed Terms Generically. |
AAIP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter W. M. Koopman, Rinus Plasmeijer |
Synthesis of Functions Using Generic Programming. |
AAIP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid |
Porting IgorII from Maude to Haskell. |
AAIP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Mitchell |
Deriving a Relationship from a Single Example. |
AAIP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuel Kitzelmann |
Inductive Programming: A Survey of Program Synthesis Techniques. |
AAIP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Henderson |
Incremental Learning in Inductive Programming. |
AAIP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hieber, Martin Hofmann 0008 |
Automated Method Induction: Functional Goes Object Oriented. |
AAIP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Hamel, Chi Shen |
An Inductive Programming Approach to Algebraic Specification. |
AAIP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alon Itai, Michael Slavkin |
Detecting Data Structures from Traces. |
AAIP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Emanuel Kitzelmann, Ute Schmid (eds.) |
Proceedings of the Workshop on Approaches and Applications of Inductive Programming, AAIP'07, September 17, 2007, Warsaw, Poland |
AAIP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Emanuel Kitzelmann |
Data-Driven Induction of Recursive Functions from Input/Output-Examples. |
AAIP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roland Olsson 0001 |
Automatic Design of Algorithms through Evolution (ADATE). |
AAIP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Dostál |
A Functional Approach to Evolving Recursive Programs. |
AAIP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Oleg G. Monakhov, Emilia A. Monakhova |
Synthesis of Scientific Algorithms based on Evolutionary Computation and Templates. |
AAIP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Emanuel Kitzelmann, Roland Olsson 0001, Ute Schmid (eds.) |
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 |
DBLP BibTeX RDF |
|
| 1 | Emanuel Kitzelmann, Ute Schmid |
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs. |
AAIP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Palem GopalaKrishna |
Data-dependencies and Learning in Artificial Systems. |
AAIP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ramiro Aguilar, Luis Alonso 0003, Vivian F. López, María N. Moreno |
Incremental discovery of sequential patterns for grammatical inference. |
AAIP |
2005 |
DBLP BibTeX RDF |
|
| 1 | M. R. K. Krishna Rao |
Learning Recursive Prolog Programs with Local Variables from Examples. |
AAIP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andrea Passerini, Paolo Frasconi, Luc De Raedt |
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting. |
AAIP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Schmidhuber |
How to Learn a Program: Optimal Universal Learners & Goedel Machines. |
AAIP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stephen H. Muggleton |
Learning the Time Complexity of Logic Programs. |
AAIP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fritz Wysotzki |
Development of Inductive Synthesis of Functional Programs. |
AAIP |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license