Michaël Thomazo, Lecture Notes in Computer Science, 15400, Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic, 2025, 1
Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo, “No Cliques Allowed: The Next Step Towards BDD/FC Conjecture”, Proc. ACM Manag. Data, 3:2 (2025), 1
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus, “Datalog rewritability and data complexity of ALCHOIQ with closed predicates”, Artificial Intelligence, 330 (2024), 104099
Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo, “Controlled query evaluation in description logics through consistent query answering”, Artificial Intelligence, 334 (2024), 104176
Georg Gottlob, Marco Manna, Andreas Pieris, “Polynomial combined first-order rewritings for linear and guarded existential rules”, Artificial Intelligence, 321 (2023), 103936
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, “Preference-based inconsistency-tolerant query answering under existential rules”, Artificial Intelligence, 312 (2022), 103772
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev, “A tetrachotomy of ontology-mediated queries with a covering axiom”, Artif. Intell., 309 (2022), 103738–46
Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan, “Efficient Datalog Rewriting for Query Answering in TGD Ontologies”, IEEE Trans. Knowl. Data Eng., 2021, 1
Meghyn Bienvenu, Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset, A Guided Tour of Artificial Intelligence Research, 2020, 185
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter, “Dichotomies in Ontology-Mediated Querying with the Guarded Fragment”, ACM Trans. Comput. Logic, 21:3 (2020), 1