34 search results - page 1 / 7 » The Second Answer Set Programming Competition |
LPNMR
2009
Springer
14 years 5 months ago
2009
Springer
LPNMR
2007
Springer
14 years 5 months ago
2007
Springer
This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonm...
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
ASP
2001
Springer
14 years 3 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
LPNMR
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...