1144 search results - page 86 / 229 » Logic programming for combinatorial problems |
108
click to vote
CPAIOR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...
116
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
112
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
This paper describes experiments on learning Dutch phonotactic rules using Inductive Logic Programming, a machine learning approach based on the notion of inverting resolution. Di...
155
Voted
FOCS
2005
IEEE
15 years 8 months ago
2005
IEEE
We give a general technique to obtain approximation mechanisms that are truthful in expectation. We show that for packing domains, any α-approximation algorithm that also bounds ...
133
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...