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

Research Output 2008 2019

2019

Coalgebra learning via duality

Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. 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 LNCS).

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

Open Access
File
Learning algorithms

Completeness for game logic

Enqvist, S., Hansen, H. H., Kupke, C., Venema, Y. & Marti, J., 28 Mar 2019, (Accepted/In press) Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. 23 p.

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

Open Access
File
Acoustic waves
Semantics
Open Access
File
Game theory
Probability distributions
2018
2 Citations (Scopus)

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 journalArticle

Open Access
File
Game
Economics
Game theory
Infinite Games
Compositionality
2 Citations (Scopus)

Parity games and automata for game logic

Hansen, H. H., Kupke, C., Marti, J. & Venema, Y., 3 Jan 2018, 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
Parity
Automata
Semantics
Game
Logic
2017
2 Citations (Scopus)

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
4 Citations (Scopus)

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 issue

Open Access
File
Differential equations
Specification
Differential equation
Specifications
Syntactics
2016
1 Citation (Scopus)

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. 1-15 15 p.

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

Open Access
File
Fixpoint
Game
Logic
Stone Space
Bisimulation
2015
1 Citation (Scopus)

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 conferencePaper

Open Access
File
Modal Logic
Reasoning
Polynomials
Logic
Upper bound
3 Citations (Scopus)

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
Diamonds
Semantics
Chemical analysis
2014
1 Citation (Scopus)

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

Finite automata
Differential equations
21 Citations (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

Semantics
Computability and decidability
Atoms
6 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
Stars
Chemical analysis
2013
34 Citations (Scopus)

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 journalArticle

Ontology
Knowledge representation
Taxonomies
19 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
Semantics
Computability and decidability
Ontology
2012
13 Citations (Scopus)

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 journalArticle

Boolean algebra
Modality
Functor
Completeness
Cover

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
Semantics
Ontology
21 Citations (Scopus)

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
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 journalArticle

Open Access
File
Computability and decidability
μ-calculus
Tableaux
Modal Logic
Fixpoint
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 journalArticle

Model Theory
Modal Logic
Equivalence
Bisimulation
Classical Logic
2008
27 Citations (Scopus)

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 journalArticle

Automata theory
Automata Theory
Automata
Coalgebra
Pullback