Formal Reasoning Under Cached Address Translation.

Hira Taqdees Syeda Gerwin Klein

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

Keyphrases

multi agent
formal models
knowledge base
logical reasoning
meta level
knowledge representation
formal model
database
spatial reasoning
reasoning process
response time
machine translation
query translation
qualitative reasoning
uncertain information
analogical reasoning
legal argument