Login / Signup
Pushing Anderson's Envelope: The Modal Logic of Ascription.
Davide Grossi
Published in:
DEON (2008)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
mental states
epistemic logic
nonmonotonic logics
conditional logic
classical logic
situation calculus
default logic
modal operators
explanation based generalization
prime implicates
autoepistemic logic
dynamic logic
domain knowledge
machine learning