Slot Filling through Statistical Processing and Inference Rules.

Vittorio Castelli Radu Florian Ding-Jung Han

Published in: TAC (2010)

Keyphrases

inference rules
modal logic
first order logic
theorem proving
theorem prover
logical framework
logic programming language
truth values
probabilistic knowledge
sequent calculus
knowledge base
logic programs