BibSonomy :: author  ::

bookmarks

publications

(15)

• New Implementation Framework for Saturation-Based Reasoning
  Alexandre Riazanov CoRR abs/0802.2127 (2008)
  to dblp by dblp on 2008-03-03 00:00:00
  | URL | BibTeX  
• The design and implementation of VAMPIRE.
  Alexandre Riazanov and Andrei Voronkov AI Commun. 15 91-110 (2002)
  to first-order reasoning by thau and 1 other person on 2008-02-20 02:46:28
  | URL | BibTeX  
• Efficient instance retrieval with standard and relational path indexing.
  Alexandre Riazanov and Andrei Voronkov Inf. Comput. 199 228-252 (2005)
  to dblp by dblp on 2006-02-22 00:00:00
  | URL | BibTeX  
• Using Vampire to Reason with OWL.
  Dmitry Tsarkov and Alexandre Riazanov and Sean Bechhofer and Ian Horrocks International Semantic Web Conference 471-485 (2004)
  to dblp by dblp on 2004-11-10 00:00:00
  | URL | BibTeX  
• Efficient Checking of Term Ordering Constraints.
  Alexandre Riazanov and Andrei Voronkov IJCAR 60-74 (2004)
  to dblp by dblp on 2004-06-09 00:00:00
  | URL | BibTeX  
• TeMP: A Temporal Monodic Prover.
  Ullrich Hustadt and Boris Konev and Alexandre Riazanov and Andrei Voronkov IJCAR 326-330 (2004)
  to dblp by dblp on 2004-06-09 00:00:00
  | URL | BibTeX  
• Efficient Instance Retrieval with Standard and Relational Path Indexing.
  Alexandre Riazanov and Andrei Voronkov CADE 380-396 (2003)
  to dblp by dblp on 2003-12-19 00:00:00
  | URL | BibTeX  
• The design and implementation of VAMPIRE.
  Alexandre Riazanov and Andrei Voronkov AI Commun. 15 91-110 (2002)
  to dblp by dblp and 1 other person on 2003-11-27 00:00:00
  | URL | BibTeX  
• Limited resource strategy in resolution theorem proving.
  Alexandre Riazanov and Andrei Voronkov J. Symb. Comput. 36 101-115 (2003)
  to dblp by dblp on 2003-11-19 00:00:00
  | URL | BibTeX  
• Splitting Without Backtracking.
  Alexandre Riazanov and Andrei Voronkov IJCAI 611-617 (2001)
  to dblp by dblp on 2003-05-23 00:00:00
  | URL | BibTeX