Compilation of Conditional Knowledge Bases for Computing C-Inference Relations

Christoph Beierle, Steven Kutsch, Kai Sauerwald. Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. In Flavio Ferrarotti, Stefan Woltran, editors, Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. Volume 10833 of Lecture Notes in Computer Science, pages 34-54, Springer, 2018. [doi]

Abstract

Abstract is missing.