536 search results - page 32 / 108 » A Translational Approach to Constraint Answer Set Solving |
105
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
119
click to vote
ICDT
2003
ACM
15 years 7 months ago
2003
ACM
We state and solve the query reformulation problem for XML publishing in a general setting that allows mixed (XML and relational) storage for the proprietary data and exploits redu...
118
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
117
click to vote
CPAIOR
2010
Springer
15 years 6 months ago
2010
Springer
We introduce an approach which combines ACO (Ant Colony Optimization) and IBM ILOG CP Optimizer for solving COPs (Combinatorial Optimization Problems). The problem is modeled using...
100
click to vote
DKE
2010
15 years 2 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...