Clemens Kupke : Publications
|
[1] |
Well−Founded Semantics for Extended Datalog and Ontological Reasoning Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz In W. Fan, editor, Proceedings of the 32nd ACM Symposium on Principles of Database Systems‚ PODS 2013‚ New York‚ New York‚ USA‚ June 22−27‚ 2013. ACM Press. 2013. Accepted for publication. |
|
[2] |
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. |
|
[3] |
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. |
|
[4] |
Coalgebraic semantics of modal logics: An overview Clemens Kupke and Dirk Pattinson In Theoretical Computer Science. Vol. 412. No. 38. Pages 5070–5094. 2011. |
|
[5] |
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. |
|
[6] |
On the final coalgebra of automatic sequences Clemens Kupke and Jan Rutten No. SEN−1112. CWI Amsterdam. 2011. |
|
[7] |
Stream Differential Equations: concrete formats for coinductive definitions Clemens Kupke‚ Milad Niqui and Jan Rutten No. RR−11−10. 2011. |