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