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

Research Output 2008 2019

Filter
Article
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
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
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
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