Keyphrases
- theorem prover
- natural language
- text generation
- automated reasoning
- theorem proving
- first order logic
- inference rules
- automated theorem proving
- automated deduction
- term rewriting
- knowledge representation
- computer algebra
- semantic analysis
- natural language processing
- natural language interface
- higher order logic
- formal proof
- mathematical knowledge
- machine learning
- question answering
- semantic interpretation
- dialogue system
- language processing
- information extraction
- timed automata
- formal semantics
- proof search
- boolean algebra
- natural deduction
- expert systems
- artificial intelligence
- natural language generation
- proof planning
- decision trees
- feature selection