Research Output per year
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 proceeding › Conference 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 proceeding › Conference contribution book
Open Access
File
Acoustic waves
Semantics
2018
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 proceeding › Conference contribution book
Open Access
File
Parity
Automata
Semantics
Game
Logic
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 proceeding › Conference contribution book
Open Access
File
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 proceeding › Conference contribution book
Open Access
File
Fixpoint
Game
Logic
Stone Space
Bisimulation
2015
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 proceeding › Conference contribution book
Open Access
File
Diamonds
Semantics
Chemical analysis
2014
22
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 proceeding › Conference contribution book
Semantics
Computability and decidability
Atoms
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 proceeding › Conference contribution book
Open Access
File
Stars
Chemical analysis
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 proceeding › Conference contribution book
Open Access
File
Semantics
Computability and decidability
Ontology
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 proceeding › Conference contribution book
Open Access
File
Semantics
Ontology