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