Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/aaip:"
download as .bib file
@inproceedings{DBLP:conf/aaip/Bedoya-PuertaHF11,
author = {Jorge A. Bedoya{-}Puerta and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
C{\`{e}}sar Ferri and
Mar{\'{\i}}a Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Applying distances between terms to both flat and hierarchical data},
booktitle = {Proceedings of {AAIP} 2011 - 4th International Workshop on Approaches
and Applications of Inductive Programming, Odense, Denmark, July 19,
2011},
pages = {1--16},
year = {2011},
url = {https://cogsys.uni-bamberg.de/events/aaip11/accepted/bedoya.pdf},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Bedoya-PuertaHF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Diehl11,
author = {Larry Diehl},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Verified Stack-Based Genetic Programming via Dependent Types},
booktitle = {Proceedings of {AAIP} 2011 - 4th International Workshop on Approaches
and Applications of Inductive Programming, Odense, Denmark, July 19,
2011},
pages = {17--32},
year = {2011},
url = {https://cogsys.uni-bamberg.de/events/aaip11/accepted/diehl.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Diehl11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Katayama11,
author = {Susumu Katayama},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {An Analytical Inductive Functional Programming System that Avoids
Unintended Programs},
booktitle = {Proceedings of {AAIP} 2011 - 4th International Workshop on Approaches
and Applications of Inductive Programming, Odense, Denmark, July 19,
2011},
pages = {49--61},
year = {2011},
url = {https://cogsys.uni-bamberg.de/events/aaip11/accepted/katayama.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Katayama11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Katayama11a,
author = {Susumu Katayama},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {MagicHaskeller: System demonstration},
booktitle = {Proceedings of {AAIP} 2011 - 4th International Workshop on Approaches
and Applications of Inductive Programming, Odense, Denmark, July 19,
2011},
pages = {63--70},
year = {2011},
url = {https://cogsys.uni-bamberg.de/events/aaip11/accepted/katayama\_short.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Katayama11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Kitzelmann11,
author = {Emanuel Kitzelmann},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Two New Operators for {IGOR2} to Increase Synthesis Efficiency},
booktitle = {Proceedings of {AAIP} 2011 - 4th International Workshop on Approaches
and Applications of Inductive Programming, Odense, Denmark, July 19,
2011},
pages = {33--48},
year = {2011},
url = {https://cogsys.uni-bamberg.de/events/aaip11/accepted/kitzelmann.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Kitzelmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaip/2011,
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Proceedings of {AAIP} 2011 - 4th International Workshop on Approaches
and Applications of Inductive Programming, Odense, Denmark, July 19,
2011},
year = {2011},
url = {https://cogsys.uni-bamberg.de/events/aaip11/AAIP2011.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaip/2009,
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11931-6},
doi = {10.1007/978-3-642-11931-6},
isbn = {978-3-642-11930-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/EstruchFHR09,
author = {Vicent Estruch and
C{\'{e}}sar Ferri and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Generalisation Operators for Lists Embedded in a Metric Space},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {117--139},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_6},
doi = {10.1007/978-3-642-11931-6\_6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/EstruchFHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Henderson09,
author = {Robert Henderson},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Incremental Learning in Inductive Programming},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {74--92},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_4},
doi = {10.1007/978-3-642-11931-6\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/Henderson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/HieberH09,
author = {Thomas Hieber and
Martin Hofmann},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Automated Method Induction: Functional Goes Object Oriented},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {159--173},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_8},
doi = {10.1007/978-3-642-11931-6\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/HieberH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/HofmannKS09,
author = {Martin Hofmann and
Emanuel Kitzelmann and
Ute Schmid},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Porting IgorII from Maude to Haskell},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {140--158},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_7},
doi = {10.1007/978-3-642-11931-6\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/HofmannKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Katayama09,
author = {Susumu Katayama},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Recent Improvements of MagicHaskeller},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {174--193},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_9},
doi = {10.1007/978-3-642-11931-6\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/Katayama09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Kitzelmann09,
author = {Emanuel Kitzelmann},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Inductive Programming: {A} Survey of Program Synthesis Techniques},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {50--73},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_3},
doi = {10.1007/978-3-642-11931-6\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/Kitzelmann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/KoopmanP09,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Synthesis of Functions Using Generic Programming},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {25--49},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_2},
doi = {10.1007/978-3-642-11931-6\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/KoopmanP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Mitchell09,
author = {Neil Mitchell},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Deriving a Relationship from a Single Example},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {1--24},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_1},
doi = {10.1007/978-3-642-11931-6\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/Mitchell09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/YakushevJ09,
author = {Alexey Rodriguez Yakushev and
Johan Jeuring},
editor = {Ute Schmid and
Emanuel Kitzelmann and
Rinus Plasmeijer},
title = {Enumerating Well-Typed Terms Generically},
booktitle = {Approaches and Applications of Inductive Programming, Third International
Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5812},
pages = {93--116},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11931-6\_5},
doi = {10.1007/978-3-642-11931-6\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/YakushevJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Dostal07,
author = {Martin Dost{\'{a}}l},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {A Functional Approach to Evolving Recursive Programs},
booktitle = {Proceedings of the Workshop on Approaches and Applications of Inductive
Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
pages = {27--38},
year = {2007},
url = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=35},
timestamp = {Wed, 09 Nov 2022 17:23:36 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Dostal07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/HamelS07,
author = {Lutz Hamel and
Chi Shen},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {An Inductive Programming Approach to Algebraic Specification},
booktitle = {Proceedings of the Workshop on Approaches and Applications of Inductive
Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
pages = {3--14},
year = {2007},
url = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=11},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/HamelS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/ItaiS07,
author = {Alon Itai and
Michael Slavkin},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Detecting Data Structures from Traces},
booktitle = {Proceedings of the Workshop on Approaches and Applications of Inductive
Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
pages = {39--50},
year = {2007},
url = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=47},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/ItaiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Kitzelmann07,
author = {Emanuel Kitzelmann},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Data-Driven Induction of Recursive Functions from Input/Output-Examples},
booktitle = {Proceedings of the Workshop on Approaches and Applications of Inductive
Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
pages = {15--26},
year = {2007},
url = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=23},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Kitzelmann07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Olsson07,
author = {Roland Olsson},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Automatic Design of Algorithms through Evolution {(ADATE)}},
booktitle = {Proceedings of the Workshop on Approaches and Applications of Inductive
Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
pages = {1},
year = {2007},
url = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=9},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/Olsson07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaip/2007,
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Proceedings of the Workshop on Approaches and Applications of Inductive
Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
year = {2007},
url = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/AguilarALM05,
author = {Ramiro Aguilar and
Luis Alonso and
Vivian L{\'{o}}pez and
Mar{\'{\i}}a N. Moreno},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {Incremental discovery of sequential patterns for grammatical inference},
booktitle = {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},
pages = {59--67},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/artirami.pdf},
timestamp = {Thu, 04 May 2023 22:06:05 +0200},
biburl = {https://dblp.org/rec/conf/aaip/AguilarALM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/GopalaKrishna05,
author = {Palem GopalaKrishna},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {Data-dependencies and Learning in Artificial Systems},
booktitle = {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},
pages = {69--78},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/DataDependenciesInLearning.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/GopalaKrishna05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/KitzelmannS05,
author = {Emanuel Kitzelmann and
Ute Schmid},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {An Explanation Based Generalization Approach to Inductive Synthesis
of Functional Programs},
booktitle = {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},
pages = {15--26},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/aaip05\_ifps.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/KitzelmannS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/MonakhovM05,
author = {Oleg G. Monakhov and
Emilia A. Monakhova},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {Synthesis of Scientific Algorithms based on Evolutionary Computation
and Templates},
booktitle = {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},
pages = {29--35},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/mon-ip32.pdf},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/MonakhovM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Muggleton05,
author = {Stephen H. Muggleton},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {Learning the Time Complexity of Logic Programs},
booktitle = {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},
pages = {9},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/abs\_muggleton.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Muggleton05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/PasseriniFR05,
author = {Andrea Passerini and
Paolo Frasconi and
Luc De Raedt},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {Kernels on Prolog Proof Trees: Statistical Learning in the {ILP} Setting},
booktitle = {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},
pages = {37--48},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/paper.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/PasseriniFR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Rao05,
author = {M. R. K. Krishna Rao},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {Learning Recursive Prolog Programs with Local Variables from Examples},
booktitle = {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},
pages = {51--57},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/aaip\_krishna.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Rao05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Schmidhuber05,
author = {J{\"{u}}rgen Schmidhuber},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {How to Learn a Program: Optimal Universal Learners {\&} Goedel
Machines},
booktitle = {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},
pages = {11},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/abs\_schmidhuber.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Schmidhuber05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Wysotzki05,
author = {Fritz Wysotzki},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {Development of Inductive Synthesis of Functional Programs},
booktitle = {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},
pages = {13},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/abs\_wysotzki.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Wysotzki05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaip/2005,
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {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},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/proceedings.pdf},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-23 17:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
