On the Relation of Constraint Answer Set Programming Languages and Algorithms

@inproceedings{Lierler2012OnTR,
  title={On the Relation of Constraint Answer Set Programming Languages and Algorithms},
  author={Yuliya Lierler},
  booktitle={AAAI},
  year={2012}
}
Recently a logic programming language AC was proposed by Mellarkod et al. (2008) to integrate answer set programming (ASP) and constraint logic programming. Similarly, Gebser et al. (2009) proposed a CLINGCON language integrating ASP and finite domain constraints. These languages allow new efficient inference algorithms that combine traditional ASP procedures and other methods in constraint programming. Inthis paper we show that a transition system introduced by Nieuwenhuis et al. (2006) to… CONTINUE READING

Similar Papers