Table of Contents

ALT 94 Logo

Analogical and Inductive Inference

Invited Papers

J. Barzdins
Towards Efficient Inductive Synthesis from Input/Output Examples 1
W. Bibel and M. Thielscher
Deductive Plan Generation 2
N. Dershowitz
From Specifications to Programs: Induction in the Service of Synthesis 6
T. Zeugmann
Average Case Analysis of Pattern Language Learning Algorithms 8

Selected Papers

A. Ambainis and J. Smotrovs
Enumerable Classes of Total Recursive Functions: Complexity of Inductive Inference 10
K. Apsitis
Derived Sets and Inductive Inference 26
O. Arnold and K.P. Jantke
Therapy Plan Generation as Program Synthesis 40
S. Bai
A Calculus for Logical Clustering 56
G. Baliga and J. Case
Learning with Higher Order Additional Information 64
A. Brazma and K. Cerans
Efficient Learning of Regular Expressions from Good Examples 76
R. Freivalds, O. Botuscharov and R. Wiehagen
Identifying Nearly Minimal Gödel Numbers from Additional Information 91
R. Freivalds, D. Gobleja, M. Karpinski and C.H. Smith
Co-Learnability and FIN-Identifiability of Enumerable Classes of Total Recursive Functions 100
C. Globig and S. Lange
On Case-Based Representability and Learnability of Languages 106
K. Hirata
Rule-Generating Abduction for Recursive Prolog 121
T. Iwatani, S. Tano, A. Inoue and W. Okamoto
Fuzzy Analogy Based Reasoning and Classification of Fuzzy Analogies 137
Y. Koga, E. Hirowatari and S. Arikawa
Explanation-Based Reuse of Prolog Programs 149
C.R. Mofizur and M. Numao
Constructive Induction for Recursive Programs 161
H.-C. Tu and C.H. Smith
Training Digraphs 176

Algorithmic Learning Theory

Invited Talks

N. Abe
Towards Realistic Theories of Learning 187
M.M. Richter
A Unified Approach lo Inductive Logic and Case-Based Reasoning 210
C.H. Smith
Three Decades of Team Learning 211

Selected Papers

P. Auer and N. Cesa-Bianchi
On-line Learning with Malicious Noise and the Closure Algorithm 229
S. Ben-David and E. Dichterman
Learnability with Restricted Focus of Attention Guarantees Noise-Tolerance 248
A. Brazma
Efficient Algorithm for Learning Simple Regular Expressions from Noisy Examples 260
Z. Chen
A Note on Learning DNF Formulas Using Equivalence and Incomplete Membership Queries 272
C. Ferretti and G. Mauri
Identifying Regular Languages over Partially-Commutative Monoids 282
W.I. Gasarch, M.G. Pleszkoch and M. Velauthapillai
Classification Using Information 290
A. Ishino and A. Yamamoto
Learning from Examples with Typed Equational Programming 301
H. Ishizaka, H. Arimura and T. Shinohara
Finding Tree Patterns Consistent with Positive and Negative Examples Using Queries 317
S. Jain
Program Synthesis in the Presence of Infinite Number of Inaccuracies 333
S. Jain and A. Sharma
On Monotonic Strategies for Learning r.e. Languages 349
S. Kapur
Language Learning under Various Types of Constraint Combinations 365
S. Kimura, A. Togashi and N. Shiratori
Synthesis Algorithm for Recursive Processes by mu-Calculus 379
E. Kinber
Monotonicity versus Efficiency for Learning Languages from Texts 395
S. Kobayashi and T. Yokomori
Learning Concatenations of Locally Testable Languages from Positive Data 407
S. Lange, J. Nessel and R. Wiehagen
Language Learning from Good Examples 423
S. Lange and P. Watson
Machine Discovery in the Presence of Incomplete or Ambiguous Data 438
S. Lange and T. Zeugmann
Set-Driven and Rearrangement-Independent Learning of Recursive Languages 453
S. Matsumoto and A. Shinohara
Refutably Probably Approximately Correct Learning 469
Y. Mukouchi
Inductive Inference of an Approximate Concept from Positive Data 484
A. Nakamura, N. Abe and J. Takeuchi
Efficient Distribution-Free Population Learning of Simple Concepts 500
Y. Okubo and M. Haraguchi
Constructing Predicate Mappings for Goal-Dependent Abstraction 516
Y. Sakakibara, K.P. Jantke and S. Lange
Learning Languages by Collecting Cases and Tuning Parameters 532
E. Takimoto, I. Tajika and A. Maruoka
Mutual Information Gaining Algorithm and Its Relation to PAC-Learning Algorithm 547
N. Tanida and T. Yokomori
Inductive Inference of Monogenic Pure Context-Free Languages 560
Index of Authors 575


©Copyright Notice:
The document of this page is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provision of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under German Copyright Law.

uparrowback to the ALT'94 Proceedings Page

uparrowuparrow back to the Conference Page


Valid HTML 4.0!