Natural Language Reasoning using Coq: Interaction and Automation.
Stergios ChatzikyriakidisPublished in: TALN (2015)
Keyphrases
- natural language
- knowledge representation
- machine learning
- knowledge base
- cognitive agents
- natural language interface
- human computer interaction
- automated reasoning
- analogical reasoning
- natural language processing
- question answering
- probabilistic reasoning
- human robot interaction
- natural language generation
- conceptual representation
- reasoning systems
- knowledge acquisition
- information extraction
- reasoning tasks
- natural language understanding
- natural language text
- uncertain information
- semantic interpretation
- knowledge representation and reasoning
- fuzzy logic
- information retrieval
- cognitive abilities
- reasoning mechanisms
- neural network