Alexandre Riazanov
Alexandre Riazanov
Senior Research Scientist, Department of Computer Science and Applied Statistics, University of New Brunswick
E-mail confirmado em ipsnp.com - Página inicial
Título
Citado por
Citado por
Ano
The design and implementation of VAMPIRE
A Riazanov, A Voronkov
AI communications 15 (2, 3), 91-110, 2002
6242002
Vampire 1.1
A Riazanov, A Voronkov
International Joint Conference on Automated Reasoning, 376-380, 2001
1492001
Using Vampire to reason with OWL
D Tsarkov, A Riazanov, S Bechhofer, I Horrocks
International Semantic Web Conference, 471-485, 2004
1112004
Splitting without backtracking
A Riazanov, A Voronkov
IJCAI, 611-617, 2001
1022001
Limited resource strategy in resolution theorem proving
A Riazanov, A Voronkov
Journal of Symbolic Computation 36 (1-2), 101-115, 2003
942003
Vampire
A Riazanov, A Voronkov
International Conference on Automated Deduction, 292-296, 1999
891999
TeMP: A temporal monodic prover
U Hustadt, B Konev, A Riazanov, A Voronkov
International Joint Conference on Automated Reasoning, 326-330, 2004
552004
On the evaluation of indexing techniques for theorem proving
R Nieuwenhuis, T Hillenbrand, A Riazanov, A Voronkov
International Joint Conference on Automated Reasoning, 257-271, 2001
452001
Algorithms and semantic infrastructure for mutation impact extraction and grounding
JB Laurila, N Naderi, R Witte, A Riazanov, A Kouznetsov, CJO Baker
BMC genomics 11 (4), 1-10, 2010
372010
Implementing an efficient theorem prover
A Riazanov
PQDT-Global, 2003
352003
Prototype semantic infrastructure for automated small molecule classification and annotation in lipidomics
LL Chepelev, A Riazanov, A Kouznetsov, HS Low, M Dumontier, ...
BMC bioinformatics 12 (1), 1-14, 2011
272011
Semantic querying of relational data for clinical intelligence: a semantic web services-based approach
A Riazanov, A Klein, A Shaban-Nejad, GW Rose, AJ Forster, ...
Journal of biomedical semantics 4 (1), 1-19, 2013
232013
Deploying mutation impact text-mining software with the SADI Semantic Web Services framework
A Riazanov, JB Laurila, CJO Baker
BMC bioinformatics 12 (4), 1-18, 2011
212011
Linking DNA metabarcoding and text mining to create network-based biomonitoring tools: A case study on Boreal wetland macroinvertebrate communities
ZG Compson, WA Monk, CJ Curry, D Gravel, A Bush, CJO Baker, ...
Advances in ecological research 59, 33-74, 2018
202018
From cues to nudge: a knowledge-based framework for surveillance of healthcare-associated infections
A Shaban-Nejad, H Mamiya, A Riazanov, AJ Forster, CJO Baker, ...
Journal of medical systems 40 (1), 1-12, 2016
182016
Partially adaptive code trees
A Riazanov, A Voronkov
European Workshop on Logics in Artificial Intelligence, 209-223, 2000
152000
Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data
A Riazanov, GW Rose, A Klein, AJ Forster, CJO Baker, A Shaban-Nejad, ...
Proceedings of the 4th International Workshop on Semantic Web Applications …, 2011
122011
Valet SADI: provisioning SADI web services for semantic querying of relational databases
MS Al Manir, A Riazanov, H Boley, A Klein, CJO Baker
Proceedings of the 20th international database engineering & applications …, 2016
92016
HAIKU: a semantic framework for surveillance of healthcare-associated infections
A Shaban-Nejad, A Riazanov, KM Charland, GW Rose, CJO Baker, ...
Procedia computer science 10, 1073-1079, 2012
92012
Incremental query rewriting with resolution
A Riazanov, MAT Aragao
Canadian Semantic Web, 1-26, 2010
92010
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20