Dmitry Tsarkov

Artificial Intelligence · 2005–2019

A researcher in the Science corpus: 3 papers; trusts 2 researchers and is trusted by 10 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 30 citations into it; #10,463 of 35,345 by trust here, #11,624 by citations

Whom Dmitry Tsarkov trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Ian Horrocks
2. U. Sattler
3. Peter F. Patel-Schneider

Who trusts Dmitry Tsarkov overall

1. Ian Horrocks
2. Birte Glimm
3. Jérôme Euzenat
4. Matthew Horridge
5. U. Sattler
6. Bernardo Cuenca Grau
7. C. Mungall
8. Boris Motik
9. Diego Calvanese
10. Pavel Shvaiko

Papers from Dmitry Tsarkov's perspective

Ordered by how strongly the researchers Dmitry Tsarkov trusts endorse each paper. Same corpus, a different order for every researcher.

1. Attention is All you Need (Neural Information Processing Systems)
2. Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
3. Complexity results and practical algorithms for logics in knowledge representation (arXiv.org)
4. Long Short-Term Memory
5. Pushing the EL Envelope (International Joint Conference on Artificial Intelligence)
6. Reducing OWL Entailment to Description Logic Satisfability (Description Logics)
7. Resolution Theorem Proving (Handbook of Automated Reasoning)
8. A Tableaux Decision Procedure for SHOIQ (International Joint Conference on Artificial Intelligence)
9. Neural Machine Translation by Jointly Learning to Align and Translate (International Conference on Learning Representations)
10. Paramodulation-Based Theorem Proving (Handbook of Automated Reasoning)

Their papers

• Measuring Compositional Generalization: A Comprehensive Method on Realistic Data (2019) — 421 citations
• FaCT++ Description Logic Reasoner: System Description (2006) — 1,263 citations
• OWL rules: A proposal and prototype implementation (2005) — 366 citations