Login / Signup
Lenient Default Unification for Robust Processing within Unification Based Grammar Formalisms.
Takashi Ninomiya
Yusuke Miyao
Jun'ichi Tsujii
Published in:
COLING (2002)
Keyphrases
</>
higher order
theorem proving
real time
information processing
knuth bendix
natural language
knowledge representation
database
neural network
data processing
computationally efficient
theorem prover
parameter tuning
nonmonotonic reasoning
automated theorem proving
equational theories