Uniform Evaluation of Nonmonotonic DL-Programs

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]

Authors

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Thomas Krennwallner

This author has not been identified. Look up 'Thomas Krennwallner' in Google

Patrik Schneider

This author has not been identified. Look up 'Patrik Schneider' in Google

Guohui Xiao

This author has not been identified. Look up 'Guohui Xiao' in Google