5 citations · 5 across the 3 of their papers we have counts for
3 papers
Most General Explanations of Tree Ensembles (Extended Version)
Yacine Izza, Alexey Ignatiev, Sasha Rubin +2
Explainable Artificial Intelligence (XAI) is critical for attaining trust in the operation of AI systems. A key question of an AI system is ``why was this decision made this way''.…
Logic Programming with Satisfiability
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic program- ming with satisfiability combines the strengths of the two paradigms: logic programming…
Optimizing compilation of constraint handling rules in HAL
Christian Holzbaur, Maria Garcia de la Banda, Peter J. Stuckey +1
In this paper we discuss the optimizing compilation of Constraint Handling Rules (CHRs). CHRs are a multi-headed committed choice constraint language, commonly applied for writing…