I'm interested in the interplay between non-monotonic reasoning and
constraint programming techniques. In the past, I've identified
translations from default
theories to partial constraint satisfaction
problems and vice versa.
I'm currently looking at the semantics of
constraint logic programming languages with default negation and
constraint assumptions. My AAAI-99
paper is a first cut at the problem,
and includes techniques for incorporating constraint assumptions in
abductive constraint logic programming.