Search results

positive data 2009-07-09 Paper Reflective inductive inference of recursive functions 2008-05-28 Paper Inductive inference of approximations for recursive concepts...

Publication Date of Publication Type Reflecting and self-confident inductive inference machines 2023-12-08 Paper https://portal.mardi4nfdi.de/entity/Q4473563...

Robust separations in inductive inference 2011-06-28 Paper Inductive inference with additional information. 2002-08-04 Paper Maximal machine learnable classes...

Publication Date of Publication Type Memory limited inductive inference machines 2022-12-09 Paper Measure, category and learning theory 2019-01-10...

de/entity/Q4415451 1996-01-01 Paper How inductive inference strategies discover their errors 1995-07-10 Paper An inductive inference approach to classification 1994-05-03...

de/entity/Q4202920 1993-09-06 Paper On the power of inductive inference from good examples 1993-08-30 Paper Syntactic inductive synthesis using examples of programs with...

resultant subtleties 2016-04-28 Paper Topological separations in inductive inference 2016-02-26 Paper Effectivity Questions for Kleene’s Recursion Theorem...

Theory and Kernel Machines 2010-03-23 Paper Learning Theory and Kernel Machines 2010-03-23 Paper Learning Theory and Kernel Machines 2010-03-23 Paper Algorithmic...

1984-01-01 Paper Inductive Inference and Computable One‐One Numberings 1982-01-01 Paper Research in the theory of inductive inference by GDR mathematicians...

Approximations of system W between c-inference, system Z, and lexicographic inference 2024-08-15 Paper Representing nonmonotonic inference based on c-representations...

class 2 2023-10-12 Paper Alternating automatic register machines 2023-07-28 Paper Addition machines, automatic functions and open problems of Floyd and Knuth...

of queries needed to identify regular languages 1981-01-01 Paper Inductive inference of formal languages from positive data 1980-01-01 Paper Finding patterns...

representation-independent independence results 1987-01-01 Paper Inductive inference of approximations 1986-01-01 Paper...

de/entity/Q4145810 1977-01-01 Paper Toward a mathematical theory of inductive inference 1975-01-01 Paper...

Discounted MDPs 2012-10-16 Paper Algorithmic Randomness as Foundation of Inductive Reasoning and Artificial Intelligence 2012-03-29 Paper Asymptotically Optimal...

testing and Abelian varieties over finite fields 1992-09-18 Paper Inductive inference and unsolvability 1992-06-27 Paper https://portal.mardi4nfdi.de/entity/Q3972531...

2011-06-15 Paper ProbLog Technology for Inference in a Probabilistic First Order Logic 2011-05-11 Paper Probabilistic Inductive Querying Using ProbLog 2010-12-22...

Costs of general purpose learning 2001-08-20 Paper Tradeoffs in the inductive inference of nearly minimal size programs 1982-01-01 Paper...

de/entity/Q3750113 1985-01-01 Paper A complete inference system for a class of regular behaviours 1984-01-01 Paper The use of machines to assist in rigorous proof 1984-01-01...

extended pattern unification 2022-05-04 Paper From axioms to synthetic inference rules via focusing 2022-04-01 Paper https://portal.mardi4nfdi.de/entity/Q5014803...