1581 search results - page 29 / 317 » Mechanizing Inductive Reasoning |
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
107
click to vote
ILP
2000
Springer
15 years 5 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
123
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
130
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
ML
2000
ACM
15 years 1 months ago
2000
ACM
Abstract. A single mechanism is responsible for three pathologies of induction algorithms: attribute selection errors, overfitting, and oversearching. In each pathology, induction ...