912 search results - page 113 / 183 » Abstract Saturation-Based Inference |
119
Voted
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
114
click to vote
COLT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Probabilistic finite automata (PFA) model stochastic languages, i.e. probability distributions over strings. Inferring PFA from stochastic data is an open field of rese...
129
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
122
click to vote
ESWS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We propose a novel approach to reverse engineering of relational databases to ontologies. Our approach is based on the idea that semantics of a relational database can be...
106
click to vote
MICAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We explore the impact of including hue in a feature construction algorithm for colour target detection. Hue has a long standing record as a good attribute in colour segme...