
-
DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis
Given a system that does not work as expected, Sequential Diagnosis (SD)...
read it
-
Memory-Limited Model-Based Diagnosis
Various model-based diagnosis scenarios require the computation of most ...
read it
-
Sound, Complete, Linear-Space, Best-First Diagnosis Search
Various model-based diagnosis scenarios require the computation of the m...
read it
-
Do We Really Sample Right In Model-Based Diagnosis?
Statistical samples, in order to be representative, have to be drawn fro...
read it
-
The Scheduling Job-Set Optimization Problem: A Model-Based Diagnosis Approach
A common issue for companies is that the volume of product orders may at...
read it
-
On Expert Behaviors and Question Types for Efficient Query-Based Ontology Fault Localization
We challenge existing query-based ontology fault localization methods wr...
read it
-
Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof
In his seminal paper of 2004, Ulrich Junker proposed the QuickXPlain alg...
read it
-
Towards Optimizing Reiter's HS-Tree for Sequential Diagnosis
Reiter's HS-Tree is one of the most popular diagnostic search algorithms...
read it
-
Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers?
Real-world semantic or knowledge-based systems, e.g., in the biomedical ...
read it
-
A New Expert Questioning Approach to More Efficient Fault Localization in Ontologies
When ontologies reach a certain size and complexity, faults such as inco...
read it
-
Evaluating Active Learning Heuristics for Sequential Diagnosis
Given a malfunctioning system, sequential diagnosis aims at identifying ...
read it
-
A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis
Model-Based Diagnosis deals with the identification of the real cause of...
read it
-
Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis
In this work we present strategies for (optimal) measurement selection i...
read it
-
Scalable Computation of Optimized Queries for Sequential Diagnosis
In many model-based diagnosis applications it is impossible to provide s...
read it
-
A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics
A broad variety of knowledge-based applications such as recommender, exp...
read it
-
Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging
Many AI applications rely on knowledge encoded in a locigal knowledge ba...
read it
-
RIO: Minimizing User Interaction in Debugging of Knowledge Bases
The best currently known interactive debugging systems rely upon some me...
read it
-
RIO: Minimizing User Interaction in Ontology Debugging
Efficient ontology debugging is a cornerstone for many activities in the...
read it
-
Direct computation of diagnoses for ontology debugging
Modern ontology debugging methods allow efficient identification and loc...
read it
-
Interactive ontology debugging: two query strategies for efficient fault localization
Effective debugging of ontologies is an important prerequisite for their...
read it
-
Query strategy for sequential ontology debugging
Debugging of ontologies is an important prerequisite for their wide-spre...
read it