Keyphrases
- partial order
- linear logic
- partially ordered
- logical formulas
- total order
- fixed point
- default reasoning
- cut elimination
- higher order
- logic programming
- proof theoretic
- sequent calculus
- intuitionistic logic
- first order logic
- desirable properties
- logical framework
- lattice structure
- stable marriage
- sequential patterns
- software engineering
- constraint satisfaction
- graphical models
- multi dimensional
- general purpose
- probability distribution
- reinforcement learning
- machine learning