Removing Redundancy from Answer Set Programs

Tomi Janhunen. Removing Redundancy from Answer Set Programs. In Maria Garcia de la Banda, Enrico Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Volume 5366 of Lecture Notes in Computer Science, pages 729-733, Springer, 2008. [doi]

@inproceedings{Janhunen08,
  title = {Removing Redundancy from Answer Set Programs},
  author = {Tomi Janhunen},
  year = {2008},
  doi = {10.1007/978-3-540-89982-2_66},
  url = {http://dx.doi.org/10.1007/978-3-540-89982-2_66},
  tags = {redundancy},
  researchr = {https://researchr.org/publication/Janhunen08},
  cites = {0},
  citedby = {0},
  pages = {729-733},
  booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings},
  editor = {Maria Garcia de la Banda and Enrico Pontelli},
  volume = {5366},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89981-5},
}