LEADER 04550nam 22005655 450 001 996465517503316 005 20200703062053.0 010 $a3-540-69602-4 024 7 $a10.1007/3-540-63577-7 035 $a(CKB)1000000000234734 035 $a(SSID)ssj0000321180 035 $a(PQKBManifestationID)11256249 035 $a(PQKBTitleCode)TC0000321180 035 $a(PQKBWorkID)10262620 035 $a(PQKB)11639936 035 $a(DE-He213)978-3-540-69602-5 035 $a(PPN)15522431X 035 $a(EXLCZ)991000000000234734 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgorithmic Learning Theory$b[electronic resource] $e8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings /$fedited by Ming Li, Akira Maruoka 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XIV, 470 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1316 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-63577-7 327 $aProgram error detection/correction: Turning PAC learning into Perfect learning -- Team learning as a game -- Inferability of recursive real-valued functions -- Learning of R.E. Languages from good examples -- Identifiability of subspaces and homomorphic images of zero-reversible languages -- On exploiting knowledge and concept use in learning theory -- Partial occam's razor and its applications -- Derandomized learning of boolean functions -- Learning DFA from simple examples -- PAC learning under helpful distributions -- PAC learning using Nadaraya-Watson estimator based on orthonormal systems -- Monotone extensions of boolean data sets -- Classical Brouwer-Heyting-Kolmogorov interpretation -- Inferring a system from examples with time passage -- Polynomial time inductive inference of regular term tree languages from positive data -- Synthesizing noise-tolerant language learners -- Effects of Kolmogorov complexity present in inductive inference as well -- Learning one-variable pattern languages very efficiently on average, in parallel, and by asking queries -- Oracles in ? 2 p are sufficient for exact learning -- Exact learning via teaching assistants (Extended abstract) -- An efficient exact learning algorithm for ordered binary decision diagrams -- Probability theory for the Brier game -- Learning and revising theories in noisy domains -- A note on a scale-sensitive dimension of linear bounded functionals in Banach Spaces -- On the relevance of time in neural computation and learning -- A simple algorithm for predicting nearly as well as the best pruning labeled with the best prediction values of a decision tree -- Learning disjunctions of features -- Learning simple deterministic finite-memory automata -- Learning acyclic first-order horn sentences from entailment -- On learning disjunctions of zero-one threshold functions with queries. 330 $aThis book constitutes the refereed proceedings of the 8th International Workshop on Algorithmic Learning Theory, ALT'97, held in Sendai, Japan, in October 1997. The volume presents 26 revised full papers selected from 42 submissions. Also included are three invited papers by leading researchers. Among the topics addressed are PAC learning, learning algorithms, inductive learning, inductive inference, learning from examples, game-theoretical aspects, decision procedures, language learning, neural algorithms, and various other aspects of computational learning theory. 410 0$aLecture Notes in Artificial Intelligence ;$v1316 606 $aArtificial intelligence 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3/1 702 $aLi$b Ming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaruoka$b Akira$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aALT '97 906 $aBOOK 912 $a996465517503316 996 $aAlgorithmic Learning Theory$9771965 997 $aUNISA