Sciweavers

367 search results - page 26 / 74
» Prolog
Sort
View
JMLR
2006
112views more  JMLR 2006»
14 years 12 months ago
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...
Andrea Passerini, Paolo Frasconi, Luc De Raedt
ML
2008
ACM
100views Machine Learning» more  ML 2008»
14 years 12 months ago
Compressing probabilistic Prolog programs
Luc De Raedt, Kristian Kersting, Angelika Kimmig, ...
CORR
2002
Springer
141views Education» more  CORR 2002»
14 years 11 months ago
Question answering: from partitions to Prolog
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
Balder ten Cate, Chung-chieh Shan
CORR
2002
Springer
133views Education» more  CORR 2002»
14 years 11 months ago
Declarative program development in Prolog with GUPU
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
Ulrich Neumerkel, Stefan Kral