Value Withdrawal Explanation in CSP

Details Value Withdrawal Explanation in CSP Value Withdrawal Explanation in CSP

2000-12-11

arxiv.org/abs/cs/0012005v1

Computer Science

Software Engineering

In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munic

Scientific paper

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, constraint solving amounts to domain reduction. A computation is formalized by a chaotic iteration. The computed result is described as a closure. This model is well suited to the design of debugging notions and tools, for example failure explanations or error diagnosis. In this paper we detail an application of the model to an explanation of a value withdrawal in a domain. Some other works have already shown the interest of such a notion of explanation not only for failure analysis.

Affiliated with

Also associated with

No associations

Rating

Value Withdrawal Explanation in CSP does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Value Withdrawal Explanation in CSP, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Value Withdrawal Explanation in CSP will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-149309