Up a level |
Number of items: 1.
Gottlob, Georg, Hernich, André, Kupke, Clemens and Lukasiewicz, Thomas
(2014)
Stable Model Semantics for Guarded Existential Rules and Description Logics.
In: 14th International Conference on Principles of Knowledge Representation and Reasoning, 2014-7-20 - 2014-7-24, Vienna, Austria.