Failsafe Logic Nets.

Nobuki Tokura Tadao Kasami Akihiro Hashimoto

Published in: IEEE Trans. Computers (1971)

Keyphrases

logic programming
automated reasoning
artificial intelligence
logical framework
classical logic
real time
machine learning
information retrieval
multiscale
expert systems
modal logic
probability theory
computational properties
nonmonotonic logics
linear temporal logic