ILP
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
ILP
1998
Springer
14 years 3 months ago
1998
Springer
Cohen's [1] refinement rules provide a flexible mechanism for introducing intentional background knowledge in an ILP system. Whereas Cohen used a limited second order theorem ...
ILP
1998
Springer
14 years 3 months ago
1998
Springer
ILP
1998
Springer
14 years 3 months ago
1998
Springer
ILP
1998
Springer
14 years 3 months ago
1998
Springer
ILP
1998
Springer
14 years 3 months ago
1998
Springer
ILP
1998
Springer
14 years 3 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...
ICLP
1998
Springer
14 years 3 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
ICLP
1998
Springer
14 years 3 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
ICLP
1998
Springer
14 years 3 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...