default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. AII 1989: Reinhardsbrunn Castle, GDR
- Klaus P. Jantke
:
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
Invited Lectures
- Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen:
Inductive Inference from Good Examples. 1-17 - Leonard Pitt:
Inductive Inference, DFAs, and Computational Complexity. 18-44 - Yves Kodratoff, Marta Franová, Derek Partridge:
Why and How Program Synthesis? 45-59 - Maurice Bruynooghe, Danny De Schreye:
Some Thoughts on the Role of Examples in Program Transformation and its Relevance for Explanation-based Learning. 60-77 - Manfred K. Warmuth:
Towards Representation Independence in PAC Learning. 78-103 - Takashi Yokomori:
Learning Context-Free Languages Efficiently - A Report on Recent Results in Japan. 104-123
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 - Rusins Freivalds, Juris Viksna:
Inductive Inference up to Immune Sets. 138-147 - Efim B. Kinber, Thomas Zeugmann:
Refined Query Inference (Extended Abstract). 148-160 - Oded Maler, Amir Pnueli:
Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report). 161-170 - Stuart A. Kurtz, Carl H. Smith:
A Refutation of Barzdins' Conjecture. 171-176
Artificial Intelligence Approaches
- Gunther Sablon, Luc De Raedt, Maurice Bruynooghe:
Generalizing Multiple Examples in Explanation Based Learning. 177-183 - Steven Salzberg:
Nested Hyper-Rectangles for Exemplar-Based Learning. 184-201 - Peter A. Flach:
Second-order Inductive Learning. 202-216
Analogical Reasoning
- Bipin Indurkhya:
Modes of Analogy. 217-230 - Manfred Kerber:
Some Aspects of Analogy in Mathematical Reasoning. 231-242 - Randy Goebel:
A Sketch of Analogy as Reasoning with Equality Hypotheses. 243-253 - Christopher J. Thornton:
Analogical Inference as Generalised Inductive Inference. 254-263 - Dieter Poetschke:
Analogical Reasoning for Second Generation Expert Systems. 264-276
Inductive Inference II
- Inguna Greitane:
Probabilistic Inductive Inference of Indices in Enumerable Classes of Total Recursive Functions. 277-287 - Muffy Thomas, Klaus P. Jantke:
Inductive Inference for Solving Divergence in Knuth-Bendix Completion. 288-303 - Steffen Lange:
Towards a Set of Inference Rules for Solving Divergence in Knuth-Bendix Completion. 304-316 - Nadia A. Chuzhanova:
Inductive Synthesis of Programs for Symbolic Sequences Processing. 317-327 - Guntis Barzdins:
Inductive Synthesis of Encoding for Algebraic Abstract Data Types. 328-338
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.
last updated on 2024-11-08 20:40 CET 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:
