1024 search results - page 50 / 205 » Value complete, column complete, predicate complete |
122
click to vote
TABLEAUX
1999
Springer
15 years 5 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
110
click to vote
TABLEAUX
1998
Springer
15 years 5 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
104
click to vote
ICML
1994
IEEE
15 years 5 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...
117
click to vote
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...