A Default Inference Rule Operating Internally to the Grammar Devices.

Christophe Onambélé Manga

Published in: NLPAR@LPNMR (2013)

Keyphrases

inference rules
first order logic
theorem proving
mobile devices
logical framework
natural language
theorem prover
truth values
modal logic
horn clauses
set of inference rules
database
sequent calculus
context free grammars
training data
feature selection
databases