Conditionals and Action Logics.

Richmond H. Thomason

Published in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)

Keyphrases

conditional logic
modal logic
inheritance reasoning
nonmonotonic reasoning
expressive power
default reasoning
proof theoretic
belief revision
nonmonotonic inference
temporal logic
inference rules
decision procedures
model checking
data sets
action selection
spatio temporal
epistemic logic
website