What topology tells us about diagnosability in partial order semantics.
Stefan HaarPublished in: Discret. Event Dyn. Syst. (2012)
Keyphrases
- partial order
- default reasoning
- partially ordered
- total order
- conceptual graphs
- declarative semantics
- stable marriage
- partial ordering
- logic programming
- lattice structure
- preference relations
- sequential patterns
- formal semantics
- discrete event systems
- logical formulas
- causal links
- semantic information
- global consistency
- set theory
- discrete event
- fault diagnosis
- dominance relation