Keyphrases
- natural language
- formal language
- logic programming
- knowledge representation
- natural language interface
- semantic analysis
- modal logic
- logical formulas
- language processing
- classical logic
- semantic interpretation
- question answering
- predicate logic
- artificial intelligence
- database
- information extraction
- multi agent systems
- automated reasoning
- data mining
- data sets
- formal theory
- asynchronous circuits