622 search results - page 4 / 125 » Answer Set Programming and Bounded Model Checking |
ICLP
2005
Springer
14 years 17 days 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...
ASP
2001
Springer
13 years 10 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
AMAI
2007
Springer
13 years 7 months ago
2007
Springer
FOIKS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
ECBS
2010
IEEE
13 years 11 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...