Quality criteria for partial order semantics of place/transitions nets
Robert GoldWalter VoglerPublished in: Forschungsberichte, TU Munich (1990)
Keyphrases
- partial order
- default reasoning
- partially ordered
- conceptual graphs
- cp nets
- total order
- declarative semantics
- stable marriage
- partial ordering
- lattice structure
- formal semantics
- logical formulas
- set theory
- preference relations
- data quality
- sequential patterns
- semantic information
- logic programming
- vertex cover
- totally ordered
- data structure
- operational semantics
- plan generation
- constraint satisfaction
- domain specific