( en | de | ru )

 

Disambiguation of "Riazanov, Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
Using Vampire to Reason with OWL.

, , , and . ISWC, volume 3298 of Lecture Notes in Computer Science, page 471-485. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexandre Martins

Alexandre Darmoise

Alexandre Varnek

Alexandre Alexeev

Alexandre Nekrassov

 

Other publications of authors with the same name

From Cues to Nudge: A Knowledge-Based Framework for Surveillance of Healthcare-Associated Infections., , , , , , and . J. Medical Systems, 40 (1): 23:1-23:12 (2016)Adaptive Saturation-Based Reasoning., and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 95-108. Springer, (2001)Efficient Instance Retrieval with Standard and Relational Path Indexing., and . CADE, volume 2741 of Lecture Notes in Computer Science, page 380-396. Springer, (2003)Benchmarking infrastructure for mutation text mining., , , and . AIMM, volume 916 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Knowledge-based Surveillance for Preventing Postoperative Surgical Site Infection., , , , , , , and . MIE, volume 169 of Studies in Health Technology and Informatics, page 145-149. IOS Press, (2011)Prototype Semantic Infrastructure for Automated Small Molecule Classification and Annotation in Lipidomics., , , , , and . BMC Bioinform., (2011)System Description: Vampire 1.0., and . ARW, volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)Leveraging SADI Semantic Web Services to Exploit Fish Ecotoxicology Data., , , , and . CSWS, volume 774 of CEUR Workshop Proceedings, page 19-33. CEUR-WS.org, (2011)Vampire., and . CADE, volume 1632 of Lecture Notes in Computer Science, page 292-296. Springer, (1999)Vampire 1.1 (System Description)., and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 376-380. Springer, (2001)