Login / Signup
High-speed consistency checking for hypothetical reasoning systems using inference path network.
Haruhiko Kimura
Sadaki Hirose
Hidetaka Nambo
Published in:
Systems and Computers in Japan (2002)
Keyphrases
</>
hypothetical reasoning
consistency checking
high speed
data mining
logic programs
real time
high level
peer to peer
query answering
expert systems
shortest path
temporal reasoning