 | 2009 |
|---|
| 15 |       | Alexandre Riazanov:
Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note
CoRR abs/0901.0339: (2009) |
| 2008 |
|---|
| 14 | | Alexandre Riazanov:
New Implementation Framework for Saturation-Based Reasoning
CoRR abs/0802.2127: (2008) |
| 2005 |
|---|
| 13 | | Alexandre Riazanov,
Andrei Voronkov:
Efficient instance retrieval with standard and relational path indexing.
Inf. Comput. 199(1-2): 228-252 (2005) |
| 2004 |
|---|
| 12 | | Ullrich Hustadt,
Boris Konev,
Alexandre Riazanov,
Andrei Voronkov:
TeMP: A Temporal Monodic Prover.
IJCAR 2004: 326-330 |
| 11 | | Alexandre Riazanov,
Andrei Voronkov:
Efficient Checking of Term Ordering Constraints.
IJCAR 2004: 60-74 |
| 10 | | Dmitry Tsarkov,
Alexandre Riazanov,
Sean Bechhofer,
Ian Horrocks:
Using Vampire to Reason with OWL.
International Semantic Web Conference 2004: 471-485 |
| 2003 |
|---|
| 9 | | Alexandre Riazanov,
Andrei Voronkov:
Efficient Instance Retrieval with Standard and Relational Path Indexing.
CADE 2003: 380-396 |
| 8 | | Alexandre Riazanov,
Andrei Voronkov:
Limited resource strategy in resolution theorem proving.
J. Symb. Comput. 36(1-2): 101-115 (2003) |
| 2002 |
|---|
| 7 | | Alexandre Riazanov,
Andrei Voronkov:
The design and implementation of VAMPIRE.
AI Commun. 15(2-3): 91-110 (2002) |
| 2001 |
|---|
| 6 | | Alexandre Riazanov,
Andrei Voronkov:
Adaptive Saturation-Based Reasoning.
Ershov Memorial Conference 2001: 95-108 |
| 5 |  | Alexandre Riazanov,
Andrei Voronkov:
Splitting Without Backtracking.
IJCAI 2001: 611-617 |
| 4 | | Robert Nieuwenhuis,
Thomas Hillenbrand,
Alexandre Riazanov,
Andrei Voronkov:
On the Evaluation of Indexing Techniques for Theorem Proving.
IJCAR 2001: 257-271 |
| 3 | | Alexandre Riazanov,
Andrei Voronkov:
Vampire 1.1 (System Description).
IJCAR 2001: 376-380 |
| 2000 |
|---|
| 2 | | Alexandre Riazanov,
Andrei Voronkov:
Partially Adaptive Code Trees.
JELIA 2000: 209-223 |
| 1999 |
|---|
| 1 | | Alexandre Riazanov,
Andrei Voronkov:
Vampire.
CADE 1999: 292-296 |
