Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles (Q5450921)
From MaRDI portal
scientific article; zbMATH DE number 5250231
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles |
scientific article; zbMATH DE number 5250231 |
Statements
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles (English)
0 references
17 March 2008
0 references
model based reasoning
0 references
model based diagnosis
0 references
SAT-solving
0 references
system monitoring
0 references
formal specification
0 references
