( en | de | ru )

 

Disambiguation of "Tsarkov, Dmitry"

Author of the publication

copydeleteadd this publication to your clipboard
Computed Knowledge Base for Description of Information Resources of Water Spectroscopy.

, , , and . OWLED, volume 614 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)

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. You can also use the button next to the name to display some publications already assigned to the person.

Dmitry Sveshnikov

Dmitry Suslov

Dmitry Varentsov

Dmitry Chigrin

Dmitry Shvedov

 

Other publications of authors with the same name

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