Clemens Kupke : Publications
Journal papers
-
[1]
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
-
[2]
Coalgebraic semantics of modal logics: An overview
Clemens Kupke and Dirk Pattinson
In Theoretical Computer Science. Vol. 412. No. 38. Pages 5070–5094. 2011.
Details about Coalgebraic semantics of modal logics: An overview | BibTeX data for Coalgebraic semantics of modal logics: An overview | Link to Coalgebraic semantics of modal logics: An overview
-
[3]
EXPTIME Tableaux for the Coalgebraic mu−Calculus
Corina Cirstea‚ Clemens Kupke and Dirk Pattinson
In Logical Methods in Computer Science. Vol. 7. No. 3. 2011.
Details about EXPTIME Tableaux for the Coalgebraic mu−Calculus | BibTeX data for EXPTIME Tableaux for the Coalgebraic mu−Calculus | Link to EXPTIME Tableaux for the Coalgebraic mu−Calculus
Conference papers
-
[1]
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
-
[2]
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
-
[3]
Well−Founded Semantics for Extended Datalog and Ontological Reasoning
André Hernich‚ Clemens Kupke‚ Thomas Lukasiewicz and Georg Gottlob
In Richard Hull and Wenfei Fan, editors, Proceedings of the 32nd ACM Symposium on Principles of Database Systems‚ PODS 2013‚ New York‚ New York‚ USA‚ June 22−27‚ 2013. Pages 225−236. ACM Press. 2013.
Details about Well−Founded Semantics for Extended Datalog and Ontological Reasoning | BibTeX data for Well−Founded Semantics for Extended Datalog and Ontological Reasoning | Link to Well−Founded Semantics for Extended Datalog and Ontological Reasoning
-
[4]
Equality−Friendly Well−Founded Semantics and Applications to Description Logics
Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz
In Yevgeny Kazakov‚ Domenico Lembo and Frank Wolter, editors, Proceedings of the 25th International Workshop on Description Logics‚ DL 2012‚ Rome‚ Italy‚ June 7−10‚ 2012. Vol. 846 of CEUR Workshop Proceedings. CEUR−WS.org. 2012.
Details about Equality−Friendly Well−Founded Semantics and Applications to Description Logics | BibTeX data for Equality−Friendly Well−Founded Semantics and Applications to Description Logics | Download (pdf) of Equality−Friendly Well−Founded Semantics and Applications to Description Logics
-
[5]
Equality−Friendly Well−Founded Semantics and Applications to Description Logics
Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz
In J. Hoffmann and B. Selman, editors, Proceedings of the 26th National Conference on Artificial Intelligence‚ AAAI 2012‚ Toronto‚ Ontario‚ Canada‚ July 2012. AAAI Press. 2012.
Details about Equality−Friendly Well−Founded Semantics and Applications to Description Logics | BibTeX data for Equality−Friendly Well−Founded Semantics and Applications to Description Logics | Link to Equality−Friendly Well−Founded Semantics and Applications to Description Logics
Technical reports
-
[1]
On the final coalgebra of automatic sequences
Clemens Kupke and Jan Rutten
No. SEN−1112. CWI Amsterdam. 2011.
Details about On the final coalgebra of automatic sequences | BibTeX data for On the final coalgebra of automatic sequences | Download (pdf) of On the final coalgebra of automatic sequences
-
[2]
Stream Differential Equations: concrete formats for coinductive definitions
Clemens Kupke‚ Milad Niqui and Jan Rutten
No. RR−11−10. 2011.
Details about Stream Differential Equations: concrete formats for coinductive definitions | BibTeX data for Stream Differential Equations: concrete formats for coinductive definitions | Download (pdf) of Stream Differential Equations: concrete formats for coinductive definitions