Proof Assistants for Natural Language Semantics.
Stergios ChatzikyriakidisZhaohui LuoPublished in: LACL (2016)
Keyphrases
- natural language
- semantic interpretation
- semantic representation
- proof theory
- conceptual graphs
- formal language
- semantic analysis
- logical rules
- formal semantics
- complete axiomatization
- precise definition
- semantic information
- theorem proving
- formal languages
- natural language generation
- theorem prover
- proof theoretic
- logic programming
- language processing
- natural language processing
- information extraction
- machine learning
- compositional semantics
- natural language interface
- intelligent agents
- question answering
- knowledge representation
- natural language understanding
- operational semantics
- dialogue system
- model theoretic
- default reasoning
- semantic representations
- dynamic logic
- natural deduction
- deductive databases
- multi agent
- knowledge base
- mathematical proofs
- artificial intelligence