UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Experiments with SAT-based Answer Set Programming (2006)
Enrico Giunchiglia,
Yuliya Lierler
, Marco Maratea, and Armando Tacchella
Abstract. Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Propositional satisfiability (SAT) is one of the most studied problems in Computer Science. ASP and SAT are closely related: Recent works have studied their relation, and efficient SAT-based ASP solvers (like assat and Cmodels) exist. In this paper we report about (i) the extension of the basic procedures in Cmodels in order to incorporate the most popular SAT reasoning strategies, and (ii) an extensive comparative analysis involving also other state-of-the-art answer set solvers. The experimental analysis points out, besides the fact that Cmodels is highly competitive, that the reasoning strategies that work best on "small but hard" problems are ineffective on "big but easy" problems and vice-versa.
View:
PDF
Citation:
In
Search and Logic: Answer Set Programming and SAT, LaSh-06, A Workshop affiliated with ICLP, as part of FLoC
2006.
Bibtex:
@inproceedings{giunchiglia:LaSh06, title={Experiments with SAT-based Answer Set Programming}, author={Enrico Giunchiglia and Yuliya Lierler and Marco Maratea and Armando Tacchella}, booktitle={Search and Logic: Answer Set Programming and SAT, LaSh-06, A Workshop affiliated with ICLP, as part of FLoC}, url="http://www.cs.utexas.edu/users/ai-lab?giunchiglia:LaSh06", year={2006} }
People
Yuliya Lierler
Ph.D. Alumni
ylierler [at] unomaha edu
Areas of Interest
Answer Set Programming