Login / Signup
Is Logic Necessary?
Gregory L. McColm
Published in:
Logica Universalis (2010)
Keyphrases
</>
automated reasoning
multi valued
modal logic
computational properties
proof theory
classical logic
database
real world
machine learning
information retrieval
decision making
image processing
clustering algorithm
set theory
abductive reasoning
epistemic logic