3047 search results - page 164 / 610 » On the Meaning of Logical Completeness |
ICML
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...
118
click to vote
ICLP
2010
Springer
15 years 4 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...
109
Voted
AAAI
2007
15 years 3 months ago
2007
Transfer learning addresses the problem of how to leverage knowledge acquired in a source domain to improve the accuracy and speed of learning in a related target domain. This pap...
105
click to vote
IJCAI
2003
15 years 2 months ago
2003
We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...
86
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of ...