Clemens Kupke
Dr Clemens Kupke
See also
Selected Publications
-
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz
In Journal of the ACM. Vol. 68. No. 5. Pages 35:1–87. October, 2021.
Details about Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity | BibTeX data for Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity | Link to Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
-
Stable Model Semantics for Guarded Existential Rules and Description Logics
Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz
In Chitta Baral and Giuseppe De Giacomo, editors, Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning‚ KR 2014‚ Vienna‚ Austria‚ July 20−24‚ 2014. Pages 258−267. AAAI Press. July, 2014.
Details about Stable Model Semantics for Guarded Existential Rules and Description Logics | BibTeX data for Stable Model Semantics for Guarded Existential Rules and Description Logics | Link to Stable Model Semantics for Guarded Existential Rules and Description Logics
-
Well−Founded Semantics for Extended Datalog and Ontological Reasoning
André Hernich‚ Clemens Kupke‚ Thomas Lukasiewicz and Georg Gottlob
In Thomas Eiter‚ Birte Glimm‚ Yevgeny Kazakov and Markus Krötzsch, editors, Proceedings of the 26th International Workshop on Description Logics‚ DL 2013‚ Ulm‚ Germany‚ July 23−26‚ 2013. Vol. 1014 of CEUR Workshop Proceedings. Pages 209−220. CEUR−WS.org. 2013.
Details about Well−Founded Semantics for Extended Datalog and Ontological Reasoning | BibTeX data for Well−Founded Semantics for Extended Datalog and Ontological Reasoning | Download (pdf) of Well−Founded Semantics for Extended Datalog and Ontological Reasoning