From post

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.

 

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

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards., и . IJCAR, том 3097 из Lecture Notes in Computer Science, стр. 122-136. Springer, (2004)Role Conjunctions in Expressive Description Logics., и . LPAR, том 5330 из Lecture Notes in Computer Science, стр. 391-405. Springer, (2008)Enumerating Justifications Using Resolution., и . IJCAR, том 10900 из Lecture Notes in Computer Science, стр. 609-626. Springer, (2018)OWL Query Answering Based on Query Extension., , , и . OWLED, том 1265 из CEUR Workshop Proceedings, стр. 1-12. CEUR-WS.org, (2014)Incremental Reasoning in EL+ without Bookkeeping., и . Description Logics, том 1014 из CEUR Workshop Proceedings, стр. 294-315. CEUR-WS.org, (2013)Lower and Upper Bounds for SPARQL Queries over OWL Ontologies., , , и . Description Logics, том 1350 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)Concept Abduction for Description Logics., , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Classical Algorithms for Reasoning and Explanation in Description Logics., и . Reasoning Web, том 11810 из Lecture Notes in Computer Science, стр. 1-64. Springer, (2019)Concurrent classification of \EL\ ontologies, , и . Proceedings of the 10th international conference on The semantic web - Volume Part I, стр. 305--320. Berlin, Heidelberg, Springer-Verlag, (2011)OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report, , , , , , и . ORE, том 1015 из CEUR Workshop Proceedings, стр. 1-18. CEUR-WS.org, (2013)