![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
2. 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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.