Textual Inference Logic: Take Two.
Valeria de PaivaDaniel G. BobrowCleo CondoravdiDick CrouchTracy Holloway KingLauri KarttunenRowan NairnAnnie ZaenenPublished in: C&O:RR (2007)
Keyphrases
- logical inference
- deductive reasoning
- abductive reasoning
- probabilistic inference
- inference mechanism
- multimedia
- logic programming
- bayesian inference
- keywords
- natural language
- modal logic
- belief networks
- multi valued
- asynchronous circuits
- predicate logic
- proof theory
- automated reasoning
- textual data
- neural network
- nonmonotonic inference
- closed world assumptions
- classical logic
- logical framework
- dynamic bayesian networks
- metadata
- artificial intelligence