Login / Signup
A history based approximate epistemic action theory for efficient postdictive reasoning.
Manfred Eppe
Mehul Bhatt
Published in:
J. Appl. Log. (2015)
Keyphrases
</>
action theories
automated reasoning
reasoning about actions
knowledge base
constraint satisfaction
default reasoning