Citation Impact
Citing Papers
MulVAL: a logic-based network security analyzer
2005 Standout
Machine Learning methods for Quantitative Radiomic Biomarkers
2015 Standout
Machine learning: a review of classification and combining techniques
2006
Artificial intelligence for fault diagnosis of rotating machinery: A review
2018 Standout
Citation recommendation: approaches and datasets
2020
LUBM: A benchmark for OWL knowledge base systems
2005
Ensemble of keyword extraction methods and classifiers in text classification
2016 Standout
seL4
2009 Standout
Types, bytes, and separation logic
2007
Balancing the Load
2009
Putting Education in “Educational” Apps
2015 Standout
A Survey of Recommendation Systems: Recommendation Models, Techniques, and Application Fields
2022 Standout
Operating system verification—An overview
2009
Pellet: A practical OWL-DL reasoner
2007 Standout
Works of Андрей Воронков being referenced
The design and implementation of VAMPIRE
2002
PDFX
2013
Complexity and expressive power of logic programming
2001
Logic for Programming, Artificial Intelligence, and Reasoning
2005