Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Setsuo Arikawa
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus P. Jantke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 872)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: AII 1994, ALT 1994.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Front Matter

    Download chapter PDF

  2. Towards efficient inductive synthesis from input/output examples

    • Jānis Barzdinš
    Pages 1-1

  3. Deductive plan generation

    • Wolfgang Bibel, Michael Thielscher
    Pages 2-5

  4. From specifications to programs: Induction in the service of synthesis

    • Nachum Dershowitz
    Pages 6-7

  5. Average case analysis of pattern language learning algorithms

    • Thomas Zeugmann
    Pages 8-9

  6. Enumerable classes of total recursive functions: Complexity of inductive inference

    • Andris Ambainis, Juris Smotrovs
    Pages 10-25

  7. Derived sets and inductive inference

    • Kalvis Apsītis
    Pages 26-39

  8. Therapy plan generation as program synthesis

    • Oksana Arnold, Klaus P. Jantke
    Pages 40-55

  9. A calculus for logical clustering

    • Shuo Bai
    Pages 56-63

  10. Learning with higher order additional information

    • Ganesh Baliga, John Case
    Pages 64-75

  11. Efficient learning of regular expressions from good examples

    • Alvis Brāzma, Kārlis Čerāns
    Pages 76-90

  12. Identifying nearly minimal Gödel numbers from additional information

    • Rūsiņš Freivalds, Ognian Botuscharov, Rolf Wiehagen
    Pages 91-99

  13. Co-learnability and FIN-identifiability of enumerable classes of total recursive functions

    • Rūsiņš Freivalds, Dace Gobleja, Marek Karpinski, Carl H. Smith
    Pages 100-105

  14. On case-based represent ability and learnability of languages

    • Christoph Globig, Steffen Lange
    Pages 106-120

  15. Rule-generating abduction for recursive prolog

    • Kouichi Hirata
    Pages 121-136

  16. Fuzzy analogy based reasoning and classification of fuzzy analogies

    • Toshihara Iwatani, Shunïchi Tano, Atsushi Inoue, Wataru Okamoto
    Pages 137-148

  17. Explanation-based reuse of prolog programs

    • Yasuyuki Koga, Eiju Hirowatari, Setsuo Arikawa
    Pages 149-160

  18. Constructive induction for recursive programs

    • Chowdhury Rahman Mofizur, Masayuki Numao
    Pages 161-175

  19. Training digraphs

    • Hsieh-Chang Tu, Carl H. Smith
    Pages 176-186

  20. Towards realistic theories of learning

    • Naoki Abe
    Pages 187-209
Back to top

Other volumes

  1. Algorithmic Learning Theory

Keywords

About this book

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.

Bibliographic Information

  • Book Title: Algorithmic Learning Theory

  • Book Subtitle: 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

  • Editors: Setsuo Arikawa, Klaus P. Jantke

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-58520-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1994

  • Softcover ISBN: 978-3-540-58520-6Published: 28 September 1994

  • eBook ISBN: 978-3-540-49030-2Published: 01 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XV, 581

  • Topics: Theory of Computation, Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation