UIOWA at NTCIR-9 RITE: Using the Power of the Crowd to Establish Inference Rules.

Christopher G. Harris

Published in: NTCIR (2011)

Keyphrases

inference rules
first order logic
test collection
logical framework
modal logic
theorem proving
theorem prover
logic programming language
truth values
natural deduction
conditional probabilities
probabilistic knowledge
sequent calculus
information retrieval
horn clauses
expert systems
learning algorithm