ASP Solving for Expanding Universes

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub. ASP Solving for Expanding Universes. 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 354-367, Springer, 2015. [doi]

@inproceedings{GebserJJKS15,
  title = {ASP Solving for Expanding Universes},
  author = {Martin Gebser and Tomi Janhunen and Holger Jost and Roland Kaminski and Torsten Schaub},
  year = {2015},
  doi = {10.1007/978-3-319-23264-5_30},
  url = {http://dx.doi.org/10.1007/978-3-319-23264-5_30},
  researchr = {https://researchr.org/publication/GebserJJKS15},
  cites = {0},
  citedby = {0},
  pages = {354-367},
  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},
}