389 citations · 447 across the 14 of their papers we have counts for
16 papers
Reasoning About Action and Change
Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang +1
The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as on current issues. It…
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches
Pierre Bourhis, Laurence Duchien, Jérémie Dusart +3
Analyzing a Feature Model (FM) and reasoning on the corresponding configuration space is a central task in Software Product Line (SPL) engineering. Problems such as deciding the sa…
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits
Alexis de Colnet, Pierre Marquis
We consider the problem EnumIP of enumerating prime implicants of Boolean functions represented by decision decomposable negation normal form (dec-DNNF) circuits. We study EnumIP f…
Computing Abductive Explanations for Boosted Trees
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis +1
Boosted trees is a dominant ML model, exhibiting high accuracy. However, boosted trees are hardly intelligible, and this is a problem whenever they are used in safety-critical appl…
Rectifying Mono-Label Boolean Classifiers
Sylvie Coste-Marquis, Pierre Marquis
We elaborate on the notion of rectification of a Boolean classifier . Given and some background knowledge , postulates characterizing the way must be changed into a n…
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits
Pierre Bourhis, Laurence Duchien, Jérémie Dusart +3
We are interested in computing most preferred models of a given d-DNNF circuit , where the preference relation is based on an algebraic structure called a monotone, totally…