Sciweavers

AUSAI
2006
Springer
15 years 19 days 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