Search results for "ALT"

Hits ?▲	Authors	Title	Venue	Year	Link
35	Jun Arima	A logical analysis of relevance in analogy.	ALT	1991	DBLP BibTeX RDF
35	Yasuhito Mukouchi	Characterization of pattern languages.	ALT	1991	DBLP BibTeX RDF
35	Kenji Koyama, Tony W. Lai	An interactive knowledge transfer model and analysis of "Mastermind" game.	ALT	1991	DBLP BibTeX RDF
35	Somkiat Tangkitvanich, Masamichi Shimura	Recovery from multiple faults in relational theory.	ALT	1991	DBLP BibTeX RDF
35	Koichi Furukawa	Preliminary study on program sunthesis based on induction and verification.	ALT	1991	DBLP BibTeX RDF
35	Haruo Kimoto, Toshiaki Iwadera	Learning effect of a dynamic thesaurus in associated information retrieval.	ALT	1991	DBLP BibTeX RDF
35	Makoto Haraguchi	A form of analogy as an abductive inference.	ALT	1991	DBLP BibTeX RDF
35	Tetsuhiro Miyahara	Analogical reasoning using elementary formal systems with mismatch.	ALT	1991	DBLP BibTeX RDF
35	Ryohei Orihara	Analogical reasoning as a form of hypothetical reasoning and justification-based knowledge acquisition.	ALT	1991	DBLP BibTeX RDF
35	Seiichi Tani	On the role of equivalence queries in MAT learning.	ALT	1991	DBLP BibTeX RDF
35	Noriyuki Tanida, Takashi Yokomori	Polynomial-time identification of very regular languages in the limit.	ALT	1991	DBLP BibTeX RDF
35	Kenji Yamanishi	Learning non-parametric densities by finite-dimensional parametric hypotheses.	ALT	1991	DBLP BibTeX RDF
35	Masako Sato, Kazutaka Umayahara	Inductive inferability for formal languages from positive data.	ALT	1991	DBLP BibTeX RDF
35	Shinji Furuya, Satoru Miyano	Analogy is NP-hard.	ALT	1991	DBLP BibTeX RDF
35	Nick Littlestone	Learning simple Boolean concepts.	ALT	1991	DBLP BibTeX RDF
35	Yuji Takada, Yasubumi Sakakibara, Takeshi Ohtani	ACE: A syntax-directed editor customizable from examples and queries.	ALT	1991	DBLP BibTeX RDF
35	Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki	Polynomial-time inference of unions of tree pattern languages.	ALT	1991	DBLP BibTeX RDF
35	Akito Sakurai	Inductive inference of formal languages from positive data enumerated primitive-recursively.	ALT	1991	DBLP BibTeX RDF
35	Yoshifumi Sakai	The logic of molecular geneticists for the understanding of genetic information.	ALT	1991	DBLP BibTeX RDF
35	Masaki Suwa, Hiroshi Motoda	The use of abstract primitives in representing the meanings of "Verbs" for understanding metaphors.	ALT	1991	DBLP BibTeX RDF
35	Ken-etsu Fujita, Masateru Harao	Proving based on similarity.	ALT	1991	DBLP BibTeX RDF
35	Seiichiro Sakurai, Makoto Haraguchi	Towards learning by abstraction.	ALT	1991	DBLP BibTeX RDF
35	Eiji Takimoto, Akira Maruoka	Relationships between PAC-learning algorithms and weak Occam algorithms.	ALT	1991	DBLP BibTeX RDF
35	Setsuo Arikawa, Shigeki Goto, Setsuo Ohsuga, Takashi Yokomori (eds.)	Algorithmic Learning Theory, First International Workshop, ALT '90, Tokyo, Japan, October 8-10, 1990, Proceedings	ALT	1990	DBLP BibTeX RDF
35	Vladimir D. Gusev, Nadia A. Chuzhanova	The Algorithms of Recognition of the Functional Sites in Genetic Texts.	ALT	1990	DBLP BibTeX RDF
35	Akira Namatame	Structured Neural Networks and Their Flash Learning.	ALT	1990	DBLP BibTeX RDF
35	Klaus P. Jantke	Monotonic and Non-Monotonic Inductive Inference.	ALT	1990	DBLP BibTeX RDF
35	Mark A. Fulk, Sanjay Jain 0001	Approximate Inference and Scientific Method.	ALT	1990	DBLP BibTeX RDF
35	Jyrki Kivinen	Reliable and Useful Learning with Uniform Probability Distributions.	ALT	1990	DBLP BibTeX RDF
35	Tatsuo Unemi	On Inductive Learning for Three Kinds of Data Structures.	ALT	1990	DBLP BibTeX RDF
35	Pedro García 0001, Enrique Vidal 0001, José Oncina	Learning Locally Testable Languages in the Strict Sense.	ALT	1990	DBLP BibTeX RDF
35	Yuji Takada	Learning Equal Matrix Grammers and Multitape Automata with Structural Information.	ALT	1990	DBLP BibTeX RDF
35	Nicolò Cesa-Bianchi	Learning the Distribution in the Extended PAC Model.	ALT	1990	DBLP BibTeX RDF
35	Masateru Harao	Analogical Reasoning Based on Higher-Order Unification.	ALT	1990	DBLP BibTeX RDF
35	Ayumi Shinohara, Satoru Miyano	Teachability in Computational Learning.	ALT	1990	DBLP BibTeX RDF
35	Naoki Abe	Learning Commutative Deterministic Finite State Automata in Polynomial Time.	ALT	1990	DBLP BibTeX RDF
35	John Case, Sanjay Jain 0001, Arun Sharma 0001	Anomalous Learning Helps Succinctness (Extended Abstract).	ALT	1990	DBLP BibTeX RDF
35	Ryohei Orihara, Akihiko Ohsuga, Yoichi Kusui	On Paraphrasing-Based Analogical Reasoning.	ALT	1990	DBLP BibTeX RDF
35	Jun Arima	Analog by Simulation - A Weak Justification Method (Preliminary Report).	ALT	1990	DBLP BibTeX RDF
35	Steffen Lange, Rolf Wiehagen	Polynomial-Time Inference of Pattern Languages.	ALT	1990	DBLP BibTeX RDF
35	Ryuichi Oka	A Self-Organizing Network Composed of Symbol Nodes With Location Parameter.	ALT	1990	DBLP BibTeX RDF
35	Stephen H. Muggleton	Inductive Logic Programming.	ALT	1990	DBLP BibTeX RDF
35	David Haussler	Decision Theoretic Generalizations of the PAC Learning Model.	ALT	1990	DBLP BibTeX RDF
35	Philip D. Laird, Evan Gamble	EBG and Term-Rewriting Systems.	ALT	1990	DBLP BibTeX RDF
35	Masami Hagiya	Synthesis of Rewrite Programs by Higher-Order and Semantic Unification.	ALT	1990	DBLP BibTeX RDF
35	Bipin Indurkhya	On the Role of Interpretive Analogy in Learning.	ALT	1990	DBLP BibTeX RDF
35	Yasubumi Sakakibara	Occam Algorithms for Learning From Noisy Examples.	ALT	1990	DBLP BibTeX RDF
35	Toshikazu Tanaka	Deciding What to Learn in Explanation-Based Macro-Rule Learning.	ALT	1990	DBLP BibTeX RDF
35	Yuji Takada, Kunihiko Hiraishi, Yasubumi Sakakibara	Exact Learning of Semilinear Sets.	ALT	1990	DBLP BibTeX RDF
35	B. Shekar, M. Narasimha Murty, G. Krishna	The Function-Acquisition Paradigm in a Knowledge-Based Concept-Synthesis Environment.	ALT	1990	DBLP BibTeX RDF
35	Shun-ichi Amari	Mathematical Theory of Neural Learning.	ALT	1990	DBLP BibTeX RDF
35	Shuling Liu, Masami Hagiya	Model Inference of Constrained Recursive Figures.	ALT	1990	DBLP BibTeX RDF
35	Takeshi Shinohara	Inductive Inference of Monotonic Formal Systems from Positive Data.	ALT	1990	DBLP BibTeX RDF
35	Atsushi Togashi, Shoichi Noguchi	Inductive Inference of Term Rewriting Systems Realizing Algebras.	ALT	1990	DBLP BibTeX RDF
35	Stephen H. Muggleton, Cao Feng	Efficient Induction of Logic Programs.	ALT	1990	DBLP BibTeX RDF
34	Setsuo Arikawa, Klaus P. Jantke (eds.)	Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, Proceedings	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Satoshi Matsumoto, Ayumi Shinohara	Refutably Probably Approximately Correct Learning.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Yasubumi Sakakibara, Klaus P. Jantke, Steffen Lange	Learning Languages by Collecting Cases and Tuning Parameters.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Sanjay Jain 0001	Program Synthesis in the Presence of Infinite Number of Inaccuracies.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Akira Ishino, Akihiro Yamamoto	Learning from Examples with Typed Equational Programming.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Nachum Dershowitz	From Specifications to Programs: Induction in the Service of Synthesis (Abstract).	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Claudio Ferretti, Giancarlo Mauri	Identifying Regular Languages over Partially-Commutative Monoids.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Shuo Bai	A Calculus for Logical Clustering.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Hsieh-Chang Tu, Carl H. Smith	Training Diagraphs.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Ganesh Baliga, John Case	Learning with Higher Order Additional Information.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Alvis Brazma	Efficient Algorithm for Learning Simple Regular Expressions from Noisy Examples.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Oksana Arnold, Klaus P. Jantke	Therapy Plan Generation as Program Synthesis.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Chowdhury Rahman Mofizur, Masayuki Numao	Constructive Induction for Recursive Programs.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Rusins Freivalds, Dace Gobleja, Marek Karpinski, Carl H. Smith	Co-learnability and FIN-identifiability of Enumerable Classes of Total Recursive Functions.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Steffen Lange, Phil Watson	Machine Discovery in the Presence of Incomplete or Ambiguous Data.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Peter Auer, Nicolò Cesa-Bianchi	On-line Learning with Malicious Noise and the Closure Algorithm.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Andris Ambainis, Juris Smotrovs	Enumerable Classes of Total Recursive Functions: Complexity of Inductive Inference.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Satoshi Kobayashi, Takashi Yokomori	Learning Concatenations of Locally Testable Languages from Positive Data.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Janis Barzdins	Towards Efficient Inductive Synthesis from Input/Output Examples (Abstract).	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Carl H. Smith	Three Decades of Team Learning.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Shyam Kapur	Language Learning under Various Types of Constraint Combinations.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Naoki Abe	Towards Realistic Theories of Learning.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Shai Ben-David, Eli Dichterman	Learnability with Restricted Focus of Attention guarantees Noise-Tolerance.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Efim B. Kinber	Monotonicity versus Efficiency for Learning Languages from Texts.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Eiji Takimoto, Ichiro Tajika, Akira Maruoka	Mutual Information Gaining Algorithm and Its Relation to PAC-Learning Algorithm.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Kouichi Hirata	Rule-Generating Abduction for Recursive Prolog.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Yoshiaki Okubo, Makoto Haraguchi	Constructing Predicate Mappings for Goal-Dependent Abstraction.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Atsuyoshi Nakamura, Naoki Abe, Jun'ichi Takeuchi	Efficient Distribution-free Population Learning of Simple Concepts.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Yasuyuki Koga, Eiju Hirowatari, Setsuo Arikawa	Explanation-Based Reuse of Prolog Programs.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Steffen Lange, Thomas Zeugmann	Set-Driven and Rearrangement-Independent Learning of Recursive Languages.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Michael M. Richter	A Unified Approach to Inductive Logic and Case-Based Reasoning (Extended Abstract).	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Shigetomo Kimura, Atsushi Togashi, Norio Shiratori	Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract).	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Kalvis Apsitis	Derived Sets and Inductive Inference.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Hiroki Ishizaka, Hiroki Arimura, Takeshi Shinohara	Finding Tree Patterns Consistent with Positive and Negative Examples Using Queries.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Rusins Freivalds, Ognian Botuscharov, Rolf Wiehagen	Identifying Nearly Minimal Gödel Numbers From Additional Information.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Toshiharu Iwatani, Shun'ichi Tano, Atsushi Inoue, Wataru Okamoto	Fuzzy Analogy Based Reasoning and Classification of Fuzzy Analogies.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Thomas Zeugmann	Average Case Analysis of Pattern Language Learning Algorithms (Abstract).	AII/ALT	1994	DBLP DOI BibTeX RDF
34	William I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai	Classification Using Information.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Christoph Globig, Steffen Lange	On Case-Based Representability and Learnability of Languages.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Zhixiang Chen 0001	A Note on Learning DNF Formulas Using Equivalence and Incomplete Membership Queries.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Alvis Brazma, Karlis Cerans	Efficient Learning of Regular Expressions from Good Examples.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Yasuhito Mukouchi	Inductive Inference of an Approximate Concept from Positive Data.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Wolfgang Bibel, Michael Thielscher	Deductive Plan Generation.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Noriyuki Tanida, Takashi Yokomori	Inductive Inference of Monogenic Pure Context-free Languages.	AII/ALT	1994	DBLP DOI BibTeX RDF
34	Steffen Lange, Jochen Nessel, Rolf Wiehagen	Language Learning from Good Examples.	AII/ALT	1994	DBLP DOI BibTeX RDF