From post

Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013

, , , и (Ред.) том 1014 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)

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.

 

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

Role Conjunctions in Expressive Description Logics., и . LPAR, том 5330 из Lecture Notes in Computer Science, стр. 391-405. Springer, (2008)A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards., и . IJCAR, том 3097 из Lecture Notes in Computer Science, стр. 122-136. Springer, (2004)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)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)Experimenting with ELK Reasoner on Android., и . ORE, том 1015 из CEUR Workshop Proceedings, стр. 68-74. CEUR-WS.org, (2013)On the Complexity of Semantic Integration of OWL Ontologies., и . Description Logics, том 1879 из CEUR Workshop Proceedings, CEUR-WS.org, (2017)Bridging the Gap between Tableau and Consequence-Based Reasoning., и . Description Logics, том 1193 из CEUR Workshop Proceedings, стр. 579-590. CEUR-WS.org, (2014)