Login / Signup
Equality Reasoning in Clause Graphics.
Karl-Hans Bläsius
Published in:
IJCAI (1983)
Keyphrases
</>
multimedia
computer graphics
search space
reasoning tasks
reasoning process
knowledge base
automated reasoning
spatial reasoning
neural network
model based reasoning
meta level
probabilistic reasoning
theorem prover
data model
expert systems
data sets
qualitative reasoning
learning algorithm
deductive reasoning