Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation.
Nicola BertoglioGianfranco LampertiMarina ZanellaXiangfu ZhaoPublished in: KR (2020)
Keyphrases
- temporal information
- knowledge compilation
- diagnosis of discrete event systems
- product configuration
- prime implicates
- temporal reasoning
- spatial information
- video sequences
- model counting
- temporal patterns
- temporal constraints
- temporal dimension
- temporal expressions
- normal form
- temporal data
- temporal knowledge
- constraint satisfaction problems
- contextual information
- decomposable negation normal form
- temporal sequences
- temporal aspects
- constraint satisfaction
- mobile devices
- search space
- knowledge base
- computer vision
- data mining