Natural Language Inference in Coq.
Stergios ChatzikyriakidisZhaohui LuoPublished in: J. Log. Lang. Inf. (2014)
Keyphrases
- natural language
- inference process
- machine learning
- formal methods
- bayesian networks
- inference engine
- natural language interface
- maximum entropy models
- semantic analysis
- belief networks
- question answering
- knowledge representation
- probabilistic model
- grammatical inference
- inference problems
- bayesian inference
- language processing
- dynamic bayesian networks
- data sets
- probabilistic inference
- natural language processing
- conceptual graphs
- special case
- databases