| Publications |
|
Conference Papers
- N. Ghani, C. Kupke, A. Lambert, F. Nordvall Forsberg
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games ACT 2019
- S. Enqvist, H. Hvid Hansen, C. Kupke, J. Marti, Y. Venema
Completeness for Game Logic LICS 2019
- S. Barlocco, C. Kupke, J. Rot
Coalgebra Learning via Duality Fossacs 2019
- S. Barlocco, C. Kupke
Angluin Learning via Logic. LFCS 2018
- H. H. Hansen, C. Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic. DALI@TABLEAUX 2017
- N. Bezhanishvili, C. Kupke
Games for Topological Fixpoint Logic.
GandALF 2016.
- Clemens Kupke, Dirk Pattinson, Lutz Schröder
Reasoning with Global Assumptions in Arithmetic Modal Logics.
FCT 2015.
- Helle H. Hansen, C. Kupke
Weak Completeness of Coalgebraic Dynamic Logics. FICS 2015.
- Helle H. Hansen, C. Kupke, R.A. Leal
Strong Completeness for Iteration-Free Coalgebraic
Dynamic Logics. IFIP TCS 2014.
- G. Gottlob, A. Hernich, C. Kupke, T. Lukasiewicz.
Stable Model Semantics for Guarded Existential Rules
and Description Logics.
KR 2014
- G. Gottlob, A. Hernich, C. Kupke and T. Lukasiewicz
Well-Founded Semantics for Extended Datalog and Ontological Reasoning
Proceedings of PODS 2013.
- N. Bezhanishvili, C. Kupke and P. Panangaden. Minimization via Duality. Proceedings of the 19th Workshop on Logic, Language, Information and Computation, 2012.
- G. Gottlob, A. Hernich, C. Kupke and T. Lukasiewicz. Equality-Friendly Well-Founded Semantics and Applications to Description Logics. Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intellligence, AAAI Press, 2012.
- G. Gottlob, A. Hernich, C. Kupke and T. Lukasiewicz. Equality-Friendly Well-Founded Semantics and Applications to Description Logics. In Proceedings of the 25th International Workshop on Description Logics, CEUR Workshop Proceedings 846, 2012.
- C. Kupke and J. Rutten. On the Final Coalgebra of Automatic Sequences. In Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Springer LNCS 7230, pp.~149-164, 2012. PDF of technical reposrt version.
- B. Cuenca Grau, I. Horrocks, M. Krötzsch, C. Kupke, D. Magka, B. Motik and Z. Wang. Acyclicity Conditions and their Application to Query Answering in Description Logics. Proceedings of KR 2012, AAAI Press, 2012.
- C. Kupke and D. Pattinson.
On Modal Logics of Linear Inequalities.
In Proceedings of AiML 2010.
- R. Goré, Clemens Kupke, D. Pattinson and L. Schröder.
Global Caching for Coalgebraic Description Logics.
In J. Giesl and R. Hähnle (Eds.): IJCAR 2010, LNCS 6173,
pp. 46-60, 2010.
- R. Goré, Clemens Kupke and D. Pattinson.
Optimal Tableau Algorithms for Coalgebraic Logics.
In J. Esparza and R. Majumdar (Eds.): TACAS 2010, LNCS 6015,
pp. 114-128, 2010.
- C. Kupke and R. Leal. Characterising Behavioural Equivalence: Three Sides of One Coin. In A. Kurz, M. Lenisa and A. Tarlecki (Eds.):CALCO 2009, LNCS 5728, pp. 97-112, 2009.
- L. Schröder, D. Pattinson and C. Kupke. Nominals for Everyone. In Craig Boutilier (Ed.), International Joint Conferences on Artificial Intelligence (IJCAI 2009). AAAI Press, Menlo Park, CA.
- C. Kupke. Terminal sequence induction via games. Proceedings of the 7th International Tbilisi Symposium on Language, Logic and Computation, LNCS 5422, 2009.
- C. Kupke, A. Kurz and Y. Venema. Completeness of the finitary Moss logic. Proceedings of AIML 2008.
- C. Kupke and J. Rutten. Observational Coalgebras and Complete Sets of Co-operations Electronic
Notes in Theoretical Computer Science 203, 2008.
- H. H. Hansen, C. Kupke and E. Pacuit. Bisimulations for Neighbourhood Structures, CALCO 2007. For the technical report version, click
here.
- C. Kupke, A. Kurz and D. Pattinson.
Ultrafilter extensions for
coalgebras , CALCO 2005.
- C. Kupke and Y. Venema.
Closure properties of coalgebra
automata, LICS 2005.
- H. H. Hansen and C. Kupke.
A coalgebraic perspective on
monotone modal logic, Electronic
Notes in Theoretical Computer Science 106, 2004.
- C. Kupke, A. Kurz and D. Pattinson.
Algebraic Semantics of
Coalgebraic Modal Logic, Electronic
Notes in Theoretical Computer Science 106, 2004.
- C. Kupke, A. Kurz and Y. Venema.
Stone Coalgebras, Electronic
Notes in Theoretical Computer Science 82(1), 2003.
For the extended technical report version, click
here.
Journal Papers
- N. Ghani, C. Kupke, A. Lambert, F. Nordvall Forsberg
A compositional treatment of iterated open games TCS 2018
- Helle Hvid Hansen, Clemens Kupke, Jan Rutten
Stream Differential Equations: Specification Formats and Solution Methods. Logical Methods in Computer Science 13(1).
- B. Cuenca Grau, I. Horrocks, M. Krötzsch, C. Kupke, D. Magka,
B. Motik and Z. Wang.
Acyclicity Notions for Existential Rules and Their
Application to Query Answering in Ontologies Journal of Artificial
Intelligence Research, volume 47, pages 741-808, 2013.
- C. Kupke, A. Kurz and Y. Venema.Completeness for the coalgebraic cover modality Accepted for publication in Logical Methods in Computer Science
- C. Kupke and D. Pattinson. Coalgebraic semantics of modal logics: An overview
Theoretical Computer Science, Vol. 412. No. 38. pp 5070-5094. 2011.
- C. Cirstea, C. Kupke and D. Pattinson. EXPTIME Tableaux for the Coalgebraic mu-Calculus Logical Methods in Computer Science, Vol. 7. No. 3. 2011.
- C. Kupke and J. Rutten. Complete sets of cooperations. Information and Computation, Vol 208, pp 1398-1420, 2010.
- H.H. Hansen, C. Kupke and E. Pacuit. Neighbourhood Structures: Bisimilarity and Basic Model Theory. Logical Methods in Computer Science, 5(2), 2009.
- C. Kupke and Y. Venema. Coalgebraic automata theory: basic results. Logical Methods in Computer Science, 4(4), 2008.
- C. Kupke, A. Kurz and Y. Venema.
Stone Coalgebras. Theoretical Computer Science 327(1-2), p.109-134, 2004.
PhD Thesis
Edited Volumes
Other Publications
clemens.kupkeeee@strath.ac.uk (one e is enough - two are more than enough)