Login / Signup

Logical Difference Computation with CEX2.5.

Boris KonevMichel LudwigFrank 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