Natural Logic for Textual Inference.
Bill MacCartneyChristopher D. ManningPublished in: ACL-PASCAL@ACL (2007)
Keyphrases
- logical inference
- abductive reasoning
- deductive reasoning
- inference mechanism
- probabilistic inference
- classical logic
- logic programming
- natural language
- artificial systems
- belief networks
- multimedia
- modal logic
- metadata
- asynchronous circuits
- data sets
- bayesian inference
- graphical models
- knowledge base
- human generated
- proof theory
- real world
- databases