Clemens Kupke

Dr

  • United Kingdom

If you made any changes in Pure these will be visible here soon.

Search results

  • 2021

    Expressive logics for coinductive predicates

    Kupke, C. & Rot, J., 15 Jul 2021, (Accepted/In press) In: Logical Methods in Computer Science. 30 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • Expressivity of quantitative modal logics: categorical foundations via codensity and approximation

    Kormorida, Y., Katsumata, S., Kupke, C., Rot, J. & Hasup, I., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Piscataway, NJ: IEEE, 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
  • 2020

    Compositional Game Theory, compositionally

    Atkey, R., Gavranović, B., Ghani, N., Kupke, C., Ledent, J. & Nordvall Forsberg, F., 6 Jul 2020. 27 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    File
    22 Downloads (Pure)
  • Expressive logics for coinductive predicates

    Kupke, C. & Rot, J., 16 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Fernandez, M. & Muscholl, A. (eds.). Dagstuhl, Germany, Vol. 152. p. 26:1--26:18 18 p. 26

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    3 Citations (Scopus)
    14 Downloads (Pure)
  • Learning weighted automata over principal ideal domains

    van Heerdt, G., Kupke, C., Rot, J. & Silva, A., 17 Apr 2020, Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Cham, Switzerland: Springer, p. 602-621 20 p. (Lecture Notes in Computer Science; vol. 12077).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    10 Downloads (Pure)
  • 2019

    Coalgebra learning via duality

    Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2019]. Bojańczyk, M. & Simpson, A. (eds.). Cham, Switzerland: Springer, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Citations (Scopus)
    11 Downloads (Pure)
  • Completeness for game logic

    Enqvist, S., Hansen, H. H., Kupke, C., Marti, J. & Venema, Y., 5 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway, NJ.: IEEE, p. 1-23 23 p. 8785676

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    8 Downloads (Pure)
  • Compositional game theory with mixed strategies: probabilistic open games using a distributive law

    Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F., 15 Jul 2019, p. 1-12. 12 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    File
    22 Downloads (Pure)
  • 2018

    A compositional treatment of iterated open games

    Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F., 12 Sep 2018, In: Theoretical Computer Science. 741, p. 48-57 10 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    5 Citations (Scopus)
    39 Downloads (Pure)
  • Parity games and automata for game logic

    Hansen, H. H., Kupke, C., Marti, J. & Venema, Y., 3 Jan 2018, (E-pub ahead of print) Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Madeira, A. & Benevides, M. (eds.). Cham: Springer, p. 115-132 18 p. (Lecture Notes in Computer Science; vol. 10669).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    48 Downloads (Pure)
  • 2017

    Angluin learning via logic

    Barlocco, S. & Kupke, C., 28 Nov 2017, Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings. Artemov, S. & Nerode, A. (eds.). Cham: Springer, p. 72-90 19 p. (Lecture Notes in Computer Science; vol. 10703).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    47 Downloads (Pure)
  • Stream differential equations: specification formats and solution methods

    Hansen, H. H., Kupke, C. & Rutten, J., 3 Feb 2017, In: Logical Methods in Computer Science. 13, 1, p. 1-52 52 p.

    Research output: Contribution to journalSpecial issuepeer-review

    Open Access
    File
    6 Citations (Scopus)
    58 Downloads (Pure)
  • 2016

    Games for topological fixpoint logic

    Bezhanishvili, N. & Kupke, C., 13 Sep 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Cantone, D. & Delzanno, G. (eds.). p. 46-60 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    27 Downloads (Pure)
  • 2015

    Reasoning with global assumptions in arithmetic modal logics

    Kupke, C., Pattinson, D. & Schröder, L., 4 Aug 2015, p. 367-380. 14 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    File
    1 Citation (Scopus)
    65 Downloads (Pure)
  • Weak completeness of coalgebraic dynamic logics

    Hansen, H. H. & Kupke, C., 9 Sep 2015, Proceedings Tenth International Workshop on Fixed Points in Computer Science . Matthes, R. & Mio, M. (eds.). Berlin, Vol. 191. p. 90-104 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    3 Citations (Scopus)
    30 Downloads (Pure)
  • 2014

    A final coalgebra for k-regular sequences

    Hansen, H. H., Kupke, C., Rutten, J. & Winter, J., May 2014, Horizons of the Mind: A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Vol. 8464. p. 363-383 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Stable model semantics for guarded existential rules and description logics

    Gottlob, G., Hernich, A., Kupke, C. & Lukasiewicz, T., Jul 2014, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014. Baral, C., De Giacomo, G. & Eiter, T. (eds.). p. 258−267 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    11 Citations (Scopus)
  • Strong completeness for iteration-free coalgebraic dynamic logics

    Kupke, C., Hansen, H. H. & Leal, R. A., Sep 2014, Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014. Diaz, J., Lanese, I. & Sangiorgi, D. (eds.). Springer, Vol. 8705. p. 281-295 15 p. (Lecture Notes in Computer Science; vol. 8705).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Citations (Scopus)
    92 Downloads (Pure)
  • 2013

    Acyclicity notions for existential rules and their application to query answering in ontologies

    Cuenca Grau, B., Horrocks, I., Krötzsch, M., Kupke, C., Magka, D., Motik, B. & Wang, Z., Aug 2013, In: Journal of Artificial Intelligence Research. 47, p. 741-808 68 p.

    Research output: Contribution to journalArticlepeer-review

    34 Citations (Scopus)
  • Well-Founded Semantics for Extended Datalog and Ontological Reasoning

    Kupke, C., Gottlob, G., Lukasiewicz, T. & Hernich, A., Jun 2013, Proceedings of the 32nd Symposium on Principles of Database Systems. New York, p. 225-236 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    23 Citations (Scopus)
    75 Downloads (Pure)
  • 2012

    Completeness for the coalgebraic cover modality

    Kupke, C., Kurz, A. & Venema, Y., 31 Jul 2012, In: Logical Methods in Computer Science. 8, 3, 2.

    Research output: Contribution to journalArticlepeer-review

    15 Citations (Scopus)
  • Equality-friendly well-founded semantics and applications to description logics

    Kupke, C., Gottlob, G., Lukasiewicz, T. & Hernich, A., 2012, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. p. 757-764 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    51 Downloads (Pure)
  • Minimization via duality

    Bezhanishvili, N., Kupke, C. & Panangaden, P., 11 Aug 2012, Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings. Ong, L. & de Queiroz, R. (eds.). Berlin: Springer, Vol. 7456 . p. 191-205 15 p. (Lecture Notes in Computer Science; vol. 7456).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    23 Citations (Scopus)
    45 Downloads (Pure)
  • 2011

    EXPTIME tableaux for the coalgebraic mu-calculus

    Cirstea, C., Kupke, C. & Pattinson, D., 11 Aug 2011, In: Logical Methods in Computer Science. 7, 3, 33 p., 3.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    68 Downloads (Pure)
  • 2009

    Neighbourhood structures: bisimilarity and basic model theory

    Hansen, H. H., Kupke, C. & Pacuit, E., 9 Apr 2009, In: Logical Methods in Computer Science. 5, 2, 38 p., 2.

    Research output: Contribution to journalArticlepeer-review

  • 2008

    Coalgebraic automata theory: basic results

    Kupke, C. & Venema, Y., 21 Nov 2008, In: Logical Methods in Computer Science. 4, 4, 43 p., 10.

    Research output: Contribution to journalArticlepeer-review

    27 Citations (Scopus)