443 search results - page 14 / 89 » SAT-Based Answer Set Programming |
LANMR
2004
13 years 9 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
ICLP
2003
Springer
14 years 29 days ago
2003
Springer
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
LPNMR
2007
Springer
14 years 1 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...