443 search results - page 14 / 89 » SAT-Based Answer Set Programming |
130
Voted
LANMR
2004
15 years 3 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...
208
Voted
ICLP
2009
Springer
16 years 2 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...
101
Voted
LPNMR
2007
Springer
15 years 8 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...