( en | de | ru )

 

Disambiguierung von "Ryzhikov, Vladislav"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tractable Interval Temporal Propositional and Description Logics.

, , , und . AAAI, Seite 1417-1423. AAAI Press, (2015)

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 Kvitsel

Vladislav Kulikov

Vladislav Matusevich

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)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)DL-Lite with Attributes and Datatypes., , und . ECAI, Volume 242 von Frontiers in Artificial Intelligence and Applications, Seite 61-66. IOS Press, (2012)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)Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic., , , und . CoRR, (2022)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)Unique Characterisability and Learnability of Temporal Instance Queries., , , , , und . KR, (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)