Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany October 10-15, 1994 : proceedings
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 AL...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaften: | , |
| Weitere Verfasser: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science. Lecture notes in artificial intelligence
872 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algorithmic learning theory, 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, proceedings, Setsuo Arikawa, Klaus P. Jantke (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (XIV-573 p.), Lecture notes in computer science, 3-540-58520-6 • Algorithmic Learning Theory, Texte imprimé, 9783662181294 |
| LEADER | 06370nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 971601 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15520968X | ||
| 020 | |a 9783540490302 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Arikawa, Setsuo, |d 1941- | |
| 245 | 1 | 0 | |a Algorithmic learning theory : |b 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany October 10-15, 1994 : proceedings |c [edited by] Setsuo Arikawa, Klaus P. Jantke. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 872 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Towards efficient inductive synthesis from input/output examples -- Deductive plan generation -- From specifications to programs: Induction in the service of synthesis -- Average case analysis of pattern language learning algorithms -- Enumerable classes of total recursive functions: Complexity of inductive inference -- Derived sets and inductive inference -- Therapy plan generation as program synthesis -- A calculus for logical clustering -- Learning with higher order additional information -- Efficient learning of regular expressions from good examples -- Identifying nearly minimal Gödel numbers from additional information -- Co-learnability and FIN-identifiability of enumerable classes of total recursive functions -- On case-based represent ability and learnability of languages -- Rule-generating abduction for recursive prolog -- Fuzzy analogy based reasoning and classification of fuzzy analogies -- Explanation-based reuse of prolog programs -- Constructive induction for recursive programs -- Training digraphs -- Towards realistic theories of learning -- A unified approach to inductive logic and case-based reasoning -- Three decades of team learning -- On-line learning with malicious noise and the closure algorithm -- Learnability with restricted focus of attention guarantees noise-tolerance -- Efficient algorithm for learning simple regular expressions from noisy examples -- A note on learning DNF formulas using equivalence and incomplete membership queries -- Identifying regular languages over partially-commutative monoids -- Classification using information -- Learning from examples with typed equational programming -- Finding tree patterns consistent with positive and negative examples using queries -- Program synthesis in the presence of infinite number of inaccuracies -- On monotonicstrategies for learning r.e. languages -- Language learning under various types of constraint combinations -- Synthesis algorithm for recursive processes by ?-calculus -- Monotonicity versus efficiency for learning languages from texts -- Learning concatenations of locally testable languages from positive data -- Language learning from good examples -- Machine discovery in the presence of incomplete or ambiguous data -- Set-driven and rearrangement-independent learning of recursive languages -- Refutably probably approximately correct learning -- Inductive inference of an approximate concept from positive data -- Efficient distribution-free population learning of simple concepts -- Constructing predicate mappings for Goal-Dependent Abstraction -- Learning languages by collecting cases and tuning parameters -- Mutual information gaining algorithm and its relation to PAC-learning algorithm -- Inductive inference of monogenic pure context-free languages. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Inférence | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analogie (philosophie) | ||
| 650 | |a Raisonnement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Jantke, Klaus Peter, |d 1951- |4 pbd | |
| 711 | 2 | |a Analogical and Inductive Inference. |b International workshop |n (04 |d :1994 |c :Reinhardsbrunn Castle). |4 aut | |
| 711 | 2 | |a Algorithmic learning theory |n (05 |d :1994 |c :Reinhardsbrunn Castle). |4 aut | |
| 776 | 0 | |0 021870721 |t Algorithmic learning theory |o 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, proceedings |f Setsuo Arikawa, Klaus P. Jantke (eds.) |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (XIV-573 p.) |s Lecture notes in computer science |z 3-540-58520-6 | |
| 776 | 0 | |t Algorithmic Learning Theory |b Texte imprimé |z 9783662181294 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-58520-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-WB2CQNW7-D |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750650729 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58520-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754001199 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58520-6 |z Accès INSA CVL | |
| 997 | |0 971601 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||