Sciweavers

Share
AUSAI
2006
Springer

Heyting Domains for Constraint Abduction

9 years 9 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 of domains which have this property, but show that the property is not compositional.
Michael J. Maher
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where AUSAI
Authors Michael J. Maher
Comments (0)
books