Browse by Author or creator

2023

Kupke, Clemens and Nordvall Forsberg, Fredrik and Watters, Sean (2023) A fresh look at commutativity : free algebraic structures via fresh lists. In: The 21st Asian Symposium on Programming Languages and Systems, 2023-11-26 - 2023-11-29.

Turkenburg, Ruben and Kupke, Clemens and Rot, Jurriaan and Schoen, Ezra; Kupferman, Orna and Sobocinski, Pawel, eds. (2023) Preservation and reflection of bisimilarity via invertible steps. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science . Springer, FRA, pp. 328-348. ISBN 9783031308291

Cîrstea, Corina and Kupke, Clemens; Klin, Bartek and Pimentel, Elaine, eds. (2023) Measure-theoretic semantics for quantitative parity automata. In: 31st EACSL Annual Conference on Computer Science Logic. Leibniz International Proceedings in Informatics . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Saarbrücken/Wadern, 14:1-14:20. ISBN 9783959772648

Capucci, Matteo and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik; Benini, Marco and Beyersdorff, Olaf and Rathjen, Michael and Schuster, Peter, eds. (2023) Infinite horizon extensive form games, coalgebraically. In: Mathematics for Computation. World Scientific Publishing Co. Pte Ltd, Singapore, pp. 195-222. ISBN 978-981-12-4523-7

2022

Kupke, Clemens and Marti, Johannes and Venema, Yde; (2022) Size measures and alphabetic equivalence in the μ-calculus. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. Proceedings - Symposium on Logic in Computer Science . ACM, ISR. ISBN 9781450393515

Kupke, Clemens and Pattinson, Dirk and Schröder, Lutz (2022) Coalgebraic reasoning with global assumptions in arithmetic modal logics. ACM Transactions on Computational Logic, 23 (2). pp. 1-34. 11. ISSN 1557-945X

Kupke, Clemens and Marti, Johannes and Venema, Yde; Manea, Florin and Simpson, Alex, eds. (2022) Succinct graph representations of µ-calculus formulas. In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU. ISBN 9783959772181

2021

Gottlob, Georg and Hernich, André and Kupke, Clemens and Lukasiewicz, Thomas (2021) Stable model semantics for guarded existential rules and description logics : decidability and complexity. Journal of the ACM, 68 (5). pp. 1-87. 35. ISSN 1557-735X

Kupke, Clemens and Marti, Johannes and Venema, Yde (2021) On the size of disjunctive formulas in the μ-calculus. Preprint / Working Paper. arXiv.org, Ithaca, NY.

Kupke, Clemens and Rot, Jurriaan (2021) Expressive logics for coinductive predicates. Logical Methods in Computer Science. ISSN 1860-5974 (In Press)

Kormorida, Yuichi and Katsumata, Shin-ya and Kupke, Clemens and Rot, Jurriaan and Hasup, Ichiro; (2021) Expressivity of quantitative modal logics : categorical foundations via codensity and approximation. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science . IEEE, Piscataway, NJ. ISBN 9781665448956

2020

Atkey, Robert and Gavranović, Bruno and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik (2020) Compositional Game Theory, compositionally. In: Applied Category Theory 2020, 2020-07-06 - 2020-07-10.

van Heerdt, Gerco and Kupke, Clemens and Rot, Jurriaan and Silva, Alexandra; Goubault-Larrecq, Jean and König, Barbara, eds. (2020) Learning weighted automata over principal ideal domains. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science . Springer, IRL, pp. 602-621. ISBN 978-3-030-45231-5

Kupke, Clemens and Rot, Jurriaan; Fernandez, Maribel and Muscholl, Anca, eds. (2020) Expressive logics for coinductive predicates. In: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, ESP, 26:1--26:18. ISBN 9783959771320

2019

Enqvist, Sebastian and Hansen, Helle Hvid and Kupke, Clemens and Marti, Johannes and Venema, Yde; (2019) Completeness for game logic. In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, CAN, pp. 1-23. ISBN 9781728136097

Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2019) Compositional game theory with mixed strategies : probabilistic open games using a distributive law. In: Applied category theory conference 2019, 2019-07-15 - 2019-07-19.

Barlocco, Simone and Kupke, Clemens and Rot, Jurriaan; Bojańczyk, Mikołaj and Simpson, Alex, eds. (2019) Coalgebra learning via duality. In: International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2019]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, Cham, Switzerland, pp. 62-79. ISBN 9783030171278

2018

Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2018) A compositional treatment of iterated open games. Theoretical Computer Science, 741. pp. 48-57. ISSN 0304-3975

Hansen, Helle Hvid and Kupke, Clemens and Marti, Johannes and Venema, Yde; Madeira, Alexandre and Benevides, Mário, eds. (2018) Parity games and automata for game logic. In: Dynamic Logic. New Trends and Applications. Lecture Notes in Computer Science . Springer, Cham, pp. 115-132.

2017

Barlocco, Simone and Kupke, Clemens; Artemov, Sergei and Nerode, Anil, eds. (2017) Angluin learning via logic. In: Logical Foundations of Computer Science. Lecture Notes in Computer Science . Springer, USA, pp. 72-90. ISBN 9783319720555

Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan (2017) Stream differential equations : specification formats and solution methods. Logical Methods in Computer Science, 13 (1). pp. 1-52. ISSN 1860-5974

2016

Bezhanishvili, Nick and Kupke, Clemens; Cantone, Domenico and Delzanno, Giorgio, eds. (2016) Games for topological fixpoint logic. In: Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Electronic Proceedings in Theoretical Computer Science, ITA, pp. 46-60.

2015

Hansen, Helle Hvid and Kupke, Clemens; Matthes, Ralph and Mio, Matteo, eds. (2015) Weak completeness of coalgebraic dynamic logics. In: Proceedings Tenth International Workshop on Fixed Points in Computer Science. Electronic Proceedings in Theoretical Computer Science, Berlin, pp. 90-104.

Kupke, Clemens and Pattinson, Dirk and Schröder, Lutz (2015) Reasoning with global assumptions in arithmetic modal logics. In: 20th International Symposium on Fundamentals of Computation Theory, 2015-08-17 - 2015-08-19.

2014

Kupke, Clemens and Hansen, Helle Hvid and Leal, Raul Andres; Diaz, Josep and Lanese, Ivan and Sangiorgi, Davide, eds. (2014) Strong completeness for iteration-free coalgebraic dynamic logics. In: Theoretical Computer Science. Lecture Notes in Computer Science, 8705 . Springer, pp. 281-295. ISBN 978-3-662-44601-0

Gottlob, Georg and Hernich, Andre and Kupke, Clemens and Lukasiewicz, Thomas; Baral, Chitta and De Giacomo, Giuseppe and Eiter, Thomas, eds. (2014) Stable model semantics for guarded existential rules and description logics. In: Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence (AAAI), 258−267. ISBN 9781577356578

Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan and Winter, Joost; van Breugel, Frank and Kashefi, Elham and Palamidessi, Catuscia and Rutten, Jan, eds. (2014) A final coalgebra for k-regular sequences. In: Horizons of the Mind. Springer: Lecture Notes in Computer Science, pp. 363-383. ISBN 978-3-319-06879-4

2013

Cuenca Grau, Bernardo and Horrocks, Ian and Krötzsch, Markus and Kupke, Clemens and Magka, Despoina and Motik, Boris and Wang, Zhe (2013) Acyclicity notions for existential rules and their application to query answering in ontologies. Journal of Artificial Intelligence Research, 47. pp. 741-808. ISSN 1076-9757

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre; (2013) Well-Founded Semantics for Extended Datalog and Ontological Reasoning. In: Proceedings of the 32nd Symposium on Principles of Database Systems. ACM, New York, NY, New York, pp. 225-236. ISBN 978-1-4503-2066-5

2012

Bezhanishvili, N. and Kupke, Clemens and Panangaden, Prakash; Ong, Luke and de Queiroz, Ruy, eds. (2012) Minimization via duality. In: Logic, Language, Information and Computation. Lecture Notes in Computer Science, 7456 . Springer, ARG, pp. 191-205. ISBN 9783642326202

Kupke, Clemens and Kurz, Alexander and Venema, Yde (2012) Completeness for the coalgebraic cover modality. Logical Methods in Computer Science, 8 (3). 2. ISSN 1860-5974

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre; (2012) Equality-friendly well-founded semantics and applications to description logics. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI), CAN, pp. 757-764. ISBN 978-1-57735-568-7

2011

Cirstea, Corina and Kupke, Clemens and Pattinson, Dirk (2011) EXPTIME tableaux for the coalgebraic mu-calculus. Logical Methods in Computer Science, 7 (3). 3. ISSN 1860-5974

2009

Hansen, Helle Hvid and Kupke, Clemens and Pacuit, Eric (2009) Neighbourhood structures : bisimilarity and basic model theory. Logical Methods in Computer Science, 5 (2). 2. ISSN 1860-5974

2008

Kupke, Clemens and Venema, Yde (2008) Coalgebraic automata theory : basic results. Logical Methods in Computer Science, 4 (4). 10. ISSN 1860-5974