Richmond Thomason. The Formalization of Practical Reasoning: An Opinionated Survey. In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI, 2011. [doi]
Abstract is missing.