Lazy buffer semantics for partial order scenarios.
Bill MitchellPublished in: Autom. Softw. Eng. (2007)
Keyphrases
- partial order
- default reasoning
- partially ordered
- conceptual graphs
- total order
- stable marriage
- declarative semantics
- lattice structure
- set theory
- formal semantics
- partial ordering
- logic programming
- logical formulas
- totally ordered
- preference relations
- real world
- sequential patterns
- maximum weight
- data mining
- dominance relation
- buffer size
- bayesian networks