Analogical and Inductive Inference - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540517344, 9783540467984

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A refutation of Barzdins' conjecture

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_59 ◽

1989 ◽

pp. 171-176 ◽

Cited By ~ 3

Author(s):

Staurt A. Kurtz ◽

Carl H. Smith

Download Full-text

Towards a set of inference rules for solving divergence in Knuth-Bendix completion

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_70 ◽

1989 ◽

pp. 304-316 ◽

Cited By ~ 10

Author(s):

Steffen Lange

Keyword(s):

Inference Rules

Download Full-text

Some thoughts on the role of examples in program transformation and its relevance for explanation-based learning

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_52 ◽

1989 ◽

pp. 60-77 ◽

Cited By ~ 2

Author(s):

Maurice Bruynooghe ◽

Danny Schreye

Keyword(s):

Program Transformation ◽

Explanation Based Learning

Download Full-text

Modes of analogy

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_63 ◽

1989 ◽

pp. 217-230 ◽

Cited By ~ 12

Author(s):

Bipin Indurkhya

Download Full-text

Learning programs with an easy to calculate set of errors

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_55 ◽

1989 ◽

pp. 124-137 ◽

Cited By ~ 1

Author(s):

William I. Gasarch ◽

Ramesh K. Sitaraman ◽

Carl H. Smith ◽

Mahendran Velauthapillai

Keyword(s):

Learning Programs

Download Full-text

Second-order inductive learning

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_62 ◽

1989 ◽

pp. 202-216 ◽

Cited By ~ 1

Author(s):

Peter A. Flach

Keyword(s):

Inductive Learning ◽

Second Order

Download Full-text

Inductive inference, DFAs, and computational complexity

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_50 ◽

1989 ◽

pp. 18-44 ◽

Cited By ~ 101

Author(s):

Leonard Pitt

Keyword(s):

Computational Complexity ◽

Inductive Inference

Download Full-text

Inductive inference up to immune sets

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_56 ◽

1989 ◽

pp. 138-147 ◽

Cited By ~ 1

Author(s):

Rūsinš Freivalds ◽

Juris Vīksna

Keyword(s):

Inductive Inference

Download Full-text

Inductive inference for solving divergence in Knuth-Bendix completion

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_69 ◽

1989 ◽

pp. 288-303 ◽

Cited By ~ 13

Author(s):

Muffy Thomas ◽

Klaus P. Jantke

Keyword(s):

Inductive Inference

Download Full-text

Learning ω-regular languages from queries and counter-examples (a preliminary report)

Analogical and Inductive Inference - Lecture Notes in Computer Science ◽

10.1007/3-540-51734-0_58 ◽

1989 ◽

pp. 161-170

Author(s):

Oded Maler ◽

Amir Pnueli

Keyword(s):

Preliminary Report ◽

Regular Languages

Download Full-text

Analogical and Inductive Inference - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A refutation of Barzdins' conjecture

Towards a set of inference rules for solving divergence in Knuth-Bendix completion

Some thoughts on the role of examples in program transformation and its relevance for explanation-based learning

Modes of analogy

Learning programs with an easy to calculate set of errors

Second-order inductive learning

Inductive inference, DFAs, and computational complexity

Inductive inference up to immune sets

Inductive inference for solving divergence in Knuth-Bendix completion

Learning ω-regular languages from queries and counter-examples (a preliminary report)

Analogical and Inductive Inference - Lecture Notes in Computer Science
Latest Publications