Clemens Kupke
|
Dr Clemens Kupke
Research Assistant
Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
Selected Publications
| 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. |
| Coalgebraic semantics of modal logics: An overview Clemens Kupke and Dirk Pattinson In Theoretical Computer Science. Vol. 412. No. 38. Pages 5070–5094. 2011. |
| 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. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
