Sciweavers

367 search results - page 44 / 74
» Prolog
Sort
View
ILP
2007
Springer
14 years 2 months ago
Learning with Kernels and Logical Representations
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
Paolo Frasconi
ICLP
2005
Springer
14 years 1 months ago
Guard and Continuation Optimization for Occurrence Representations of CHR
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
Jon Sneyers, Tom Schrijvers, Bart Demoen
IEAAIE
2005
Springer
14 years 1 months ago
Inferring Definite-Clause Grammars to Express Multivariate Time Series
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
Gabriela Guimarães, Luís Moniz Perei...
TMRA
2005
Springer
14 years 1 months ago
tolog - A Topic Maps Query Language
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
Lars Marius Garshol
CP
2004
Springer
14 years 1 months ago
Deriving Filtering Algorithms from Constraint Checkers
Abstract. This article deals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in n, w...
Nicolas Beldiceanu, Mats Carlsson, Thierry Petit