Multitraces, Hypertraces and Partial Order Semantics.
M. W. ShieldsPublished in: Formal Aspects Comput. (1992)
Keyphrases
- partial order
- default reasoning
- partially ordered
- conceptual graphs
- total order
- partial ordering
- preference relations
- formal semantics
- set theory
- logic programming
- lattice structure
- stable marriage
- causal links
- logical formulas
- declarative semantics
- semantic information
- sequential patterns
- maximum weight
- totally ordered