Login / Signup
Reasoning about Expectation.
Joseph Y. Halpern
Riccardo Pucella
Published in:
CoRR (2014)
Keyphrases
</>
spatial reasoning
qualitative reasoning
databases
formal theory
practical reasoning
qualitative spatial
learning algorithm
information systems
search algorithm
object recognition
knowledge representation
qualitative spatial reasoning
complete axiomatization