| 2024 | AAAI | Optimised Storage for Datalog Reasoning. | Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks |
| 2023 | IJCAI | Enhancing Datalog Reasoning with Hypertree Decompositions. | Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks |
| 2018 | MEDI | Data Science with Vadalog: Bridging Machine Learning and Reasoning. | Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu |
| 2015 | AAAI | Handling Owl: sameAs via Rewriting. | Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks |
| 2015 | AAAI | Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. | Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks |
| 2015 | IJCAI | Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks |
| 2014 | AAAI | Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. | Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau |
| 2014 | AAAI | Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu |
| 2014 | AAAI | Pay-As-You-Go OWL Query Answering Using a Triple Store. | Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks |
| 2011 | IJCAI | On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. | Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev |
| 2010 | CSL | On the Computability of Region-Based Euclidean Logics. | Yavor Nenov, Ian Pratt-Hartmann |
| 2008 | AiML | Modal logics for mereotopological relations. | Yavor Nenov, Dimiter Vakarelov |