An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets

17 February 2021

Papers citing "An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets"

21 / 21 papers shown

Title
FastDiagP: An Algorithm for Parallelized Direct Diagnosis Viet-Man Le Cristian Vidal Silva Alexander Felfernig David Benavides J. Galindo Thi Ngoc Trang Tran 21 5 0 11 May 2023
Conjunctive Query Based Constraint Solving For Feature Model Configuration Alexander Felfernig Viet-Man Le Sebastian Lubos LRM 12 1 0 26 Apr 2023
Logic-Based Explainability in Machine Learning João Marques-Silva LRM XAI 31 39 0 24 Oct 2022
How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms P. Rodler 9 9 0 26 Jul 2022
Configuring Multiple Instances with Multi-Configuration Alexander Felfernig Andrei Popescu Mathias Uta Viet-Man Le Seda Polat-Erdeniz Martin Stettinger Müslüm Atas Thi Ngoc Trang Tran 17 1 0 20 Sep 2021
AI Techniques for Software Requirements Prioritization Alexander Felfernig 14 5 0 02 Aug 2021
Group Recommendation Techniques for Feature Modeling and Configuration Viet-Man Le VLM 12 3 0 13 Apr 2021
Designing Explanations for Group Recommender Systems Alexander Felfernig N. Tintarev Thi Ngoc Trang Tran Martin Stettinger LRM 13 6 0 24 Feb 2021
An Overview of Direct Diagnosis and Repair Techniques in the WeeVis Recommendation Environment Alexander Felfernig Stefan Reiterer Martin Stettinger Michael Jeran CML 18 0 0 24 Feb 2021
CoreDiag: Eliminating Redundancy in Constraint Sets Alexander Felfernig Christoph Zehentner Paul J. Blazek 6 7 0 24 Feb 2021
Anytime Diagnosis for Reconfiguration Alexander Felfernig Rouven Walter J. Galindo David Benavides Seda Polat-Erdeniz Müslüm Atas Stefan Reiterer 8 35 0 19 Feb 2021
Towards Utility-based Prioritization of Requirements in Open Source Environments Alexander Felfernig Martin Stettinger Müslüm Atas Ralph Samer Jennifer Nerlich Simon Scholz J. Tiihonen M. Raatikainen 12 9 0 17 Feb 2021
An Overview of Recommender Systems and Machine Learning in Feature Modeling and Configuration Alexander Felfernig Viet-Man Le Andrei Popescu Mathias Uta Thi Ngoc Trang Tran Müslüm Atas 12 23 0 12 Feb 2021
DirectDebug: Automated Testing and Debugging of Feature Models Viet-Man Le Alexander Felfernig Mathias Uta David Benavides J. Galindo Thi Ngoc Trang Tran 17 14 0 11 Feb 2021
DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis P. Rodler 9 5 0 21 Dec 2020
On Relating 'Why?' and 'Why Not?' Explanations Alexey Ignatiev Nina Narodytska Nicholas M. Asher João Marques-Silva XAI FAtt LRM 15 26 0 21 Dec 2020
RBF-HS: Recursive Best-First Hitting Set Search P. Rodler 12 1 0 08 Oct 2020
Do We Really Sample Right In Model-Based Diagnosis? P. Rodler Fatima Elichanova 6 8 0 25 Sep 2020
Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof P. Rodler FAtt 16 11 0 07 Jan 2020
Interactive Debugging of Knowledge Bases P. Rodler KELM 22 41 0 19 May 2016
Une approche CSP pour láide à la localisation dérreurs Mohammed Bekkouche Hélène Collavizza M. Rueher 42 3 0 25 Apr 2014