( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic.

, , , и . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Vladislav Pracný

Vladislav Kulikov

Vladislav Kvitsel

Vladislav Matusevich

Vladislav Andrianov

 

Другие публикации лиц с тем же именем

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic., , , и . J. Artif. Intell. Res., (2023)DL-Lite with Attributes and Datatypes., , и . ECAI, том 242 из Frontiers in Artificial Intelligence and Applications, стр. 61-66. IOS Press, (2012)Boolean Role Inclusions in DL-Lite With and Without Time., , , и . KR, стр. 582-591. (2020)On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)., , , , , и . IJCAI, стр. 5703-5707. ijcai.org, (2022)Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course., , и . Reasoning Web, том 12258 из Lecture Notes in Computer Science, стр. 109-148. Springer, (2020)Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic., , , и . CoRR, (2022)First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries., , , , , и . CoRR, (2021)BalOnSe: Temporal Aspects of Dance Movement and Its Ontological Representation., , , , и . ESWC (2), том 10250 из Lecture Notes in Computer Science, стр. 49-64. (2017)A Note on DL-Lite with Boolean Role Inclusions., , , и . Description Logics, том 2373 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract)., , , и . Description Logics, том 3515 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)