Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10 - 15, 1994. Proceedings
Springer Science & Business Media, Sep 28, 1994 - Computers - 573 pages
This volume presents the proceedings of the Fourth International Workshop on Analogical and Inductive Inference (AII '94) and the Fifth International Workshop on Algorithmic Learning Theory (ALT '94), held jointly at Reinhardsbrunn Castle, Germany in October 1994. (In future the AII and ALT workshops will be amalgamated and held under the single title of Algorithmic Learning Theory.)
The book contains revised versions of 45 papers on all current aspects of computational learning theory; in particular, algorithmic learning, machine learning, analogical inference, inductive logic, case-based reasoning, and formal language learning are addressed.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
Abstract Algorithmic Learning Theory Angluin Artificial Intelligence assume clause Computational Learning Theory Computer Science concept class consider consistent constraints construct contains converges counterexamples defined Definition denote efficient exists finite set formula fuzzy analogy given goal Godel numbering grammar graph Hence hypothesis space identify indexed family inductive inference inferable from positive infinite information sequence initial segment input integer language learning learnable learning algorithm learning model least Lemma limit from positive logic programming Machine Learning Mi-gaining algorithm mind changes minimal concept minimally inferable mono-PCF monotonic natural numbers obtained oracle output PAC learnability pattern languages polynomial population learner positive data predicate mapping probability problem procedure Proof prove queries recursive languages refutably regular expression regular languages respect sample satisfies similarity measure strategy string subset synthesis target concept term Theorem total recursive functions tree pattern variable Zeugmann