UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
ASP-Based Problem Solving with Cutting-Edge Tools (2011)
Marcello Balduccini and
Yuliya Lierler
In the development of practical applications of answer set programming (ASP), encodings that use well-established solvers such as Clasp and Dlv are sometimes affected by scalability issues. In those situations, one can resort to more sophisticated ASP tools exploiting, for instance, incremental and constraint ASP. However, today there is no specific methodology for the selection or use of such tools. In this paper we describe how we used such cutting-edge ASP tools on challenging problems from the Third Answer Set Programming Competition, and outline the methodology we followed. We view this paper as a first step in the development of a general methodology for the use of advanced ASP tools.
View:
PDF
Citation:
In
Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)
2011.
Bibtex:
@inproceedings{lier11c, title={ASP-Based Problem Solving with Cutting-Edge Tools}, author={Marcello Balduccini and Yuliya Lierler}, booktitle={Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) }, url="http://www.cs.utexas.edu/users/ai-lab?lier11c", year={2011} }
People
Yuliya Lierler
Ph.D. Alumni
ylierler [at] unomaha edu
Areas of Interest
Answer Set Programming
Logic