536 search results - page 43 / 108 » A Translational Approach to Constraint Answer Set Solving |
134
click to vote
ESEM
2008
ACM
15 years 5 months ago
2008
ACM
Software effort estimation techniques abound, each with its own set of advantages and disadvantages, and no one proves to be the single best answer. Combining estimating is an app...
119
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Cost-based filtering is a novel approach that combines techniques from Operations Research and Constraint Programming to filter from decision variable domains values that...
118
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
135
click to vote
ICIDS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...
153
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
In the paper we discuss the problem of data integration in a P2P environment. In such setting each peer stores schema of its local data, mappings between the schema and schemas of...