Keyphrases
- logic programming
- formal language
- classical logic
- natural language
- modal logic
- multi valued
- deontic logic
- natural language processing
- automated reasoning
- grammatical inference
- concurrent programming
- phrase structure
- epistemic logic
- computational properties
- context free grammars
- lower bound
- truth values
- multi agent systems
- asynchronous circuits
- learning algorithm
- database