Logical Difference Computation with CEX2.5.

Boris Konev Michel Ludwig Frank Wolter

Published in: IJCAR (2012)

Keyphrases

probabilistic logic
neural network
information systems
three dimensional
data sets
real world
computer vision
decision making
cooperative
preprocessing
multiresolution
logical reasoning