367 search results - page 26 / 74 » Prolog |
INFORMATICALT
2008
13 years 7 months ago
2008
JMLR
2006
13 years 7 months ago
2006
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...
ML
2008
ACM
13 years 7 months ago
2008
ACM
CORR
2002
Springer
13 years 7 months ago
2002
Springer
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...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
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, ...