38 citations · 109 across the 21 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022
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
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,…