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]

Authors

Johannes Oetsch

This author has not been identified. Look up 'Johannes Oetsch' in Google

Michael Prischink

This author has not been identified. Look up 'Michael Prischink' in Google

Jörg Pührer

This author has not been identified. Look up 'Jörg Pührer' in Google

Martin Schwengerer

This author has not been identified. Look up 'Martin Schwengerer' in Google

Hans Tompits

This author has not been identified. Look up 'Hans Tompits' in Google