Algorithmic learning theory. 4th international workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. Proceedings (Q690311)

The articles of mathematical interest will be reviewed individually. The 3rd workshop (1992) has been reviewed (see Zbl 0797.00022). Indexed articles: \textit{Arima, Jun; Sawamura, Hajime}, Reformulation of explanation by linear logic -- toward logic for explanation, 45-57 [Zbl 0924.03038] \textit{Bārzdiņš, Jānis; Bārzdiņš, Guntis}, Towards efficient inductive synthesis of expressions from input/output examples, 59-72 [Zbl 0925.03201] \textit{Jantke, Klaus; Lange, Steffen}, Case-based representation and learning of pattern languages, 87-100 [Zbl 0925.68362] \textit{Sato, Taisuke; Akiba, Sumitaka}, Inductive resolution, 101-110 [Zbl 0924.03090] \textit{Yamamoto, Akihiro}, Generalized unification as background knowledge in lerning logic programs, 111-122 [Zbl 0925.68101] \textit{Mukouchi, Yasuhito; Arikawa, Setsuo}, Inductive inference machines that can refute hypothesis spaces, 123-136 [Zbl 0925.03200] \textit{Freivalds, Rūsiņš; Smith, Carl H.}, On the duality between mechanistic learners and what it is they learn, 137-149 [Zbl 0925.68370] \textit{Jain, Sanjay; Sharma, Arun}, On aggregating teams of learning machines, 150-163 [Zbl 0925.03176] \textit{Vīksna, Juris}, Learning with growing quality, 164-172 [Zbl 0925.68366] \textit{Daley, Robert; Kalyanasundaram, Bala}, Use of reduction arguments in determining Popperian FIN-type learning capabilities, 173-186 [Zbl 0925.68376] \textit{Moriyama, Takashi; Sato, Masako}, Properties of language classes with finite elasticity, 187-196 [Zbl 0925.68277] \textit{Kapur, Shyam}, Uniform characterizations of various kinds of language learning, 197-208 [Zbl 0925.68375] \textit{Knuutila, Timo}, How to invent characterizable inference methods for regular languages, 209-222 [Zbl 0925.68365] \textit{Hasegawa, Susumu; Imai, Hiroshi; Ishiguro, Masaki}, \(\epsilon\)-approximation of \(k\)-label spaces. (Extended abstract), 288-299 [Zbl 0925.68364] \textit{Nakamura, Atsuyoshi; Abe, Naoki}, Exact learning of linear combinations of monotone terms from function value queries, 300-313 [Zbl 0925.68377] \textit{Siromoney, Rani; Thomas, D. G.; Subramanian, K. G.; Dare, V. R.}, Thue systems and DNA -- a learning algorithm for a subclass, 314-327 [Zbl 0925.03173] \textit{Ishigami, Yoshiyasu; Tani, Sei'ichi}, The VC-dimensions of finite automata with \(n\) states, 328-341 [Zbl 0925.68312] \textit{Tsumoto, Shusaku; Tanaka, Hiroshi}, Induction of probabilistic rules based on rough set theory, 410-423 [Zbl 0925.68421]