Pierre Carbonnelle

According to our database, Pierre Carbonnelle authored at least 6 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

A Relational Theory of Grounding and a new Grounder for SMT.

Pierre Carbonnelle

CoRR, February, 2026

2024

Using Symmetries to Lift Satisfiability Checking.

Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Interactive Model Expansion in an Observable Environment.

Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts

Theory Pract. Log. Program., July, 2023

Quantification and aggregation over concepts of the ontology.

Pierre Carbonnelle, Matthias van der Hallen, Marc Denecker

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

2022

IDP-Z3: a reasoning engine for FO(.).

Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker

CoRR, 2022

2019

An Interactive Consultant.

Pierre Carbonnelle, Bram Aerts, Marjolein Deryck, Joost Vennekens, Marc Denecker

Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019