4126 search results - page 530 / 826 » Set based logic programming |
137
Voted
ASP
2001
Springer
15 years 8 months ago
2001
Springer
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...
211
Voted
ALC
1997
15 years 5 months ago
1997
A predicative semantics is a mapping of programs to predicates. These predicates characterize sets of acceptable observations. The presence of time in the observations makes the o...
198
Voted
KI
2011
Springer
14 years 10 months ago
2011
Springer
Abstract We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by technique...
135
Voted
COCOA
2007
Springer
15 years 9 months ago
2007
Springer
The Two-Sided Crossing Minimization (TSCM) problem calls for minimizing the number of edge crossings of a bipartite graph where the two sets of vertices are drawn on two parallel l...
149
Voted
IFIP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This article presents a novel framework to register and fuse heterogeneous sensory data. Our approach is based on geometrically registration of sensory data onto a set of...