ASP Encodings of Acyclicity Properties

Martin Gebser, Tomi Janhunen, Jussi Rintanen. ASP Encodings of Acyclicity Properties. In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, 2014. [doi]

Abstract

Abstract is missing.