Logic and Computation in the Real World: CiE 2007.

S. Barry Cooper Benedikt Löwe Andrea Sorbi

Published in: J. Log. Comput. (2009)

Keyphrases

real world
wide range
data sets
case study
logic programming
multi valued
synthetic datasets
modal logic
proof theory
real time
predicate logic
defeasible logic
image enhancement
synthetic data
digital images
data structure
search engine
data mining
neural network