Logic and Thought.

Stuart A. Eisenstadt Herbert A. Simon

Published in: Minds Mach. (1997)

Keyphrases

logic programming
formal language
multiscale
modal logic
automated reasoning
neural network
classical logic
formal theory
proof theory
information retrieval
decision making
decision trees
defeasible logic
nonmonotonic logics
asynchronous circuits