GrinGo : A New Grounder for Answer Set Programming

Martin Gebser, Torsten Schaub, Sven Thiele. GrinGo : A New Grounder for Answer Set Programming. In Chitta Baral, Gerhard Brewka, John S. Schlipf, editors, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings. Volume 4483 of Lecture Notes in Computer Science, pages 266-271, Springer, 2007. [doi]

@inproceedings{GebserST07,
  title = {GrinGo : A New Grounder for Answer Set Programming},
  author = {Martin Gebser and Torsten Schaub and Sven Thiele},
  year = {2007},
  doi = {10.1007/978-3-540-72200-7_24},
  url = {http://dx.doi.org/10.1007/978-3-540-72200-7_24},
  tags = {programming},
  researchr = {https://researchr.org/publication/GebserST07},
  cites = {0},
  citedby = {0},
  pages = {266-271},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
  editor = {Chitta Baral and Gerhard Brewka and John S. Schlipf},
  volume = {4483},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72199-4},
}