Sciweavers

ECAI
2006
Springer

Approximating Extended Answer Sets

13 years 8 months ago
Approximating Extended Answer Sets
Abstract. We present an approximation theory for the extended answer set semantics, using the concept of an approximation constraint. Intuitively, an approximation constraint, while satisfied by a "perfect" solution, may be left unsatisfied in an approximate extended answer set. Approximations improve as the number of unsatisfied constraints decreases. We show how the framework can also capture the classical answer set semantics, thus providing an approximative version of the latter.
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where ECAI
Authors Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
Comments (0)