Concepedia

Dmitry Tsarkov

DT

15

Publications

995

Citations

13

H-Index

2003

Active since

Affiliations

University of Manchester(Current)

Google (United States)

Dmitry Tsarkov is an author at University of Manchester specializing in engineering, automated reasoning, and language studies.

Top concepts

Publications per year

2003–2021

15

Publications

15

OWL rules: A proposal and prototype implementation

Ian Horrocks, Peter F. Patel‐Schneider, Sean Bechhofer et al. · Journal of Web Semantics · 2005 · 325 citations

, , +7

FaCT++ Description Logic Reasoner: System Description

Dmitry Tsarkov, Ian Horrocks · Research Explorer (The University of Manchester) · 2006 · 206 citations

Optimizing Terminological Reasoning for Expressive Description Logics

Dmitry Tsarkov, Ian Horrocks, Peter F. Patel‐Schneider · Journal of Automated Reasoning · 2007 · 86 citations

, , +9

Efficient reasoning with range and domain constraints

Dmitry Tsarkov, Ian Horrocks · Research Explorer (The University of Manchester) · 2004 · 64 citations

Measuring Compositional Generalization: A Comprehensive Method on Realistic Data

Daniel Keysers, Nathanael Schärli, Nathan Scales et al. · arXiv (Cornell University) · 2019 · 55 citations · Full text

, , +20

Rows per page

1–5 of 15