50 search results - page 1 / 10 » On the relation among answer set solvers |
AMAI
2008
Springer
13 years 5 months ago
2008
Springer
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using an...
AISC
2006
Springer
13 years 8 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...