MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dmitry Tsarkov" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • DL Reasoner vs. First-Order Prover  
  • by Dmitry Tsarkov, Ian Horrocks — 2003 — In Proc. of the 2003 Description Logic Workshop (DL 2003), volume 81 of CEUR (http: // ceur-ws. org
  • …DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science…
  • Cited by 15 (1 self) – Add To MetaCart
  • Using Vampire to reason with OWL  
  • by Dmitry Tsarkov, Re Riazanov, Sean Bechhofer, Ian Horrocks — 2004 — In Proc. of the 2004 International Semantic Web Conference (ISWC
  • …Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian…
  • Cited by 16 (1 self) – Add To MetaCart
  • OWLlink: DIG for OWL 2  
  • by Thorsten Liebig, Marko Luther, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Ralf Möller, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, Evren Sirin
  • … Tsarkov ∗ , Evren Sirin ⊛ † University of Ulm (Germany), ‡ DOCOMO Euro-Labs (Germany), ‡‡ Free University…
  • Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB