ALT 1991

28 papers

A Form of Analogy as an Abductive Inference Makoto Haraguchi

A Knowledge Transfer Model: From Zero-Knowledge to Full-Knowledge Yasuyuki Tsukada, Kenji Koyama

A Logical Analysis of Relevance in Analogy Jun Arima

ACE: A Syntax-Directed Editor Customizable from Examples and Queries Yuji Takada, Yasubumi Sakakibara, Takeshi Ohtani

An Interactive Knowledge Transfer Model and Analysis of "Mastermind" Game Kenji Koyama, Tony W. Lai

Analogical Reasoning as a Form of Hypothetical Reasoning and Justification-Based Knowledge Acquisition Ryohei Orihara

Analogical Reasoning Using Elementary Formal Systems with Mismatch Tetsuhiro Miyahara

Analogy Is NP-Hard Shinji Furuya, Satoru Miyano

Characterization of Pattern Languages Yasuhito Mukouchi

Inductive Inferability for Formal Languages from Positive Data Masako Sato, Kazutaka Umayahara

Inductive Inference of Formal Languages from Positive Data Enumerated Primitive-Recursively Akito Sakurai

Knowledge-Intensive Learning in Connectionist Networks Akira Namatame

Learning Effect of a Dynamic Thesaurus in Associated Information Retrieval Haruo Kimoto, Toshiaki Iwadera

Learning in Multi-Agent Environments Pavel Brazdil

Learning Non-Parametric Densities by Finite-Dimensional Parametric Hypotheses Kenji Yamanishi

Learning Simple Boolean Concepts Nick Littlestone

On the Role of Equivalence Queries in MAT Learning Seiichi Tani

Polynomial-Time Identification of Very Regular Languages in the Limit Noriyuki Tanida, Takashi Yokomori

Polynomial-Time Inference of Unions of Tree Pattern Languages Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki

Preliminary Study on Program Sunthesis Based on Induction and Verification Koichi Furukawa

Preservation of Predictability Under Polynomial Sparse Variations and Its Applications Naoki Abe

Proving Based on Similarity Ken-etsu Fujita, Masateru Harao

Recovery from Multiple Faults in Relational Theory Somkiat Tangkitvanich, Masamichi Shimura

Relationships Between PAC-Learning Algorithms and Weak Occam Algorithms Eiji Takimoto, Akira Maruoka

The Logic of Molecular Geneticists for the Understanding of Genetic Information Yoshifumi Sakai

The Use of Abstract Primitives in Representing the Meanings of "Verbs" for Understanding Metaphors Masaki Suwa, Hiroshi Motoda

Towards Learning by Abstraction Seiichiro Sakurai, Makoto Haraguchi

Which Classes of Elementary Formal Systems Are Polynomial-Time Learnable Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara