Algorithmic learning theory. 12th international conference, ALT 2001, Washington, DC, USA, November 25--28, 2001. Proceedings (Q5960817)

The articles of mathematical interest will be reviewed individually. The preceding conference (11th, 2000) has been reviewed (see Zbl 0952.00048). Indexed articles: \textit{Abe, Naoki; Khardon, Roni; Zeugmann, Thomas}, Editors' introduction, 1-7 [Zbl 1050.68569] \textit{Arikawa, Setsuo}, The Discovery Science project in Japan, 9-11 [Zbl 1050.68571] \textit{Angluin, Dana}, Queries revisited, 12-31 [Zbl 1050.68570] \textit{Cohen, Paul R.; Oates, Tim; Adams, Niall; Beal, Carole R.}, Robot Baby 2001, 32-56 [Zbl 1050.68574] \textit{Darden, Lindley}, Discovering mechanisms: A computational philosophy of science perspective, 57 [Zbl 1050.68575] \textit{Shneiderman, Ben}, Inventing discovery tools: Combining information visualization with data mining, 58 [Zbl 1050.68584] \textit{Yang, Ke}, On learning correlated Boolean functions using statistical queries (extended abstract), 59-76 [Zbl 1050.68585] \textit{Hatano, Kohei}, A simpler analysis of the multi-way branching decision tree boosting algorithm, 77-91 [Zbl 1050.68578] \textit{Šíma, Jiří}, Minimizing the quadratic training error of a sigmoid neuron is hard, 92-105 [Zbl 1050.68116] \textit{Sadohara, Ken}, Learning of Boolean functions using support vector machines, 106-118 [Zbl 1050.68075] \textit{Balcázar, Jose; Dai, Yang; Watanabe, Osamu}, A random sampling technique for training support vector machines for primal-form maximal-margin classifiers., 119-134 [Zbl 1050.68117] \textit{Garg, Ashutosh; Roth, Dan}, Learning coherent concepts, 135-150 [Zbl 1050.68593] \textit{Kwek, Stephen S.}, Learning intermediate concepts, 151-166 [Zbl 1050.68579] \textit{Dooly, Daniel R.; Goldman, Sally A.; Kwek, Stephen S.}, Real-valued multiple-instance learning with queries, 167-180 [Zbl 1050.68577] \textit{Kalnishkan, Yuri; Vyugin, Michael V.; Vovk, Volodya}, Loss functions, complexities, and the Legendre transformation, 181-189 [Zbl 1050.68068] \textit{Vyugin, Michael V.; V'yugin, Vladimir V.}, Non-linear inequalities between predictive and Kolmogorov complexities, 190-204 [Zbl 1050.68079] \textit{Jain, Sanjay; Stephan, Frank}, Learning by switching type of information, 205-218 [Zbl 1050.68065] \textit{Jain, Sanjay; Stephan, Frank}, Learning how to separate, 219-234 [Zbl 1050.68066] \textit{Jain, Sanjay; Ng, Yen Kaow; Tay, Tiong Seng}, Learning languages in a union, 235-250 [Zbl 1050.68064] \textit{Zilles, Sandra}, On the comparison of inductive inference criteria for uniform learning of finite classes, 251-266 [Zbl 1050.68082] \textit{Mukouchi, Yasuhito; Sato, Masako}, Refutable language learning with a neighbor system, 267-282 [Zbl 1050.68074] \textit{Jain, Sanjay; Kinber, Efim; Wiehagen, Rolf; Zeugmann, Thomas}, Learning recursive functions refutably, 283-298 [Zbl 1050.68063] \textit{Merkle, Wolfgang; Stephan, Frank}, Refuting learning revisited, 299-314 [Zbl 1050.68073] \textit{Arimura, Hiroki; Sakamoto, Hiroshi; Arikawa, Setsuo}, Efficient learning of semi-structured data from queries, 315-331 [Zbl 1050.68053] \textit{Lange, Steffen; Grieser, Gunter; Jantke, Klaus P.}, Extending elementary formal systems, 332-347 [Zbl 1050.68069] \textit{Denis, François; Lemay, Aurélien; Terlutte, Alain}, Learning regular languages using RFSA, 348-363 [Zbl 1050.68058] \textit{de la Higuera, Colin; Janodet, Jean-Christophe}, Inference of \(\omega\)-languages from prefixes, 364-377 [Zbl 1050.68084]