Completeness of Sets of Delayed-Logic Devices.

Herschel H. Loomis Jr.

Published in: IEEE Trans. Electron. Comput. (1965)

Keyphrases

modal logic
truth values
website
logic programming
multi valued
sound and complete axiomatization
abductive reasoning
learning algorithm
data quality
embedded systems
neural network
horn clauses
classical logic
processing capabilities
defeasible logic
e learning
formal theory
information systems
definite clause