UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
A Transition System for AC Language Algorithms (2011)
Yuliya Lierler
and Yuanlin Zhang
Recently a logic programming language AC was proposed by Mellarkod et al. (2008) to integrate answer set programming (ASP) and constraint logic programming. In a similar vein, Gebser et al. (2009) proposed a Clingcon language integrating ASP and finite domain constraints. A distinguishing feature of these languages is their capacity to allow new efficient inference algorithms that combine traditional ASP procedures and other efficient methods in constraint programming. In this paper we show that a transition system introduced by Nieuwenhuis et al. (2006) can be extended to model the ``hybrid" Acsolver algorithm, by Mellarkod et al., designed for processing a class of simple AC programs. We also define a new class of weakly-simple programs and show how the introduced transition system describes a class of algorithms for such programs. Finally, we demonstrate that any Clingcon program can be seen as an AC program.
View:
PDF
Citation:
In
Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)
, 2011 2011.
Bibtex:
@inproceedings{lier11a, title={A Transition System for AC Language Algorithms}, author={Yuliya Lierler and Yuanlin Zhang}, booktitle={Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)}, number={2011}, url="http://www.cs.utexas.edu/users/ai-lab?lier11a", year={2011} }
People
Yuliya Lierler
Ph.D. Alumni
ylierler [at] unomaha edu
Areas of Interest
Answer Set Programming
Logic