![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Dmitry Tsarkov
Person information
- affiliation: University of Manchester, UK
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c28]Dmitry Tsarkov, Tibor Tihon, Nathan Scales, Nikola Momchev, Danila Sinopalnikov, Nathanael Schärli:
*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task. AAAI 2021: 9949-9957 - 2020
- [c27]Daniel Keysers, Nathanael Schärli, Nathan Scales, Hylke Buisman, Daniel Furrer, Sergii Kashubin, Nikola Momchev, Danila Sinopalnikov, Lukasz Stafiniak, Tibor Tihon, Dmitry Tsarkov, Xiao Wang
, Marc van Zee, Olivier Bousquet:
Measuring Compositional Generalization: A Comprehensive Method on Realistic Data. ICLR 2020 - [i3]Dmitry Tsarkov, Tibor Tihon, Nathan Scales, Nikola Momchev, Danila Sinopalnikov, Nathanael Schärli:
*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task. CoRR abs/2012.08266 (2020)
2010 – 2019
- 2019
- [i2]Daniel Keysers, Nathanael Schärli, Nathan Scales, Hylke Buisman, Daniel Furrer, Sergii Kashubin, Nikola Momchev, Danila Sinopalnikov, Lukasz Stafiniak, Tibor Tihon, Dmitry Tsarkov, Xiao Wang, Marc van Zee, Olivier Bousquet:
Measuring Compositional Generalization: A Comprehensive Method on Realistic Data. CoRR abs/1912.09713 (2019) - 2017
- [c26]Mercedes Argüello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler:
Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. SGAI Conf. 2017: 217-231 - 2015
- [c25]Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov:
EPR-based k-induction with Counterexample Guided Abstraction Refinement. GCAI 2015: 137-150 - 2014
- [c24]Eleni Mikroyannidi, Manuel Quesada-Martínez, Dmitry Tsarkov, Jesualdo Tomás Fernández-Breis
, Robert Stevens, Ignazio Palmisano:
A Quality Assurance Workflow for Ontologies Based on Semantic Regularities. EKAW 2014: 288-303 - [c23]Dmitry Tsarkov:
Incremental and Persistent Reasoning in FaCT++. ORE 2014: 16-22 - 2013
- [c22]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov:
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics 2013: 144-155 - [c21]Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin:
Query Answering via Modal Definability with FaCT++: First Blood. Description Logics 2013: 328-340 - [c20]Alexander Fazliev, Alexey Privezentsev
, Dmitry Tsarkov, Jonathan Tennyson
:
Ontology-Based Content Trust Support of Expert Information Resources in Quantitative Spectroscopy. KESW 2013: 15-28 - [c19]Dmitry Tsarkov, Chiara Del Vescovo, Ignazio Palmisano:
Instrumenting Atomic Decomposition: Software APIs for OWL. OWLED 2013 - [c18]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov:
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) 2013: 84-100 - 2012
- [c17]Dmitry Tsarkov:
Improved Algorithms for Module Extraction and Atomic Decomposition. Description Logics 2012 - [c16]Dmitry Tsarkov, Ignazio Palmisano:
Chainsaw: a Metareasoner for Large Ontologies. ORE 2012 - [c15]Dmitry Tsarkov, Ignazio Palmisano:
Divide et Impera: Metareasoning for Large Ontologies. OWLED 2012 - [c14]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov:
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO 2012 - [i1]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov:
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR abs/1207.1641 (2012) - 2010
- [c13]Alexey Privezentsev, Alexander Fazliev, Dmitry Tsarkov, Jonathan Tennyson:
Computed Knowledge Base for Description of Information Resources of Water Spectroscopy. OWLED 2010
2000 – 2009
- 2009
- [c12]Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell:
Fair Cycle Detection using Description Logic Reasoning. Description Logics 2009 - [c11]Dmitry Tsarkov, Ulrike Sattler, Robert Stevens:
A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED 2009 - 2008
- [c10]Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, Evren Sirin:
OWLlink: DIG for OWL 2. OWLED 2008 - 2007
- [j2]Dmitry Tsarkov, Ian Horrocks
, Peter F. Patel-Schneider:
Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. 39(3): 277-316 (2007) - 2006
- [c9]Dmitry Tsarkov, Ian Horrocks:
FaCT++ Description Logic Reasoner: System Description. IJCAR 2006: 292-297 - [c8]Tom Gardiner, Ian Horrocks, Dmitry Tsarkov:
Automated Benchmarking of Description Logic Reasoners. Description Logics 2006 - [c7]Matthew Horridge, Dmitry Tsarkov:
Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. OWLED 2006 - [c6]Tom Gardiner, Dmitry Tsarkov, Ian Horrocks:
Framework for an Automated Comparison of Description Logic Reasoners. ISWC 2006: 654-667 - 2005
- [j1]Ian Horrocks
, Peter F. Patel-Schneider, Sean Bechhofer
, Dmitry Tsarkov:
OWL rules: A proposal and prototype implementation. J. Web Semant. 3(1): 23-40 (2005) - [c5]Dmitry Tsarkov, Ian Horrocks:
Optimised Classification for Taxonomic Knowledge Bases. Description Logics 2005 - [c4]Dmitry Tsarkov, Ian Horrocks:
Ordering Heuristics for Description Logic Reasoning. IJCAI 2005: 609-614 - 2004
- [c3]Dmitry Tsarkov, Ian Horrocks:
Efficient Reasoning with Range and Domain Constraints. Description Logics 2004 - [c2]Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks:
Using Vampire to Reason with OWL. ISWC 2004: 471-485 - 2003
- [c1]Dmitry Tsarkov, Ian Horrocks:
DL Reasoner vs. First-Order Prover. Description Logics 2003
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint