Learning correction grammars

No abstract is available for this paper.

• Publication year

  2007

• Venue

  Journal of Symbolic Logic (JSL)

• Publication date

  2007-06-13

• Fields of study

  Mathematics, Linguistics, Computer Science

• Identifiers
  DOI 10.2178/jsl/1243948324
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Realm of Ordinal Analysis

  2007cited by this paper
• Parsimony hierarchies for inductive inference

  2004cited by this paper
• BOOK REVIEW: "SYSTEMS THAT LEARN: AN INTRODUCTION TO LEARNING THEORY, SECOND EDITION", SANJAY JAIN, DANIEL OSHERSON, JAMES S. ROYER and ARUN SHARMA

  2001cited by this paper
• The Power of Vacillation in Language Learning

  1999cited by this paper
• The Realm of Orinal Analysis

  1999cited by this paper
• A guided tour of minimal indices and shortest descriptions

  1997cited by this paper
• Recursive Structures and Ershov's Hierarchy

  1996cited by this paper
• Proof-Theoretic Analysis of Termination Proofs

  1995cited by this paper
• Subrecursive Programming Systems

  1994influential reference
• Program Size Restrictions in Computational Learning

  1994cited by this paper
• Machine learning of higher-order programs

  1992cited by this paper
• On learning limiting programs

  1992cited by this paper
• On the role of procrastination for machine learning

  1992cited by this paper
• Proving Termination for Term Rewriting Systems

  1991cited by this paper
• Inductive inference of minimal programs

  1990cited by this paper
• Inductive Inference of Minimal Programs

  1990cited by this paper
• Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists

  1990influential reference
• An Introduction to Automata Theory

  1988cited by this paper
• Learning theory and natural language.

  1984cited by this paper
• Comparison of Identification Criteria for Machine Inductive Inference

  1983cited by this paper
• A note on formal learning theory.

  1982cited by this paper
• Tradeoffs in the Inductive Inference of Nearly Minimal Size Programs

  1982cited by this paper
• On extensional learnability.

  1982cited by this paper
• Machine Inductive Inference and Language Identification

  1982influential reference
• Criteria of Language Learning

  1982influential reference
• Hierarchies of sets and degrees below 0

  1981cited by this paper
• Formal Principles of Language Acquisition

  1980cited by this paper
• Inductive Inference of Formal Languages from Positive Data

  1980cited by this paper
• Formal models of language learning.

  1979cited by this paper
• Introduction to Automata Theory, Languages and Computation

  1979influential reference
• An introduction to the general theory of algorithms

  1978influential reference
• Toward a Mathematical Theory of Inductive Inference

  1975cited by this paper
• Minimal Gödel Numbers and Their Identification in the Limit

  1975cited by this paper
• Theory of Recursive Functions and Effective Computability.

  1969influential reference
• On a hierarchy of sets. III

  1968cited by this paper
• On a hierarchy of sets, II

  1968cited by this paper
• Language Identification in the Limit

  1967cited by this paper
• A Machine-Independent Theory of the Complexity of Recursive Functions

  1967cited by this paper
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)

  1955cited by this paper
• On the Forms of the Predicates in the Theory of Constructive Ordinals

  1944cited by this paper
• On notation for ordinal numbers

  1938cited by this paper

• 13th International Workshop on Natural Computing (IWNC) @IS4SI 2021 - ABSTRACTS

  2021cites this paper
• Modelling distributive computation by selective machines

  2021cites this paper
• Program Size Complexity of Correction Grammars in the Ershov Hierarchy

  2016cites this paper
• Basic Classes of Grammars with Prohibition

  2013cites this paper
• Learnability of Co-r.e. Classes

  2012cites this paper
• Rice and Rice‐Shapiro Theorems for transfinite correction grammars

  2011influential citation
• Difficulties in Forcing Fairness of Polynomial Time Inductive Inference

  2009cites this paper
• Incremental Learning with Ordinal Bounded Example Memory

  2009cites this paper
• TURING DEGREES AND THE ERSHOV HIERARCHY

  2009influential citation