6 search results - page 2 / 2 » Declarative Debugging of Missing Answers in Constraint Funct... |
120
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...