( en | de | ru )

 

Disambiguierung von "Ryzhikov, Vladislav"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).

, , , , , und . IJCAI, Seite 5703-5707. ijcai.org, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Vladislav Pracný

Vladislav Kulikov

Vladislav Kvitsel

Vladislav Andrianov

Vladislav Kotov

 

Weitere Publikationen von Autoren mit dem selben Namen

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic., , , und . J. Artif. Intell. Res., (2023)DL-Lite with Attributes and Datatypes., , und . ECAI, Volume 242 von Frontiers in Artificial Intelligence and Applications, Seite 61-66. IOS Press, (2012)On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)., , , , , und . IJCAI, Seite 5703-5707. ijcai.org, (2022)Boolean Role Inclusions in DL-Lite With and Without Time., , , und . KR, Seite 582-591. (2020)Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course., , und . RW, Volume 12258 von Lecture Notes in Computer Science, Seite 109-148. Springer, (2020)BalOnSe: Temporal Aspects of Dance Movement and Its Ontological Representation., , , , und . ESWC (2), Volume 10250 von Lecture Notes in Computer Science, Seite 49-64. (2017)Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic., , , und . CoRR, (2022)A Note on DL-Lite with Boolean Role Inclusions., , , und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Computing Solutions in OWL 2 QL Knowledge Exchange., , , und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 4-16. CEUR-WS.org, (2013)A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract)., , , und . Description Logics, Volume 3515 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)