11 search results - page 3 / 3 » A Logical Approach to Decidability of Hierarchies of Regular... |
ICLP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...