Pierre Carbonnelle

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Reasoning Engine

Top Venues

BNAIC/BENELEARN

Theory Pract. Log. Program.

Publications

Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
Using Symmetries to Lift Satisfiability Checking. AAAI (2024)
Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
Using Symmetries to Lift Satisfiability Checking. CoRR (2023)
Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker
Interactive Model Expansion in an Observable Environment. CoRR (2023)
Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts
Interactive Model Expansion in an Observable Environment. Theory Pract. Log. Program. 23 (4) (2023)
Pierre Carbonnelle, Matthias van der Hallen, Marc Denecker
Quantification and aggregation over concepts of the ontology. CoRR (2022)
Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker
IDP-Z3: a reasoning engine for FO(.). CoRR (2022)
Pierre Carbonnelle, Bram Aerts, Marjolein Deryck, Joost Vennekens, Marc Denecker
An Interactive Consultant. BNAIC/BENELEARN (2019)