10 search results - page 1 / 2 » Diagnosis and Debugging as Contradiction Removal in Logic Pr... |
60
Voted
EPIA
1993
Springer
15 years 3 months ago
1993
Springer
89
Voted
ICLP
2007
Springer
15 years 5 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)...
86
Voted
AAAI
2008
15 years 1 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...
111
Voted
AADEBUG
2000
Springer
15 years 3 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...
137
Voted
CLIMA
2006
15 years 10 days 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...