Gödel. A Life of Logic, J.L. Casti, W. DePauli; Perseus Publishing, Cambridge, MA, 2000, pp 210, ISBN 0-7382-0274-6.

G. William Moore

Published in: Neurocomputing (2002)

Keyphrases

logic programming
classical logic
modal logic
machine learning
valued logic
expert systems
daily life
automated reasoning
logical framework
defeasible logic
data model
logic programs
predicate logic
modal operators