False Though Partly True - An Experiment in Logic.

Lloyd Humberstone

Published in: J. Philos. Log. (2003)

Keyphrases

logic programming
multi valued
classical logic
probabilistic logic
image processing
data mining
information retrieval
learning algorithm
probability theory
computational properties
predicate logic
linear logic
proof theory