Sign in
Symmetries and Epistemic Reasoning.
Jeffrey Kane
Pavel Naumov
Published in:
CLIMA (2013)
Keyphrases
</>
reasoning process
reasoning systems
knowledge base
meta level
epistemic logic
feature points
probabilistic reasoning
neural network
spatial reasoning
reasoning tasks
belief change
logical reasoning
automated reasoning
state space
search algorithm
case study
machine learning