4 citations · 6 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 1 cited
Quantification and Aggregation over Concepts of the Ontology
Pierre Carbonnelle, Matthias Van der Hallen, Marc Denecker
We argue that in some KR applications, we want to quantify over sets of concepts formally represented by symbols in the vocabulary. We show that this quantification should be disti…
cs.LO2022★ 4 cited
Interactive configurator with FO(.) and IDP-Z3
Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens +1
Industry abounds with interactive configuration problems, i.e., constraint solving problems interactively solved by persons with the assistance of a computer. The computer program,…