Keyphrases
- formal proofs
- natural language
- knowledge representation
- machine learning
- natural language processing
- natural language interface
- natural language generation
- semantic analysis
- question answering
- syntactic structures
- language processing
- databases
- counter intuitive
- natural language sentences
- semantic representation
- information extraction
- multimedia
- real world
- dialogue system
- user interface
- relational databases
- semantic interpretation
- digital libraries
- linguistic analysis
- artificial intelligence
- dialog systems
- real time
- generating explanations