On the Small-Scope Hypothesis for Testing Answer-Set Programs

Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits. On the Small-Scope Hypothesis for Testing Answer-Set Programs. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, 2012. [doi]

@inproceedings{OetschPPST12,
  title = {On the Small-Scope Hypothesis for Testing Answer-Set Programs},
  author = {Johannes Oetsch and Michael Prischink and Jörg Pührer and Martin Schwengerer and Hans Tompits},
  year = {2012},
  url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4550},
  researchr = {https://researchr.org/publication/OetschPPST12},
  cites = {0},
  citedby = {0},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012},
  editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith},
  publisher = {AAAI Press},
  isbn = {978-1-57735-560-1},
}