Login / Signup
Implicit relationship deduction in one/more judgment templates.
Cai Zhiming
Yin Jun
Zhou Yingjie
Liang Yong
Published in:
ICHIT (2009)
Keyphrases
</>
inference rules
data sets
real time
search engine
machine learning
decision making
wide range
control system
theorem proving