1781 search results - page 43 / 357 » Functional Answer Set Programming |
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
ASP
2001
Springer
14 years 2 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...
ICALP
2007
Springer
14 years 4 months ago
2007
Springer
FQAS
2006
Springer
14 years 2 months ago
2006
Springer
Consistent query answering is the term commonly used for the problem of answering queries on databases that violate certain integrity constraints. We address this problem for univ...
JUCS
2008
13 years 10 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...