Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran. ARVis: Visualizing Relations between Answer Sets. In Pedro Cabalar, Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Volume 8148 of Lecture Notes in Computer Science, pages 73-78, Springer, 2013. [doi]
Abstract is missing.