Filter
Conference contribution book

Search results

  • 2024

    Dual adjunction between Ω-automata and Wilke algebra quotients

    Chernev, A., Hansen, H. H. & Kupke, C., 22 Nov 2024, Theoretical Aspects of Computing – ICTAC 2024: 21st International Colloquium, Proceedings. Anutariya, C. & Bonsangue, M. M. (eds.). Cham, Switzerland: Springer, p. 96-113 18 p. (Lecture Notes in Computer Science; vol. 15373).

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

    Open Access
    File
  • A categorical approach to coalgebraic fixpoint logic

    Schoen, E., Kupke, C., Rot, J. & Turkenburg, R., Aug 2024, Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. König, B. & Urbat, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-43 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14617 LNCS).

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

  • Proving behavioural apartness

    Turkenburg, R., Beohar, H., Kupke, C. & Rot, J., Aug 2024, Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. König, B. & Urbat, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 156-173 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14617 LNCS).

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

  • 2023

    Preservation and reflection of bisimilarity via invertible steps

    Turkenburg, R., Kupke, C., Rot, J. & Schoen, E., 21 Apr 2023, Foundations of Software Science and Computation Structures. Kupferman, O. & Sobocinski, P. (eds.). Cham, Switzeraland: Springer, p. 328-348 21 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    1 Citation (Scopus)
    25 Downloads (Pure)
  • Measure-theoretic semantics for quantitative parity automata

    Cîrstea, C. & Kupke, C., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic. Klin, B. & Pimentel, E. (eds.). Saarbrücken/Wadern, p. 14:1-14:20 20 p. 14. (Leibniz International Proceedings in Informatics; vol. 252).

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

    Open Access
    File
    20 Downloads (Pure)
  • 2022

    Size measures and alphabetic equivalence in the μ-calculus

    Kupke, C., Marti, J. & Venema, Y., 5 Aug 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA, 13 p. 18. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    File
    3 Citations (Scopus)
    35 Downloads (Pure)
  • Succinct graph representations of µ-calculus formulas

    Kupke, C., Marti, J. & Venema, Y., 19 Feb 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).

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

    Open Access
    File
    4 Citations (Scopus)
    23 Downloads (Pure)
  • 2021

    Expressivity of quantitative modal logics: categorical foundations via codensity and approximation

    Kormorida, Y., Katsumata, S.-Y., 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
    12 Citations (Scopus)
    21 Downloads (Pure)
  • 2020

    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
    7 Citations (Scopus)
    74 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
    7 Citations (Scopus)
    30 Downloads (Pure)
  • 2019

    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
    8 Citations (Scopus)
    29 Downloads (Pure)
  • 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
    15 Citations (Scopus)
    35 Downloads (Pure)
  • 2018

    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
    4 Citations (Scopus)
    114 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)
    115 Downloads (Pure)
  • 2016

    Games for topological fixpoint logic

    Bezhanishvili, N. & Kupke, C., 13 Sept 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
    2 Citations (Scopus)
    39 Downloads (Pure)
  • 2015

    Weak completeness of coalgebraic dynamic logics

    Hansen, H. H. & Kupke, C., 9 Sept 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
    9 Citations (Scopus)
    37 Downloads (Pure)
  • 2014

    Strong completeness for iteration-free coalgebraic dynamic logics

    Kupke, C., Hansen, H. H. & Leal, R. A., Sept 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
    9 Citations (Scopus)
    118 Downloads (Pure)
  • 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

    21 Citations (Scopus)
  • 2013

    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
    25 Citations (Scopus)
    86 Downloads (Pure)
  • 2012

    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
    62 Downloads (Pure)