648 search results - page 40 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
122
click to vote
JAIR
2011
14 years 8 months ago
2011
Bound propagation is an important Artificial Intelligence technique used in Constraint Programming tools to deal with numerical constraints. It is typically embedded within a sea...
133
click to vote
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
121
click to vote
PLILP
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
209
click to vote
GIS
2007
ACM
16 years 2 months ago
2007
ACM
Given a transportation network, a vulnerable population, and a set of destinations, evacuation route planning identifies routes to minimize the time to evacuate the vulnerable pop...
151
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...