An Interactive Consultant. - Pierre Carbonnelle; Bram Aerts; Marjolein Deryck; Joost Vennekens; Marc Denecker (BNAIC/BENELEARN, 2019)

IDP-Z3: a reasoning engine for FO(.). - Pierre Carbonnelle; Simon Vandevelde; Joost Vennekens; Marc Denecker (CoRR, 2022)

Quantification and aggregation over concepts of the ontology. - Pierre Carbonnelle; Matthias van der Hallen; Marc Denecker (ICLP, 2023)

Interactive Model Expansion in an Observable Environment. - Pierre Carbonnelle; Joost Vennekens; Marc Denecker; Bart Bogaerts 001 (Theory Pract. Log. Program., 2023)

Using Symmetries to Lift Satisfiability Checking. - Pierre Carbonnelle; Gottfried Schenner; Maurice Bruynooghe; Bart Bogaerts 001; Marc Denecker (AAAI, 2024)