Keyphrases
- logic programming
- formal language
- classical logic
- natural language processing
- neural network
- modal logic
- automated reasoning
- natural language
- sound and complete axiomatization
- predicate logic
- set theory
- multi valued
- logical framework
- probabilistic logic
- asynchronous circuits
- linear logic
- proof theory
- light scattering
- context free grammars