Search dblp for Publications

export results for "toc:db/conf/aii/aii89.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aii/Barzdins89,
  author       = {Guntis Barzdins},
  editor       = {Klaus P. Jantke},
  title        = {Inductive Synthesis of Encoding for Algebraic Abstract Data Types},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {328--338},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_72},
  doi          = {10.1007/3-540-51734-0\_72},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Barzdins89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/BruynoogheS89,
  author       = {Maurice Bruynooghe and
                  Danny De Schreye},
  editor       = {Klaus P. Jantke},
  title        = {Some Thoughts on the Role of Examples in Program Transformation and
                  its Relevance for Explanation-based Learning},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {60--77},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_52},
  doi          = {10.1007/3-540-51734-0\_52},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/BruynoogheS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Chuzhanova89,
  author       = {Nadia A. Chuzhanova},
  editor       = {Klaus P. Jantke},
  title        = {Inductive Synthesis of Programs for Symbolic Sequences Processing},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {317--327},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_71},
  doi          = {10.1007/3-540-51734-0\_71},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Chuzhanova89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Flach89,
  author       = {Peter A. Flach},
  editor       = {Klaus P. Jantke},
  title        = {Second-order Inductive Learning},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {202--216},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_62},
  doi          = {10.1007/3-540-51734-0\_62},
  timestamp    = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aii/Flach89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/FreivaldsKW89,
  author       = {Rusins Freivalds and
                  Efim B. Kinber and
                  Rolf Wiehagen},
  editor       = {Klaus P. Jantke},
  title        = {Inductive Inference from Good Examples},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_49},
  doi          = {10.1007/3-540-51734-0\_49},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/FreivaldsKW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/FreivaldsV89,
  author       = {Rusins Freivalds and
                  Juris Viksna},
  editor       = {Klaus P. Jantke},
  title        = {Inductive Inference up to Immune Sets},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {138--147},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_56},
  doi          = {10.1007/3-540-51734-0\_56},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/FreivaldsV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/GasarchSSV89,
  author       = {William I. Gasarch and
                  Ramesh K. Sitaraman and
                  Carl H. Smith and
                  Mahendran Velauthapillai},
  editor       = {Klaus P. Jantke},
  title        = {Learning Programs With an Easy to Calculate Set of Errors},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {124--137},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_55},
  doi          = {10.1007/3-540-51734-0\_55},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/GasarchSSV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Goebel89,
  author       = {Randy Goebel},
  editor       = {Klaus P. Jantke},
  title        = {A Sketch of Analogy as Reasoning with Equality Hypotheses},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {243--253},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_65},
  doi          = {10.1007/3-540-51734-0\_65},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Goebel89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Greitane89,
  author       = {Inguna Greitane},
  editor       = {Klaus P. Jantke},
  title        = {Probabilistic Inductive Inference of Indices in Enumerable Classes
                  of Total Recursive Functions},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {277--287},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_68},
  doi          = {10.1007/3-540-51734-0\_68},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Greitane89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Indurkhya89,
  author       = {Bipin Indurkhya},
  editor       = {Klaus P. Jantke},
  title        = {Modes of Analogy},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {217--230},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_63},
  doi          = {10.1007/3-540-51734-0\_63},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Indurkhya89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Kerber89,
  author       = {Manfred Kerber},
  editor       = {Klaus P. Jantke},
  title        = {Some Aspects of Analogy in Mathematical Reasoning},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {231--242},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_64},
  doi          = {10.1007/3-540-51734-0\_64},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Kerber89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/KinberZ89,
  author       = {Efim B. Kinber and
                  Thomas Zeugmann},
  editor       = {Klaus P. Jantke},
  title        = {Refined Query Inference (Extended Abstract)},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {148--160},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_57},
  doi          = {10.1007/3-540-51734-0\_57},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/KinberZ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/KodratoffFP89,
  author       = {Yves Kodratoff and
                  Marta Franov{\'{a}} and
                  Derek Partridge},
  editor       = {Klaus P. Jantke},
  title        = {Why and How Program Synthesis?},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {45--59},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_51},
  doi          = {10.1007/3-540-51734-0\_51},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/KodratoffFP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/KurtzS89,
  author       = {Stuart A. Kurtz and
                  Carl H. Smith},
  editor       = {Klaus P. Jantke},
  title        = {A Refutation of Barzdins' Conjecture},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {171--176},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_59},
  doi          = {10.1007/3-540-51734-0\_59},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/KurtzS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Lange89,
  author       = {Steffen Lange},
  editor       = {Klaus P. Jantke},
  title        = {Towards a Set of Inference Rules for Solving Divergence in Knuth-Bendix
                  Completion},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {304--316},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_70},
  doi          = {10.1007/3-540-51734-0\_70},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Lange89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/MalerP89,
  author       = {Oded Maler and
                  Amir Pnueli},
  editor       = {Klaus P. Jantke},
  title        = {Learning omega-Regular Languages from Queries and Counter-Examples
                  {(A} Preliminary Report)},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {161--170},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_58},
  doi          = {10.1007/3-540-51734-0\_58},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/MalerP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Pitt89,
  author       = {Leonard Pitt},
  editor       = {Klaus P. Jantke},
  title        = {Inductive Inference, DFAs, and Computational Complexity},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {18--44},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_50},
  doi          = {10.1007/3-540-51734-0\_50},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Pitt89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Poetschke89,
  author       = {Dieter Poetschke},
  editor       = {Klaus P. Jantke},
  title        = {Analogical Reasoning for Second Generation Expert Systems},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {264--276},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_67},
  doi          = {10.1007/3-540-51734-0\_67},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Poetschke89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/SablonRB89,
  author       = {Gunther Sablon and
                  Luc De Raedt and
                  Maurice Bruynooghe},
  editor       = {Klaus P. Jantke},
  title        = {Generalizing Multiple Examples in Explanation Based Learning},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {177--183},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_60},
  doi          = {10.1007/3-540-51734-0\_60},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/SablonRB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Salzberg89,
  author       = {Steven Salzberg},
  editor       = {Klaus P. Jantke},
  title        = {Nested Hyper-Rectangles for Exemplar-Based Learning},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {184--201},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_61},
  doi          = {10.1007/3-540-51734-0\_61},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Salzberg89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/ThomasJ89,
  author       = {Muffy Thomas and
                  Klaus P. Jantke},
  editor       = {Klaus P. Jantke},
  title        = {Inductive Inference for Solving Divergence in Knuth-Bendix Completion},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {288--303},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_69},
  doi          = {10.1007/3-540-51734-0\_69},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/ThomasJ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Thornton89,
  author       = {Christopher J. Thornton},
  editor       = {Klaus P. Jantke},
  title        = {Analogical Inference as Generalised Inductive Inference},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {254--263},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_66},
  doi          = {10.1007/3-540-51734-0\_66},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Thornton89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Warmuth89,
  author       = {Manfred K. Warmuth},
  editor       = {Klaus P. Jantke},
  title        = {Towards Representation Independence in {PAC} Learning},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {78--103},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_53},
  doi          = {10.1007/3-540-51734-0\_53},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Warmuth89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Yokomori89,
  author       = {Takashi Yokomori},
  editor       = {Klaus P. Jantke},
  title        = {Learning Context-Free Languages Efficiently - {A} Report on Recent
                  Results in Japan},
  booktitle    = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  pages        = {104--123},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0\_54},
  doi          = {10.1007/3-540-51734-0\_54},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/Yokomori89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aii/1989,
  editor       = {Klaus P. Jantke},
  title        = {Analogical and Inductive Inference, International Workshop {AII} '89,
                  Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {397},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51734-0},
  doi          = {10.1007/3-540-51734-0},
  isbn         = {3-540-51734-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics