Modal Logic for Preference Based on Reasons.

Daniel N. Osherson Scott Weinstein

Published in: In Search of Elegance in the Theory and Practice of Computation (2013)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
nonmonotonic logics
explanation based generalization
situation calculus
default logic
conditional logic
epistemic logic
dynamic logic
sequent calculus
machine learning
relational databases
database systems
knowledge base