Quality Criteria for Partial Order Semantics of Place/Transition-Nets.
Robert GoldWalter VoglerPublished in: MFCS (1990)
Keyphrases
- partial order
- default reasoning
- partially ordered
- conceptual graphs
- total order
- cp nets
- formal semantics
- partial ordering
- logical formulas
- preference relations
- stable marriage
- declarative semantics
- set theory
- logic programming
- lattice structure
- dominance relation
- predicate logic
- temporal planning
- decision problems
- semantic information
- conditional independencies
- totally ordered
- computational complexity