Refuting learning revisited.
type: Item
instance of: scholarly article
title: Refuting learning revisited.
zbMATH Open document ID: 1038.68100
DOI: 10.1016/S0304-3975(02)00422-X
author: Wolfgang Merkle
author: Frank Stephan
published in: Theoretical Computer Science
publication date: 2003-05-22T00:00:00Z
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 1915305
zbMATH Keywords: Refuting learning
zbMATH Keywords: Inductive inference
zbMATH Keywords: Axiomatizable classes
zbMATH Keywords: First-order logic
zbMATH Keywords: Recursion theory
MaRDI profile type: Publication
cites work: Inductive inference and unsolvability
cites work: Q5525343
cites work: Q4298571
cites work: Learning via queries in [+, <]
cites work: Learning via queries
cites work: Language identification in the limit
cites work: Reflecting inductive inference machines and its improvement by therapy
cites work: Learning with refutation
cites work: On learning of functions refutably.
cites work: Elementary formal systems, intrinsic complexity, and procrastination
cites work: Q4223173
cites work: Inductive inference from theory laden data
cites work: Q4470570
cites work: Scientific discovery based on belief revision
cites work: Learning power and language expressiveness.
cites work: Some natural properties of strong-identification in inductive inference
cites work: Q4267817
cites work: Towards a mathematical theory of machine discovery from facts
cites work: Classical recursion theory. The theory of functions and sets of natural numbers
cites work: Decidability and essential undecidability
cites work: Inductive inference of monotonic formal systems from positive data
cites work: Logical number theory I. An introduction
cites work: Q4040892
cites work: Classifying regular events in symbolic logic
cites work: Q4385530
cites work: Q4281563
full work available at URL: s0304-3975(02)00422-x
OpenAlex ID: W2123725173
description: scientific article; zbMATH DE number 1915305