On the Use of Answer Set Programming for Model-Based Diagnosis.
Franz WotawaPublished in: IEA/AIE (2020)
Keyphrases
- model based diagnosis
- answer set programming
- logic programming
- logic programs
- answer sets
- dynamic systems
- model based reasoning
- diagnostic reasoning
- discrete event systems
- constraint logic programming
- answer set programs
- fault localization
- causal theories
- stable model semantics
- physical systems
- fault models
- diagnostic process
- model checking
- haplotype inference
- stable models
- constraint programming
- hardware designs
- special case
- qualitative spatial and temporal reasoning
- declarative programming
- machine learning
- disjunctive logic programming
- programming language
- knowledge representation
- knowledge base