PhD
thesis
Journal
articles and book chapters
A. Riazanov and A. Voronkov, The Design and Implementation of Vampire [abstract] A. Riazanov and A. Voronkov, Limited Resource Strategy in Resolution
Theorem Proving [abstract] A. Riazanov and A. Voronkov, Efficient
Instance Retrieval with Standard
and Relational Path Indexing , Information and Computation,
Vol. 199, Issues 1-2, 2005 [abstract]
A. Riazanov and M. A. T. Aragao, Incremental Query Rewriting [abstract]
J.B Laurila, N. Naderi, R. Witte, A. Riazanov, A. Kouznetsov and C. J. O. Baker, Algorithms and Semantic Infrastructure for Mutation Impact Extraction and Grounding A. Riazanov, J.B Laurila and C. J. O. Baker, Deploying Mutation Impact Text-Mining Software with the SADI Semantic Web Services Framework L. L. Chepelev, A. Riazanov, A. Kouznetsov, H. S.
Low, M. Dumontier, C. J. O. Baker, Prototype Semantic Infrastructure for Automated Small Molecule Classification and Annotation in Lipidomics
Conference
papers
A. Riazanov and A. Voronkov, Vampire ,
Proc. CADE-16, LNAI 1632, 1999 A. Riazanov and A. Voronkov, Partially Adaptive Code Trees [abstract] A. Riazanov and A. Voronkov, Vampire 1.1 (System Description) R. Nieuwenhuis, T. Hillenbrand, A. Riazanov and A. Voronkov, On the Evaluation of Indexing Techniques
for Theorem Proving A. Riazanov and A. Voronkov, Splitting
without Backtracking , Proc. IJCAI-17, vol. 1, 2001 [abstract] A. Riazanov and A. Voronkov, Adaptive Saturation-Based Reasoning [abstract] A. Riazanov and A. Voronkov, Efficient Instance Retrieval with Standard
and Relational Path Indexing [abstract] A. Riazanov and A. Voronkov, Efficient Checking of Term Ordering
Constraints [abstract] U. Hustatdt and B. Konev and A. Riazanov and A. Voronkov, TeMP: A Temporal Monodic Prover D. Tsarkov and A. Riazanov and S. Bechhofer and I. Horrocks, Using Vampire to Reason with OWL [abstract]
A. Riazanov, Efficient Semantic Querying of Relational Databases with Resolution [abstract]
A. Shaban-Nejad, G.W. Rose, A. Okhmatovskaia, A. Riazanov, C.J. Baker, R. Tamblyn, A. J. Forster, D.L. Buckeridge, Knowledge-based Surveillance for Preventing Postoperative Surgical Site Infection , User Centred Networked Health Care - Proceedings of MIE 2011 , 2011
M. M. Hindle, A. Riazanov, E. S. Goudreau, C. J. Martyniuk, C. J. O. Baker, Leveraging SADI Semantic Web Services to Exploit Fish Toxicology Data A. Riazanov, A. Shaban-Nejad, A. Klein, G. W. Rose, A. J. Forster, D. L. Buckeridge, C. J. O. Baker, Towards Clinical Intelligence with SADI Semantic Web Services: a Case Study with Hospital-Acquired Infections Data [abstract]
Work in progress and electronic publications
[to
Alexandre Riazanov's home page]