Diagnostic propositional formulas
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4216525
- Diagnostic reasoning with A-Prolog
- scientific article; zbMATH DE number 1790855
- A formal model of diagnostic inference. I. Problem formulation and decomposition
- Diagnostic conditionalization
- Model-based diagnosis and conditional logic
- Design and implementation of diagnostic strategies using modal logic
- A formal model of diagnostic inference. II. Algorithmic solution and application
- On logics having diagnostic formulas relative to minimal calculus
Cited in
(2)
This page was built for publication: Diagnostic propositional formulas
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1177504)