Sciweavers

137
Voted
AUSAI
2006
Springer
15 years 10 months ago
Heyting Domains for Constraint Abduction
Abstract. We investigate constraint domains in which answers to constraint abduction problems can be represented compactly by a most general answer. We demonstrate several classes ...
Michael J. Maher