John Case

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Machine induction without revolutionary paradigm shifts
Lecture Notes in Computer Science
2023-12-08Paper
On the classification of computable languages
Lecture Notes in Computer Science
2022-11-09Paper
Learnability: admissible, co-finite, and hypersimple languages
Automata, Languages and Programming
2019-03-29Paper
Effectivity questions for Kleene's recursion theorem
Theoretical Computer Science
2018-06-05Paper
A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions
Proceedings of the 13th Asian Logic Conference
2017-06-09Paper
Gold-style learning theory. A selection of highlights since Gold
Topics in Grammatical Inference
2017-02-15Paper
Strongly non-U-shaped language learning results by general techniques
Information and Computation
2016-11-18Paper
Program size complexity of correction grammars in the Ershov hierarchy
Pursuit of the Universal
2016-08-17Paper
Non-obfuscated unprovable programs \& many resultant subtleties
Logical Methods in Computer Science
2016-04-28Paper
Topological separations in inductive inference
Theoretical Computer Science
2016-02-26Paper
Effectivity questions for Kleene's recursion theorem
Logical Foundations of Computer Science
2015-12-11Paper
Lattice computers for approximating Euclidean space
Journal of the ACM
2015-09-20Paper
Computability-theoretic learning complexity
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
2015-08-21Paper
Automatic learners with feedback queries
Journal of Computer and System Sciences
2014-02-13Paper
Topological separations in inductive inference
Lecture Notes in Computer Science
2013-11-06Paper
Automatic functions, linear time and learning
Logical Methods in Computer Science
2013-09-26Paper
Beyond Rogers’ Non-constructively Computable Function
Lecture Notes in Computer Science
2013-08-05Paper
Memory-limited non-U-shaped learning with solved open problems
Theoretical Computer Science
2013-03-04Paper
Learning secrets interactively. Dynamic modeling in inductive inference
Information and Computation
2013-01-17Paper
Program self-reference in constructive Scott subdomains
Theory of Computing Systems
2012-12-07Paper
Automatic learning of subclasses of pattern languages
Information and Computation
2012-11-27Paper
Automatic functions, linear time and learning
Lecture Notes in Computer Science
2012-08-14Paper
Properties complementary to program self-reference
 
2012-03-22Paper
Measuring learning complexity with criteria epitomizers
 
2012-01-23Paper
Rice and Rice-Shapiro theorems for transfinite correction grammars
Mathematical Logic Quarterly
2011-11-07Paper
Optimal language learning from positive data
Information and Computation
2011-10-27Paper
Automatic Learners with Feedback Queries
Models of Computation in Context
2011-09-09Paper
Automatic learning of subclasses of pattern languages
Language and Automata Theory and Applications
2011-06-03Paper
Solutions to Open Questions for Non-U-Shaped Learning with Memory Limitations
Lecture Notes in Computer Science
2010-10-01Paper
Program self-reference in constructive Scott subdomains
Mathematical Theory and Computational Practice
2010-07-28Paper
Iterative learning of simple external contextual languages
Theoretical Computer Science
2010-07-07Paper
Vacillatory and BC learning on noisy data
Lecture Notes in Computer Science
2010-04-27Paper
On learning to coordinate. Random bits help, insightful normal forms, and competency isomorphisms
Lecture Notes in Computer Science
2010-03-23Paper
Generality's price. Inescapable deficiencies in machine-learned programs
Lecture Notes in Computer Science
2010-03-23Paper
Learning a subclass of regular patterns in polynomial time
Lecture Notes in Computer Science
2010-02-23Paper
Difficulties in Forcing Fairness of Polynomial Time Inductive Inference
Lecture Notes in Computer Science
2009-12-01Paper
Independence Results for n-Ary Recursion Theorems
Fundamentals of Computation Theory
2009-10-20Paper
Characterizing programming systems allowing program self-reference
Theory of Computing Systems
2009-10-19Paper
Resource restricted computability theoretic learning: Illustrative topics and problems
Theory of Computing Systems
2009-10-19Paper
Learning correction grammars
Journal of Symbolic Logic
2009-06-04Paper
Parallelism increases iterative learning power
Theoretical Computer Science
2009-05-12Paper
U-shaped, iterative, and iterative-with-counter learning
Machine Learning
2009-03-31Paper
Optimal Language Learning
Lecture Notes in Computer Science
2008-10-14Paper
Dynamically Delayed Postdictive Completeness and Consistency in Learning
Lecture Notes in Computer Science
2008-10-14Paper
Dynamic Modeling in Inductive Inference
Lecture Notes in Computer Science
2008-10-14Paper
Iterative Learning of Simple External Contextual Languages
Lecture Notes in Computer Science
2008-10-14Paper
Properties Complementary to Program Self-reference
Mathematical Foundations of Computer Science 2007
2008-09-17Paper
Feasible Iteration of Feasible Learning Functionals
Lecture Notes in Computer Science
2008-08-19Paper
Parallelism Increases Iterative Learning Power
Lecture Notes in Computer Science
2008-08-19Paper
Non-U-shaped vacillatory and team learning
Journal of Computer and System Sciences
2008-06-10Paper
When unlearning helps
Information and Computation
2008-05-19Paper
Learning Correction Grammars
Learning Theory
2008-01-03Paper
U-Shaped, Iterative, and Iterative-with-Counter Learning
Learning Theory
2008-01-03Paper
Characterizing Programming Systems Allowing Program Self-reference
Lecture Notes in Computer Science
2007-11-13Paper
Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems
Lecture Notes in Computer Science
2007-11-13Paper
Results on memory-limited U-shaped learning
Information and Computation
2007-10-10Paper
Memory-Limited U-Shaped Learning
Learning Theory
2007-09-14Paper
Directions for computability theory beyond pure mathematical
 
2007-06-28Paper
Learning a subclass of regular patterns in polynomial time
Theoretical Computer Science
2007-01-09Paper
Algorithmic Learning Theory
Lecture Notes in Computer Science
2006-11-01Paper
Grammatical Inference: Algorithms and Applications
Lecture Notes in Computer Science
2006-10-20Paper
Identifying Clusters from Positive Data
SIAM Journal on Computing
2006-06-01Paper
Generality's price: Inescapable deficiencies in machine-learned programs
Annals of Pure and Applied Logic
2006-04-28Paper
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms
Journal of Computer and System Sciences
2005-10-10Paper
Parsimony hierarchies for inductive inference
Journal of Symbolic Logic
2005-08-29Paper
Robust learning -- rich and poor
Journal of Computer and System Sciences
2004-10-01Paper
scientific article; zbMATH DE number 2084844 (Why is no real title available?)
 
2004-08-09Paper
On the classification of recursive languages
Information and Computation
2004-08-06Paper
scientific article; zbMATH DE number 2077149 (Why is no real title available?)
 
2004-07-01Paper
Incremental concept learning for bounded data mining.
Information and Computation
2003-01-14Paper
The synthesis of language learners.
Information and Computation
2003-01-14Paper
Learning to win process-control games watching game-masters
Information and Computation
2003-01-14Paper
scientific article; zbMATH DE number 1804101 (Why is no real title available?)
 
2002-09-22Paper
Predictive learning models for concept drift
Theoretical Computer Science
2002-03-03Paper
Control structures in hypothesis spaces: The influence on learning
Theoretical Computer Science
2002-03-03Paper
scientific article; zbMATH DE number 1678394 (Why is no real title available?)
 
2001-12-04Paper
scientific article; zbMATH DE number 1670875 (Why is no real title available?)
 
2001-11-11Paper
Synthesizing learners tolerating computable noisy data
Journal of Computer and System Sciences
2001-09-09Paper
Synthesizing noise-tolerant language learners
Theoretical Computer Science
2001-08-20Paper
Costs of general purpose learning
Theoretical Computer Science
2001-08-20Paper
Vacillatory and BC learning on noisy data
Theoretical Computer Science
2000-08-21Paper
Robust learning aided by context
Journal of Computer and System Sciences
2000-07-24Paper
scientific article; zbMATH DE number 1301784 (Why is no real title available?)
 
2000-03-13Paper
scientific article; zbMATH DE number 1301796 (Why is no real title available?)
 
2000-03-13Paper
scientific article; zbMATH DE number 1301792 (Why is no real title available?)
 
2000-01-12Paper
The Power of Vacillation in Language Learning
SIAM Journal on Computing
1999-10-28Paper
Maximal machine learnable classes
Journal of Computer and System Sciences
1999-09-22Paper
Learning recursive functions from approximations
Journal of Computer and System Sciences
1998-02-02Paper
Learnability: Admissible, co-finite, and hypersimple languages
Journal of Computer and System Sciences
1997-03-13Paper
Anomalous learning helps succinctness
Theoretical Computer Science
1997-02-27Paper
Machine induction without revolutionary changes in hypothesis size
Information and Computation
1997-02-03Paper
Language learning with some negative information
Journal of Computer and System Sciences
1995-10-25Paper
Complexity issues for vacillatory function identification
Information and Computation
1995-05-28Paper
Spatial/kinematic domain and lattice computers
Journal of Experimental & Theoretical Artificial Intelligence
1995-01-02Paper
Infinitary self-reference in learning theory
Journal of Experimental & Theoretical Artificial Intelligence
1995-01-02Paper
scientific article; zbMATH DE number 680708 (Why is no real title available?)
 
1994-11-01Paper
scientific article; zbMATH DE number 605140 (Why is no real title available?)
 
1994-09-08Paper
Machine learning of higher-order programs
Journal of Symbolic Logic
1994-08-15Paper
scientific article; zbMATH DE number 512872 (Why is no real title available?)
 
1994-03-10Paper
ON LEARNING LIMITING PROGRAMS
International Journal of Foundations of Computer Science
1993-01-16Paper
scientific article; zbMATH DE number 67619 (Why is no real title available?)
 
1992-09-27Paper
scientific article; zbMATH DE number 18652 (Why is no real title available?)
 
1992-06-26Paper
Effectivizing Inseparability
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1992-06-26Paper
Pseudo-extensions of computable functions
Information and Control
1983-01-01Paper
scientific article; zbMATH DE number 3932417 (Why is no real title available?)
 
1982-01-01Paper
On the Relative Merits of the English and American Rules for Allocating Court Costs
SIAM Journal on Applied Mathematics
1981-01-01Paper
scientific article; zbMATH DE number 3652061 (Why is no real title available?)
 
1979-01-01Paper
The complexity of total order structures
Journal of Computer and System Sciences
1978-01-01Paper
scientific article; zbMATH DE number 3593360 (Why is no real title available?)
 
1977-01-01Paper
Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders
Mathematical Logic Quarterly
1976-01-01Paper
scientific article; zbMATH DE number 3480417 (Why is no real title available?)
 
1975-01-01Paper
On the Form of Market Demand Functions
Econometrica
1974-01-01Paper
Periodicity in generations of automata
Mathematical Systems Theory
1974-01-01Paper
Maximal Arithmetical Reducibilities
Mathematical Logic Quarterly
1974-01-01Paper
A class of games having Pareto optimal Nash equilibria
Journal of Optimization Theory and Applications
1974-01-01Paper
scientific article; zbMATH DE number 3501008 (Why is no real title available?)
 
1974-01-01Paper
Enumeration reducibility and partial degrees
Annals of Mathematical Logic
1971-01-01Paper
A Note on Degrees of Self-Describing Turing Machines
Journal of the ACM
1971-01-01Paper
A Differential Game in Economics
Management Science
1971-01-01Paper
scientific article; zbMATH DE number 3373571 (Why is no real title available?)
 
1971-01-01Paper
A Note on the Stability of Predictor-Corrector Techniques
 
1969-01-01Paper


Research outcomes over time


This page was built for person: John Case