Keyphrases
- partial order
- term rewriting
- theorem prover
- theorem proving
- partially ordered
- total order
- operational semantics
- rewrite systems
- knuth bendix
- lattice structure
- causal links
- knowledge representation
- preference relations
- artificial intelligence
- modeling language
- inference rules
- sequential patterns
- first order logic
- data model
- databases