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