Dmitry Tsarkov

33 papers A* 3A 1B 1Misc 2Journal 5Unranked 21

Year	Rank	Type	Title / Venue / Authors
2021	A*	`conf`	*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task. AAAI Dmitry Tsarkov, Tibor Tihon, Nathan Scales, Nikola Momchev, Danila Sinopalnikov, Nathanael Schärli
2020	J	`jnl`	*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task. CoRR Dmitry Tsarkov, Tibor Tihon, Nathan Scales, Nikola Momchev, Danila Sinopalnikov, Nathanael Schärli
2020	A*	`conf`	Measuring Compositional Generalization: A Comprehensive Method on Realistic Data. ICLR 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
2019	J	`jnl`	Measuring Compositional Generalization: A Comprehensive Method on Realistic Data. CoRR 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
2017	—	`conf`	Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. SGAI Conf. Mercedes Argüello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler
2015	—	`conf`	EPR-based k-induction with Counterexample Guided Abstraction Refinement. GCAI Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov
2014	B	`conf`	A Quality Assurance Workflow for Ontologies Based on Semantic Regularities. EKAW Eleni Mikroyannidi, Manuel Quesada-Martínez, Dmitry Tsarkov, Jesualdo Tomás Fernández-Breis, Robert Stevens, Ignazio Palmisano
2014	—	`conf`	Incremental and Persistent Reasoning in FaCT++. ORE Dmitry Tsarkov
2013	—	`conf`	Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
2013	—	`conf`	Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
2013	—	`conf`	Instrumenting Atomic Decomposition: Software APIs for OWL. OWLED Dmitry Tsarkov, Chiara Del Vescovo, Ignazio Palmisano
2013	—	`conf`	Ontology-Based Content Trust Support of Expert Information Resources in Quantitative Spectroscopy. KESW Alexander Fazliev, Alexey Privezentsev, Dmitry Tsarkov, Jonathan Tennyson
2013	—	`conf`	Query Answering via Modal Definability with FaCT++: First Blood. Description Logics Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin
2012	—	`conf`	Chainsaw: a Metareasoner for Large Ontologies. ORE Dmitry Tsarkov, Ignazio Palmisano
2012	—	`conf`	Divide et Impera: Metareasoning for Large Ontologies. OWLED Dmitry Tsarkov, Ignazio Palmisano
2012	—	`conf`	Improved Algorithms for Module Extraction and Atomic Decomposition. Description Logics Dmitry Tsarkov
2012	—	`conf`	Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
2012	J	`jnl`	Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov
2010	—	`conf`	Computed Knowledge Base for Description of Information Resources of Water Spectroscopy. OWLED Alexey Privezentsev, Alexander Fazliev, Dmitry Tsarkov, Jonathan Tennyson
2009	—	`conf`	A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED Dmitry Tsarkov, Ulrike Sattler, Robert Stevens
2009	—	`conf`	Fair Cycle Detection using Description Logic Reasoning. Description Logics Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell
2008	—	`conf`	OWLlink: DIG for OWL 2. OWLED Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, Evren Sirin
2007	J	`jnl`	Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider
2006	—	`conf`	Automated Benchmarking of Description Logic Reasoners. Description Logics Tom Gardiner, Ian Horrocks, Dmitry Tsarkov
2006	A	`conf`	FaCT++ Description Logic Reasoner: System Description. IJCAR Dmitry Tsarkov, Ian Horrocks
2006	Misc	`conf`	Framework for an Automated Comparison of Description Logic Reasoners. ISWC Tom Gardiner, Dmitry Tsarkov, Ian Horrocks
2006	—	`conf`	Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. OWLED Matthew Horridge, Dmitry Tsarkov
2005	J	`jnl`	OWL rules: A proposal and prototype implementation. J. Web Semant. Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov
2005	—	`conf`	Optimised Classification for Taxonomic Knowledge Bases. Description Logics Dmitry Tsarkov, Ian Horrocks
2005	A*	`conf`	Ordering Heuristics for Description Logic Reasoning. IJCAI Dmitry Tsarkov, Ian Horrocks
2004	—	`conf`	Efficient Reasoning with Range and Domain Constraints. Description Logics Dmitry Tsarkov, Ian Horrocks
2004	Misc	`conf`	Using Vampire to Reason with OWL. ISWC Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks
2003	—	`conf`	DL Reasoner vs. First-Order Prover. Description Logics Dmitry Tsarkov, Ian Horrocks