Quality criteria for partial order semantics of place/transition-nets with capacities.
Robert GoldWalter VoglerPublished in: Fundam. Informaticae (1992)
Keyphrases
- partial order
- default reasoning
- partially ordered
- conceptual graphs
- total order
- cp nets
- partial ordering
- declarative semantics
- formal semantics
- logical formulas
- set theory
- preference relations
- lattice structure
- stable marriage
- totally ordered
- vertex cover
- logic programming
- logic programming language
- dominance relation
- causal links
- operational semantics
- sequential patterns
- computational complexity