736 search results - page 83 / 148 » A Science of Reasoning (Extended Abstract) |
215
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
122
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vect...
100
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Robotics researchers are often faced with realtime constraints, and for that reason algorithmic and implementation-level optimization can dramatically increase the over...
143
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
121
click to vote
IWOCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Although there exist many polynomial algorithms for NPhard problems running on a bounded clique-width expression of the input graph, there exists only little comparable w...