Login / Signup
An Approximative Criterion for the Potential of Energetic Reasoning.
Timo Berthold
Stefan Heinz
Jens 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