10 search results - page 1 / 2 » Diagnosis and Debugging as Contradiction Removal in Logic Pr... |
EPIA
1993
Springer
13 years 10 months ago
1993
Springer
ICLP
2007
Springer
14 years 13 days 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)...
AAAI
2008
13 years 8 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
AADEBUG
2000
Springer
13 years 10 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
CLIMA
2006
13 years 7 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...