2. AII 1989: Reinhardsbrunn Castle, GDR

Klaus P. Jantke (Ed.): Analogical and Inductive Inference, International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings. Lecture Notes in Computer Science 397 Springer 1989, ISBN 3-540-51734-0 BibTeX

@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},
  booktitle = {AII},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {397},
  year      = {1989},
  isbn      = {3-540-51734-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen: Inductive Inference from Good Examples. 1-17 BibTeX
Leonard Pitt: Inductive Inference, DFAs, and Computational Complexity. 18-44 BibTeX
Yves Kodratoff, Marta Franová, Derek Partridge: Why and How Program Synthesis? 45-59 BibTeX
Maurice Bruynooghe, Danny De Schreye: Some Thoughts on the Role of Examples in Program Transformation and its Relevance for Explanation-based Learning. 60-77 BibTeX
Manfred K. Warmuth: Towards Representation Independence in PAC Learning. 78-103 BibTeX
Takashi Yokomori: Learning Context-Free Languages Efficiently - A Report on Recent Results in Japan. 104-123 BibTeX

Inductive Inference I

William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai: Learning Programs With an Easy to Calculate Set of Errors. 124-137 BibTeX
Rusins Freivalds, Juris Viksna: Inductive Inference up to Immune Sets. 138-147 BibTeX
Efim B. Kinber, Thomas Zeugmann: Refined Query Inference (Extended Abstract). 148-160 BibTeX
Oded Maler, Amir Pnueli: Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report). 161-170 BibTeX
Stuart A. Kurtz, Carl H. Smith: A Refutation of Barzdins' Conjecture. 171-176 BibTeX

Artificial Intelligence Approaches

Gunther Sablon, Luc De Raedt, Maurice Bruynooghe: Generalizing Multiple Examples in Explanation Based Learning. 177-183 BibTeX
Steven Salzberg: Nested Hyper-Rectangles for Exemplar-Based Learning. 184-201 BibTeX
Peter A. Flach: Second-order Inductive Learning. 202-216 BibTeX

Analogical Reasoning

Bipin Indurkhya: Modes of Analogy. 217-230 BibTeX
Manfred Kerber: Some Aspects of Analogy in Mathematical Reasoning. 231-242 BibTeX
Randy Goebel: A Sketch of Analogy as Reasoning with Equality Hypotheses. 243-253 BibTeX
Christopher J. Thornton: Analogical Inference as Generalised Inductive Inference. 254-263 BibTeX
Dieter Poetschke: Analogical Reasoning for Second Generation Expert Systems. 264-276 BibTeX

Inductive Inference II

Inguna Greitane: Probabilistic Inductive Inference of Indices in Enumerable Classes of Total Recursive Functions. 277-287 BibTeX
Muffy Thomas, Klaus P. Jantke: Inductive Inference for Solving Divergence in Knuth-Bendix Completion. 288-303 BibTeX
Steffen Lange: Towards a Set of Inference Rules for Solving Divergence in Knuth-Bendix Completion. 304-316 BibTeX
Nadia A. Chuzhanova: Inductive Synthesis of Programs for Symbolic Sequences Processing. 317-327 BibTeX
Guntis Barzdins: Inductive Synthesis of Encoding for Algebraic Abstract Data Types. 328-338 BibTeX