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]
@inproceedings{Thomason11-0, title = {The Formalization of Practical Reasoning: An Opinionated Survey}, author = {Richmond Thomason}, year = {2011}, url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2388}, researchr = {https://researchr.org/publication/Thomason11-0}, cites = {0}, citedby = {0}, booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011}, publisher = {AAAI}, }