| Publication | Date of Publication | Type |
|---|
Learners based on transducers
Information and Computation | 2022-03-14 | Paper |
Nonmonotonicity in the framework of parametric logic
Studia Logica | 2019-11-29 | Paper |
Implementing fragments of ZFC within an r.e. Universe
Journal Of Logic And Computation | 2018-09-28 | Paper |
Learners based on transducers
Language and Automata Theory and Applications | 2018-06-26 | Paper |
Logic programming as classical inference
Journal of Applied Logic | 2015-12-18 | Paper |
Robust learning of automatic classes of languages
Journal of Computer and System Sciences | 2014-02-13 | Paper |
Learning and classifying
Theoretical Computer Science | 2014-01-09 | Paper |
Contextual hypotheses and semantics of logic programs
Theory and Practice of Logic Programming | 2012-12-27 | Paper |
Robust learning of automatic classes of languages
Lecture Notes in Computer Science | 2011-10-19 | Paper |
Learning and classifying
Lecture Notes in Computer Science | 2011-10-19 | Paper |
On ordinal VC-dimension and some notions of complexity
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Input-dependence in function-learning
Theory of Computing Systems | 2009-10-19 | Paper |
| Quantification over names and modalities | 2008-07-01 | Paper |
Absolute versus probabilistic classification in a logical setting
Theoretical Computer Science | 2008-05-28 | Paper |
| Deduction, induction, and beyond in parametric logic | 2008-04-29 | Paper |
Input-Dependence in Function-Learning
Lecture Notes in Computer Science | 2007-11-13 | Paper |
On the data consumption benefits of accepting increased uncertainty
Theoretical Computer Science | 2007-09-18 | Paper |
On ordinal VC-dimension and some notions of complexity
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 |
Learning Theory
Lecture Notes in Computer Science | 2006-06-22 | Paper |
Identifying Clusters from Positive Data
SIAM Journal on Computing | 2006-06-01 | Paper |
Unifying logic, topology and learning in parametric logic
Theoretical Computer Science | 2006-03-20 | Paper |
| scientific article; zbMATH DE number 2204759 (Why is no real title available?) | 2005-09-12 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Discovery Science
Lecture Notes in Computer Science | 2005-08-18 | Paper |
Algorithmic Learning Theory
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2084839 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1966621 (Why is no real title available?) | 2003-08-18 | Paper |
| scientific article; zbMATH DE number 1954130 (Why is no real title available?) | 2003-07-28 | Paper |
Learning power and language expressiveness.
Theoretical Computer Science | 2003-05-25 | Paper |
Induction by enumeration
Information and Computation | 2003-01-14 | Paper |
Generalized logical consequence: Making room for induction in the logic of science
Journal of Philosophical Logic | 2002-08-20 | Paper |
Scientific discovery on positive data via belief revision
Journal of Philosophical Logic | 2001-07-29 | Paper |
Belief revision in the service of scientific discovery
Mathematical Social Sciences | 2001-03-19 | Paper |
Scientific discovery based on belief revision
Journal of Symbolic Logic | 1998-10-01 | Paper |
