Login / Signup
Entailment Inference in a Natural Logic-like General Reasoner.
Lenhart K. Schubert
Benjamin David Van Durme
Marzieh Bazrafshan
Published in:
AAAI Fall Symposium: Commonsense Knowledge (2010)
Keyphrases
</>
logic programming
special case
consistency checking
decision theoretic
probabilistic logic
bayesian inference
real world
general conditions
bayesian networks
np complete
temporal reasoning
man made
abductive reasoning
logical inference