Behavioural Characterizations of Partial Order Logics.
Irina B. VirbitskaiteAnzhelika VotintsevaPublished in: FCT (1997)
Keyphrases
- partial order
- partially ordered
- set theory
- total order
- expressive power
- modal logic
- stable marriage
- inference rules
- conceptual graphs
- partial ordering
- default reasoning
- lattice structure
- logical formulas
- dominance relation
- causal links
- preference relations
- sequential patterns
- nonmonotonic logics
- search algorithm
- vertex cover