SAT-based rigorous explanations for decision lists
A Ignatiev, J Marques-Silva - … and Applications of Satisfiability Testing–SAT …, 2021 - Springer
Decision lists (DLs) find a wide range of uses for classification problems in Machine
Learning (ML), being implemented in anumber of ML frameworks. DLs are often perceived …
Learning (ML), being implemented in anumber of ML frameworks. DLs are often perceived …
On guaranteed optimal robust explanations for NLP models
E La Malfa, A Zbrzezny, R Michelmore… - arXiv preprint arXiv …, 2021 - arxiv.org
We build on abduction-based explanations for ma-chine learning and develop a method for
computing local explanations for neural network models in natural language processing …
computing local explanations for neural network models in natural language processing …
On residual-based diagnosis of physical systems
A Diedrich, O Niggemann - Engineering Applications of Artificial …, 2022 - Elsevier
In this article we describe a novel diagnosis methodology for physical systems such as
industrial production systems. The article consists of two parts: Part one analyzes the …
industrial production systems. The article consists of two parts: Part one analyzes the …
[PDF][PDF] Reasoning about inconsistent formulas
J Marques-Silva, C Mencía - Proceedings of the Twenty-Ninth …, 2020 - digibuo.uniovi.es
The analysis of inconsistent formulas finds an everincreasing range of applications, that
include axiom pinpointing in description logics, fault localization in software, model-based …
include axiom pinpointing in description logics, fault localization in software, model-based …
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach
Abstract Multi-Agent Systems (MAS) can be found in a wide variety of applications, including
industrial systems, transportation, software systems and more. In such systems, agents may …
industrial systems, transportation, software systems and more. In such systems, agents may …
cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
Debugging is one of the most time-consuming and expensive tasks in software
development. Several formula-based fault localization (FBFL) methods have been …
development. Several formula-based fault localization (FBFL) methods have been …
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
Debugging is one of the most time-consuming and expensive tasks in software
development. Several formula-based fault localization (FBFL) methods have been …
development. Several formula-based fault localization (FBFL) methods have been …
Handling inconsistency in partially preordered ontologies: the Elect method
S Belabbes, S Benferhat… - Journal of Logic and …, 2021 - academic.oup.com
We focus on the problem of handling inconsistency in lightweight ontologies. We assume
that the terminological knowledge base (TBox) is specified in DL-Lite and that the set of …
that the terminological knowledge base (TBox) is specified in DL-Lite and that the set of …
Two algorithms for improving model-based diagnosis using multiple observations and deep learning
R Tai, D Ouyang, L Zhang - Neural Networks, 2025 - Elsevier
Abstract Model-based diagnosis (MBD) is a critical problem in artificial intelligence. Recent
advancements have made it possible to address this challenge using methods like deep …
advancements have made it possible to address this challenge using methods like deep …
A novel approach to model-based diagnosis with multiple observations
R Tai, D Ouyang, W Liu, L Jiang, L Zhang - Engineering Applications of …, 2025 - Elsevier
Abstract Model-based diagnosis (MBD) with multiple abnormal observations utilizes
inconsistencies between actual and expected observations of systems to localize system …
inconsistencies between actual and expected observations of systems to localize system …