On Structural Analysis of Non-Ground Answer-Set Programs

Benjamin Kiesl, Peter Schüller, Hans Tompits. On Structural Analysis of Non-Ground Answer-Set Programs. In Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni, editors, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. Volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

Authors

Benjamin Kiesl

This author has not been identified. Look up 'Benjamin Kiesl' in Google

Peter Schüller

This author has not been identified. Look up 'Peter Schüller' in Google

Hans Tompits

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