Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao. Uniform Evaluation of Nonmonotonic DL-Programs. In Thomas Lukasiewicz, Attila Sali, editors, Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings. Volume 7153 of Lecture Notes in Computer Science, pages 1-22, Springer, 2012. [doi]
Abstract is missing.