Reasoning about Equality.

Ewing L. Lusk Ross A. Overbeek

Published in: J. Autom. Reason. (1985)

Keyphrases

formal theory
spatial reasoning
qualitative reasoning
machine learning
neural network
metadata