Login / Signup
Reasoning about Deduction with Unknown Constants.
Andrew Eaas
Published in:
IJCAI (1981)
Keyphrases
</>
inference rules
qualitative reasoning
artificial intelligence
spatial reasoning
formal theory
databases
real world
data structure
mobile robot
data sets
three dimensional
search algorithm
lower bound
theorem prover
theorem proving
computer algebra