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

Research Output 2008 2019

Filter
Conference contribution book
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
2018
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
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
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
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 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
20 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

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