C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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