Chisholm's paradox and conditional oughts.

Richmond H. Thomason

Catharine Saint Croix Richmond H. Thomason Chisholm's paradox and conditional oughts. 369-386 2019 29 J. Log. Comput. 3 https://doi.org/10.1093/logcom/exw003 db/journals/logcom/logcom29.html#CroixT19

Richmond H. Thomason The Little Nell Problem: reasonable and resolute maintenance of agent intentions. 433-440 2018 195 Synth. 1 https://doi.org/10.1007/s11229-016-1229-3 db/journals/synthese/synthese195.html#Thomason18

Jeremy Lent Richmond H. Thomason Action Models for Conditionals. 211-231 2015 24 J. Log. Lang. Inf. 2 https://doi.org/10.1007/s10849-015-9213-8 db/journals/jolli/jolli24.html#LentT15

Richmond H. Thomason The Formalization of Practical Reasoning: Problems and Prospects. 47-76 2014 1 FLAP 2 http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf db/journals/flap/flap1.html#Thomason14

Adam Rigoni Richmond H. Thomason The Logic of Counterpart Theory with Actuality. 1-31 2014 43 J. Philos. Log. 1 https://doi.org/10.1007/s10992-012-9248-0 db/journals/jphil/jphil43.html#RigoniT14

Catharine Saint Croix Richmond H. Thomason Chisholm's Paradox and Conditional Oughts. 192-207 2014 DEON https://doi.org/10.1007/978-3-319-08615-6_15 conf/deon/2014 db/conf/deon/deon2014.html#CroixT14

Richmond H. Thomason Some Limitations to the Psychological Orientation in Semantic Theory. 1-14 2011 40 J. Philos. Log. 1 https://doi.org/10.1007/s10992-010-9151-5 db/journals/jphil/jphil40.html#Thomason11

Dustin Tucker Richmond H. Thomason Paradoxes of Intensionality. 394-411 2011 4 Rev. Symb. Log. 3 https://doi.org/10.1017/S1755020311000128 db/journals/rsl/rsl4.html#TuckerT11

Richmond H. Thomason Conditionals and Action Logics. 156-161 2007 AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-027.php conf/aaaiss/2007-5 db/conf/aaaiss/aaaiss2007-5.html#Thomason07 Richmond H. Thomason Three Interactions Between Context and Epistemic Locutions. 467-481 2007 conf/context/2007 CONTEXT https://doi.org/10.1007/978-3-540-74255-5_35 db/conf/context/context2007.html#Thomason07 Richmond H. Thomason Making Contextual Intensional Logic Nonmonotonic. 501-514 2005 conf/context/2005 CONTEXT https://doi.org/10.1007/11508373_38 db/conf/context/context2005.html#Thomason05 Richmond H. Thomason Dynamic Contextual Intensional Logic: Logical Foundations and an Application. 328-341 2003 conf/context/2003 CONTEXT https://doi.org/10.1007/3-540-44958-2_26 db/conf/context/context2003.html#Thomason03

Gian Aldo Antonelli Richmond H. Thomason Representability in Second-Order Propositional Poly-Modal Logic. 1039-1054 2002 67 J. Symb. Log. 3 db/journals/jsyml/jsyml67.html#AntonelliT02 https://doi.org/10.2178/jsl/1190150147 http://projecteuclid.org/euclid.jsl/1190150147

Horacio L. Arló-Costa Richmond H. Thomason Iterative Probability Kinematics. 479-524 2001 30 J. Philos. Log. 5 https://doi.org/10.1023/A:1012277218013 db/journals/jphil/jphil30.html#Arlo-CostaT01

Varol Akman Paolo Bouquet Richmond H. Thomason Roger A. Young Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings CONTEXT Lecture Notes in Computer Science 2116 Springer 2001 3-540-42379-6 https://doi.org/10.1007/3-540-44607-9 db/conf/context/context2001.html

Barbara Di Eugenio Pamela W. Jordan Richmond H. Thomason Johanna D. Moore The agreement process: an empirical investigation of human-human computer-mediated collaborative dialogs. 1017-1076 2000 53 Int. J. Hum. Comput. Stud. 6 https://doi.org/10.1006/ijhc.2000.0428 db/journals/ijmms/ijmms53.html#EugenioJTM00

Richmond H. Thomason Desires and Defaults: A Framework for Planning with Inferred Goals. 702-713 2000 conf/kr/2000 KR db/conf/kr/kr2000.html#Thomason00 Leora Morgenstern Richmond H. Thomason Teaching Knowledge Representation: Challenges and Proposals. 725-733 2000 conf/kr/2000 KR db/conf/kr/kr2000.html#MorgensternT00

Jon Doyle Richmond H. Thomason Background to Qualitative Decision Theory. 55-68 1999 20 AI Mag. 2 db/journals/aim/aim20.html#DoyleT99 https://doi.org/10.1609/aimag.v20i2.1456

Richmond H. Thomason Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. 351-360 1999 conf/context/1999 CONTEXT https://doi.org/10.1007/3-540-48315-2_27 db/conf/context/context1999.html#Thomason99 Barbara Di Eugenio Johanna D. Moore Pamela W. Jordan Richmond H. Thomason An Empirical Investigation of Proposals in Collaborative Dialogues. 325-329 1998 conf/acl/1998 COLING-ACL db/conf/acl/acl98.html#EugenioMJT98 https://aclanthology.org/P98-1052/ https://doi.org/10.3115/980845.980899 https://www.wikidata.org/entity/Q57446260 Richmond H. Thomason Representing and Reasoning with Context. 29-41 1998 conf/aisc/1998 AISC https://doi.org/10.1007/BFb0055900 db/conf/aisc/aisc1998.html#Thomason98 Richmond H. Thomason Intra-Agent Modality and Nonmonotonic Epistemic Logic. 57-69 1998 conf/tark/1998 TARK db/conf/tark/tark1998.html#Thomason98

Barbara Di Eugenio Pamela W. Jordan Johanna D. Moore Richmond H. Thomason An Empirical Investigation of Proposals in Collaborative Dialogues http://arxiv.org/abs/cmp-lg/9806019 1998 CoRR cmp-lg/9806019 db/journals/corr/corr9806.html#cmp-lg-9806019

Richmond H. Thomason Nonmonotonicity in Linguistics. 777-831 1997 Handbook of Logic and Language https://doi.org/10.1016/b978-044481714-3/50018-7 books/el/97/BM1997 db/books/collections/BM1997.html#Thomason97 Richmond H. Thomason John F. Horty Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. 229-250 1996 conf/tark/1996 TARK db/conf/tark/tark1996.html#ThomasonH96

Richmond H. Thomason John M. Aronis Hybridizing Nonmonotonic Inheritance with Theorem Proving. 1992 6 Ann. Math. Artif. Intell. 4 db/journals/amai/amai6.html#ThomasonA92 345-365 https://doi.org/10.1007/BF01535525

John F. Horty Richmond H. Thomason Conditionals and artificial intelligence. 301-323 1991 15 Fundam. Informaticae 3-4 db/journals/fuin/fuin15.html#HortyT91

Richmond H. Thomason Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective. 449-466 1991 Artificial and Mathematical Theory of Computation https://doi.org/10.1016/b978-0-12-450010-5.50031-1 conf/birthday/1991mccarthy db/conf/birthday/mccarthy1991.html#Thomason91 David S. Touretzky Richmond H. Thomason John F. Horty A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. 478-485 1991 conf/ijcai/1991 IJCAI db/conf/ijcai/ijcai91.html#TouretzkyTH91 http://ijcai.org/Proceedings/91-1/Papers/074.pdf Richmond H. Thomason A Semantic Analysis of Monotonic Inheritance with Roles and Relations. 630-644 1991 conf/ismis/1991 ISMIS db/conf/ismis/ismis91.html#Thomason91 https://doi.org/10.1007/3-540-54563-8_126 Richmond H. Thomason David S. Touretzky Inheritance Theory and Networks with Roles. 231-266 1991 Principles of Semantic Networks https://doi.org/10.1016/B978-1-4832-0771-1.50014-X books/lib/BorgidaS91 db/books/collections/Sowa1991.html#ThomasonT91

John F. Horty Richmond H. Thomason David S. Touretzky A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. 311-348 1990 42 Artif. Intell. 2-3 db/journals/ai/ai42.html#HortyTT90 https://doi.org/10.1016/0004-3702(90)90057-7

John F. Horty Richmond H. Thomason Boolean Extensions of Inheritance Networks. 633-639 1990 conf/aaai/1990 AAAI db/conf/aaai/aaai90.html#HortyT90 http://www.aaai.org/Library/AAAI/1990/aaai90-095.php Richmond H. Thomason Propagating Epistemic Coordination Through Mutual Defaults I. 29-39 1990 conf/tark/1990 TARK db/conf/tark/tark1990.html#Thomason90

K. Jon Barwise Richmond H. Thomason Logic and Linguistics Meeting, Stanford, 1987. 1275-1282 1988 53 J. Symb. Log. 4 db/journals/jsyml/jsyml53.html#BarwiseT88 https://doi.org/10.1017/S002248120002819X http://projecteuclid.org/euclid.jsl/1183742808

John F. Horty Richmond H. Thomason Mixing Strict and Defeasible Inheritance. 427-432 1988 conf/aaai/1988 AAAI db/conf/aaai/aaai88.html#HortyT88 http://www.aaai.org/Library/AAAI/1988/aaai88-075.php David S. Touretzky Richmond H. Thomason Nonmonotonic Inheritance and Generic Reflexives. 433-438 1988 conf/aaai/1988 AAAI db/conf/aaai/aaai88.html#TouretzkyT88 http://www.aaai.org/Library/AAAI/1988/aaai88-076.php Richmond H. Thomason John F. Horty Logics for Inheritance Theory. 220-237 1988 conf/nmr/1988 NMR db/conf/nmr/nmr88.html#ThomasonH88 https://doi.org/10.1007/3-540-50701-9_30 John F. Horty Richmond H. Thomason David S. Touretzky A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. 358-363 1987 conf/aaai/1987 AAAI db/conf/aaai/aaai87.html#HortyTT87 http://www.aaai.org/Library/AAAI/1987/aaai87-064.php David S. Touretzky John F. Horty Richmond H. Thomason A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. 476-482 1987 conf/ijcai/1987 IJCAI db/conf/ijcai/ijcai87.html#TouretzkyHT87 http://ijcai.org/Proceedings/87-1/Papers/094.pdf Richmond H. Thomason John F. Horty David S. Touretzky A Calculus for Inheritance in Monotonic Semantic Nets. 280-287 1987 conf/ismis/1987 ISMIS db/conf/ismis/ismis87.html#ThomasonHT87 Charles B. Cross Richmond H. Thomason Update and Conditionals. 392-399 1987 conf/ismis/1987 ISMIS db/conf/ismis/ismis87.html#CrossT87 Robert Stalnaker Hans Kamp Kurt Konolige Hector J. Levesque Richmond H. Thomason Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? 223 1986 TARK conf/tark/1986 db/conf/tark/tark1986.html#StalnakerKKLT86 Richmond H. Thomason Paradoxes and Semantic Representation. 225-239 1986 conf/tark/1986 TARK db/conf/tark/tark1986.html#Thomason86 Clark Glymour Richmond H. Thomason Default Reasoning and the Logic of Theory Perturbation. 93-102 1984 conf/nmr/1984 NMR db/conf/nmr/nmr1984.html#GlymourT84

Richmond H. Thomason A semantic theory of sortal incorrectness. 209-258 1972 1 J. Philos. Log. 2 https://doi.org/10.1007/BF00650499 db/journals/jphil/jphil1.html#Thomason72

Charles D. Parsons Richard J. Orgass Richmond H. Thomason Meeting of the Association for Symbolic Logic. 430-447 1972 37 J. Symb. Log. 2 db/journals/jsyml/jsyml37.html#ParsonsOT72 https://doi.org/10.2307/2273026 http://projecteuclid.org/euclid.jsl/1183738279

Richmond H. Thomason D. Randolph Johnson Jr. Predicate Calculus with Free Quantifier Variables. 1-7 1969 34 J. Symb. Log. 1 db/journals/jsyml/jsyml34.html#ThomasonJ69 https://doi.org/10.2307/2270973 http://projecteuclid.org/euclid.jsl/1183736618

Richmond H. Thomason On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus. 1-7 1968 33 J. Symb. Log. 1 db/journals/jsyml/jsyml33.html#Thomason68 https://doi.org/10.2307/2270047 http://projecteuclid.org/euclid.jsl/1183736192

Richmond H. Thomason Hugues Leblanc All or None: A Novel Choice of Primitives for Elementary Logic. 345-351 1967 32 J. Symb. Log. 3 db/journals/jsyml/jsyml32.html#ThomasonL67 https://doi.org/10.2307/2270776 http://projecteuclid.org/euclid.jsl/1183735933

Richmond H. Thomason A decision procedure for Fitch's propositional calculus. 101-117 1967 8 Notre Dame J. Formal Log. 1-2 https://doi.org/10.1305/ndjfl/1093956248 db/journals/ndjfl/ndjfl8.html#Thomason67

Nuel D. Belnap Jr. Richmond H. Thomason A rule-completeness theorem. 39-43 1963 4 Notre Dame J. Formal Log. 1 https://doi.org/10.1305/ndjfl/1093957392 db/journals/ndjfl/ndjfl4.html#BelnapT63

Nuel D. Belnap Jr. Hugues Leblanc Richmond H. Thomason On not strengthening intuitionistic logic. 313-320 1963 4 Notre Dame J. Formal Log. 4 https://doi.org/10.1305/ndjfl/1093957658 db/journals/ndjfl/ndjfl4.html#BelnapLT63

Varol Akman Gian Aldo Antonelli Horacio L. Arló-Costa John M. Aronis K. Jon Barwise Nuel BelnapNuel D. Belnap Jr. Paolo Bouquet Catharine Saint Croix Charles B. Cross Jon Doyle Barbara Di Eugenio Clark Glymour John F. Horty D. Randolph Johnson Jr. Pamela W. Jordan Hans Kamp Kurt Konolige Hugues Leblanc Jeremy Lent Hector J. Levesque Johanna D. Moore Leora Morgenstern Richard J. Orgass Charles D. Parsons Adam Rigoni Robert Stalnaker David S. Touretzky Dustin Tucker Roger A. Young