Login / Signup
Numeric Reasoning with Relative Orders of Magnitude.
Philippe Dague
Published in:
AAAI (1993)
Keyphrases
</>
orders of magnitude
knowledge representation
brute force search
state space
orders of magnitude speedup
knowledge base
sat solvers
search problems
automated reasoning
spatial reasoning
legal reasoning