Common knowledge and quantification

von Sturm, Holger
Veröffentlicht in Economic theory (2002)

Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course

von Ryzhikov, Vladislav
Veröffentlicht in RW (16. : 2020 : Online) Reasoning web (2020)

Modal logic

von Čagrov, Aleksandr V.
Veröffentlicht 2001

BOOLEAN ROLE INCLUSIONS IN DL-LITE WITH AND WITHOUT TIME

von Kontchakov, Roman
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

Deciding FO-definability of Regular Languages

von Kurucz, Agi
Veröffentlicht in RAMiCS (19. : 2021 : Marseille) Relational and algebraic methods in computer science (2021)

Modal logic

von Čagrov, Aleksandr V.
Veröffentlicht 1997

A DATA COMPLEXITY AND REWRITABILITY TETRACHOTOMY OF ONTOLOGY- MEDIATED QUERIES WITH A COVERING AXIOM

von Gerasimova, Olga
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)