3090 search results - page 38 / 618 » On Testing Answer-Set Programs |
LPNMR
2007
Springer
14 years 4 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
ASP
2005
Springer
14 years 3 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
ASP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
ASP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
LPNMR
2004
Springer
14 years 3 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...