Login / Signup
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