Keyphrases
- proof theoretic
- cognitive science
- nonmonotonic reasoning
- linear logic
- proof theory
- default reasoning
- model theoretic
- constraint logic programming
- artificial intelligence
- computer science
- information processing
- fixpoint
- computational intelligence
- logic programs
- logic programming
- cut elimination
- fixed point
- database
- sequent calculus
- machine learning