Physics, Logic and the Phenomenal.

Philip P. Hanson

Published in: Minds Mach. (2000)

Keyphrases

computer science
logic programming
automated reasoning
multi valued
classical logic
artificial intelligence
modal logic
defeasible logic
real time
genetic algorithm
decision trees
data structure
logical framework
formal theory
proof theory
logic synthesis