UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Abstract Answer Set Solvers with Backjumping and Learning (2011)
Yuliya Lierler
Nieuwenhuis, Oliveras, and Tinelli (2006) showed how to describe enhancements of the Davis-Putnam-Logemann-Loveland algorithm using transition systems, instead of pseudocode. We design a similar framework for several algorithms that generate answer sets for logic programs: Smodels, Smodels_cc, Asp-sat with Learning, Cmodels, and a newly designed and implemented algorithm Sup. This approach to describing answer set solvers makes it easier to prove their correctness, to compare them, and to design new systems.
View:
PDF
Citation:
Theory and Practice of Logic Programming
(2011).
Bibtex:
@article{lierler:aaspl, title={Abstract Answer Set Solvers with Backjumping and Learning}, author={Yuliya Lierler}, journal={Theory and Practice of Logic Programming}, url="http://www.cs.utexas.edu/users/ai-lab?lierler:aaspl", year={2011} }
People
Yuliya Lierler
Ph.D. Alumni
ylierler [at] unomaha edu
Areas of Interest
Answer Set Programming