2 search results - page 1 / 1 » Manifold Answer-Set Programs for Meta-reasoning |
LPNMR
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
JELIA
2010
Springer
13 years 2 months ago
2010
Springer
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...