Answer Set Programming Modulo Acyclicity

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub. Answer Set Programming Modulo Acyclicity. In Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Volume 9345 of Lecture Notes in Computer Science, pages 143-150, Springer, 2015. [doi]

@inproceedings{BomansonGJKS15,
  title = {Answer Set Programming Modulo Acyclicity},
  author = {Jori Bomanson and Martin Gebser and Tomi Janhunen and Benjamin Kaufmann and Torsten Schaub},
  year = {2015},
  doi = {10.1007/978-3-319-23264-5_13},
  url = {http://dx.doi.org/10.1007/978-3-319-23264-5_13},
  researchr = {https://researchr.org/publication/BomansonGJKS15},
  cites = {0},
  citedby = {0},
  pages = {143-150},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings},
  editor = {Francesco Calimeri and Giovambattista Ianni and Miroslaw Truszczynski},
  volume = {9345},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-23263-8},
}