( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Framework for an Automated Comparison of Description Logic Reasoners.

, , и . ISWC, том 4273 из Lecture Notes in Computer Science, стр. 654-667. Springer, (2006)

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.

Dmitry Sveshnikov

Dmitry Suslov

Dmitry Varentsov

Dmitry Chigrin

Dmitry Shvedov

 

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

*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task., , , , , и . AAAI, стр. 9949-9957. AAAI Press, (2021)Automated Benchmarking of Description Logic Reasoners., , и . Description Logics, том 189 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)Efficient Reasoning with Range and Domain Constraints., и . Description Logics, том 104 из CEUR Workshop Proceedings, CEUR-WS.org, (2004)Instrumenting Atomic Decomposition: Software APIs for OWL., , и . OWLED, том 1080 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)Incremental and Persistent Reasoning in FaCT++.. ORE, том 1207 из CEUR Workshop Proceedings, стр. 16-22. CEUR-WS.org, (2014)Measuring Compositional Generalization: A Comprehensive Method on Realistic Data., , , , , , , , , и 4 other автор(ы). CoRR, (2019)EPR-based k-induction with Counterexample Guided Abstraction Refinement., , и . GCAI, том 36 из EPiC Series in Computing, стр. 137-150. EasyChair, (2015)Query Answering via Modal Definability with FaCT++: First Blood., , , и . Description Logics, том 1014 из CEUR Workshop Proceedings, стр. 328-340. CEUR-WS.org, (2013)DL Reasoner vs. First-Order Prover., и . Description Logics, том 81 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)Ontology-Based Content Trust Support of Expert Information Resources in Quantitative Spectroscopy., , , и . KESW, том 394 из Communications in Computer and Information Science, стр. 15-28. Springer, (2013)