1097 search results - page 48 / 220 » Revision Programming = Logic Programming Integrity Constra... |
123
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
140
click to vote
ALT
2004
Springer
16 years 3 days ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
142
click to vote
WLP
2004
Springer
15 years 8 months ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
108
click to vote
WEA
2005
Springer
15 years 8 months ago
2005
Springer
We present a general framework for approximating several NP-hard problems that have two underlying properties in common. First, the problems we consider can be formulated as intege...
233
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
When interval methods handle systems of equations over the reals, two main types of filtering/contraction algorithms are used to reduce the search space. When the system is well-co...