Equality Reasoning with Equality-paths.

Karl-Hans Bläsius

Published in: GWAI (1985)

Keyphrases

databases
knowledge base
neural network
machine learning
causal reasoning
decision making
multi agent systems
probabilistic reasoning
spatial reasoning
reasoning tasks
database query languages