Keyphrases
- linear logic
- fixed point
- cut elimination
- sequent calculus
- intuitionistic logic
- proof theoretic
- logic programming
- logical framework
- desirable properties
- proof search
- inference rules
- artificial intelligence
- nonmonotonic reasoning
- machine learning
- logic programs
- dynamic programming
- data model
- multi agent
- decision making