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

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

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)