ALT 1994

45 papers

A Calculus for Logical Clustering Shuo Bai

A Note on Learning DNF Formulas Using Equivalence and Incomplete Membership Queries Zhixiang Chen

A Unified Approach to Inductive Logic and Case-Based Reasoning (Extended Abstract) Michael M. Richter

Average Case Analysis of Pattern Language Learning Algorithms (Abstract) Thomas Zeugmann

Classification Using Information William I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai

Co-Learnability and FIN-Identifiability of Enumerable Classes of Total Recursive Functions Rusins Freivalds, Dace Gobleja, Marek Karpinski, Carl H. Smith

Constructing Predicate Mappings for Goal-Dependent Abstraction Yoshiaki Okubo, Makoto Haraguchi

Constructive Induction for Recursive Programs Chowdhury Rahman Mofizur, Masayuki Numao

Deductive Plan Generation Wolfgang Bibel, Michael Thielscher

Derived Sets and Inductive Inference Kalvis Apsitis

Efficient Algorithm for Learning Simple Regular Expressions from Noisy Examples Alvis Brazma

Efficient Distribution-Free Population Learning of Simple Concepts Atsuyoshi Nakamura, Naoki Abe, Jun'ichi Takeuchi

Efficient Learning of Regular Expressions from Good Examples Alvis Brazma, Karlis Cerans

Enumerable Classes of Total Recursive Functions: Complexity of Inductive Inference Andris Ambainis, Juris Smotrovs

Explanation-Based Reuse of Prolog Programs Yasuyuki Koga, Eiju Hirowatari, Setsuo Arikawa

Finding Tree Patterns Consistent with Positive and Negative Examples Using Queries Hiroki Ishizaka, Hiroki Arimura, Takeshi Shinohara

From Specifications to Programs: Induction in the Service of Synthesis (Abstract) Nachum Dershowitz

Fuzzy Analogy Based Reasoning and Classification of Fuzzy Analogies Toshiharu Iwatani, Shun'ichi Tano, Atsushi Inoue, Wataru Okamoto

Identifying Nearly Minimal Gödel Numbers from Additional Information Rusins Freivalds, Ognian Botuscharov, Rolf Wiehagen

Identifying Regular Languages over Partially-Commutative Monoids Claudio Ferretti, Giancarlo Mauri

Inductive Inference of an Approximate Concept from Positive Data Yasuhito Mukouchi

Inductive Inference of Monogenic Pure Context-Free Languages Noriyuki Tanida, Takashi Yokomori

Language Learning from Good Examples Steffen Lange, Jochen Nessel, Rolf Wiehagen

Language Learning Under Various Types of Constraint Combinations Shyam Kapur

Learnability with Restricted Focus of Attention Guarantees Noise-Tolerance Shai Ben-David, Eli Dichterman

Learning Concatenations of Locally Testable Languages from Positive Data Satoshi Kobayashi, Takashi Yokomori

Learning from Examples with Typed Equational Programming Akira Ishino, Akihiro Yamamoto

Learning Languages by Collecting Cases and Tuning Parameters Yasubumi Sakakibara, Klaus P. Jantke, Steffen Lange

Learning with Higher Order Additional Information Ganesh R. Baliga, John Case

Machine Discovery in the Presence of Incomplete or Ambiguous Data Steffen Lange, Phil Watson

Monotonicity Versus Efficiency for Learning Languages from Texts Efim B. Kinber

Mutual Information Gaining Algorithm and Its Relation to PAC-Learning Algorithm Eiji Takimoto, Ichiro Tajika, Akira Maruoka

On Case-Based Representability and Learnability of Languages Christoph Globig, Steffen Lange

On Monotonic Strategies for Learning R.e. Languages Sanjay Jain, Arun Sharma

On-Line Learning with Malicious Noise and the Closure Algorithm Peter Auer, Nicolò Cesa-Bianchi

Program Synthesis in the Presence of Infinite Number of Inaccuracies Sanjay Jain

Refutably Probably Approximately Correct Learning Satoshi Matsumoto, Ayumi Shinohara

Rule-Generating Abduction for Recursive Prolog Kouichi Hirata

Set-Driven and Rearrangement-Independent Learning of Recursive Languages Steffen Lange, Thomas Zeugmann

Synthesis Algorithm for Recursive Process by Μ-Calculus (Extended Abstract) Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

Therapy Plan Generation as Program Synthesis Oksana Arnold, Klaus P. Jantke

Three Decades of Team Learning Carl H. Smith

Towards Efficient Inductive Synthesis from Input/Output Examples (Abstract) Janis Barzdins

Towards Realistic Theories of Learning Naoki Abe

Training Diagraphs Hsieh-Chang Tu, Carl H. Smith