Login / Signup

An Approximative Criterion for the Potential of Energetic Reasoning.

Timo BertholdStefan HeinzJens Schulz
Published in: TAPAS (2011)
Keyphrases
  • reasoning process
  • knowledge base
  • automated reasoning
  • data sets
  • knowledge representation
  • reasoning systems
  • real world
  • image segmentation
  • knowledge representation and reasoning
  • formal models
  • logical reasoning