A theory of measurement in diagnosis from first principles
From MaRDI portal
Publication:1321062
DOI10.1016/0004-3702(94)90019-1zbMath0803.68130OpenAlexW2018052229MaRDI QIDQ1321062
Publication date: 2 January 1995
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(94)90019-1
Related Items (7)
Fast, flexible MUS enumeration ⋮ A New Approach to Partial MUS Enumeration ⋮ FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets ⋮ Comments on the theory of measurement in diagnosis from first principles ⋮ A quantum walk-assisted approximate algorithm for bounded NP optimisation problems ⋮ The computation of hitting sets: Review and new algorithms ⋮ Clause redundancy and preprocessing in maximum satisfiability
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A Mathematical Theory of Communication
- A formal model of diagnostic inference. I. Problem formulation and decomposition
- Diagnosing multiple faults
- A theory of diagnosis from first principles
- A correction to the algorithm in Reiter's theory of diagnosis
- A logic for default reasoning
- On Database Logic
- Counterfactuals
This page was built for publication: A theory of measurement in diagnosis from first principles