( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Horn Fragments of the Halpern-Shoham Interval Temporal Logic.

, , , , , и . ACM Trans. Comput. Log., 18 (3): 22:1-22:39 (2017)

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 Kvitsel

Vladislav Kulikov

Vladislav Kotov

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)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)Boolean Role Inclusions in DL-Lite With and Without Time., , , и . KR, стр. 582-591. (2020)Knowledge base exchange: The case of OWL 2 QL., , , и . Artif. Intell., (2016)Horn Fragments of the Halpern-Shoham Interval Temporal Logic., , , , , и . ACM Trans. Comput. Log., 18 (3): 22:1-22:39 (2017)Query inseparability for ALC ontologies., , , , и . Artif. Intell., (2019)Querying Log Data with Metric Temporal Logic., , , , и . J. Artif. Intell. Res., (2018)Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries., , , и . CoRR, (2023)