Richmond H. Thomason

Publication Activity (10 Years)

Years Active: 1963-2019
Publications (10 Years): 3

Top Topics

Random Field Model

Top Venues

J. Log. Comput.

J. Log. Lang. Inf.

J. Philos. Log.

Publications

Catharine Saint Croix, Richmond H. Thomason
Chisholm's paradox and conditional oughts. J. Log. Comput. 29 (3) (2019)
Richmond H. Thomason
The Little Nell Problem: reasonable and resolute maintenance of agent intentions. Synth. 195 (1) (2018)
Jeremy Lent, Richmond H. Thomason
Action Models for Conditionals. J. Log. Lang. Inf. 24 (2) (2015)
Catharine Saint Croix, Richmond H. Thomason
Chisholm's Paradox and Conditional Oughts. DEON (2014)
Adam Rigoni, Richmond H. Thomason
The Logic of Counterpart Theory with Actuality. J. Philos. Log. 43 (1) (2014)
Richmond H. Thomason
The Formalization of Practical Reasoning: Problems and Prospects. FLAP 1 (2) (2014)
Richmond H. Thomason
Some Limitations to the Psychological Orientation in Semantic Theory. J. Philos. Log. 40 (1) (2011)
Dustin Tucker, Richmond H. Thomason
Paradoxes of Intensionality. Rev. Symb. Log. 4 (3) (2011)
Richmond H. Thomason
Conditionals and Action Logics. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Richmond H. Thomason
Three Interactions Between Context and Epistemic Locutions. CONTEXT (2007)
Richmond H. Thomason
Making Contextual Intensional Logic Nonmonotonic. CONTEXT (2005)
Richmond H. Thomason
Dynamic Contextual Intensional Logic: Logical Foundations and an Application. CONTEXT (2003)
Gian Aldo Antonelli, Richmond H. Thomason
Representability in Second-Order Propositional Poly-Modal Logic. J. Symb. Log. 67 (3) (2002)
Horacio L. Arló-Costa, Richmond H. Thomason
Iterative Probability Kinematics. J. Philos. Log. 30 (5) (2001)
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. Int. J. Hum. Comput. Stud. 53 (6) (2000)
Richmond H. Thomason
Desires and Defaults: A Framework for Planning with Inferred Goals. KR (2000)
Leora Morgenstern, Richmond H. Thomason
Teaching Knowledge Representation: Challenges and Proposals. KR (2000)
Jon Doyle, Richmond H. Thomason
Background to Qualitative Decision Theory. AI Mag. 20 (2) (1999)
Richmond H. Thomason
Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. CONTEXT (1999)
Barbara Di Eugenio, Pamela W. Jordan, Johanna D. Moore, Richmond H. Thomason
An Empirical Investigation of Proposals in Collaborative Dialogues CoRR (1998)
Barbara Di Eugenio, Johanna D. Moore, Pamela W. Jordan, Richmond H. Thomason
An Empirical Investigation of Proposals in Collaborative Dialogues. COLING-ACL (1998)
Richmond H. Thomason
Representing and Reasoning with Context. AISC (1998)
Richmond H. Thomason
Intra-Agent Modality and Nonmonotonic Epistemic Logic. TARK (1998)
Richmond H. Thomason, John F. Horty
Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. TARK (1996)
Richmond H. Thomason, John M. Aronis
Hybridizing Nonmonotonic Inheritance with Theorem Proving. Ann. Math. Artif. Intell. 6 (4) (1992)
Richmond H. Thomason
Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective. Artificial and Mathematical Theory of Computation (1991)
John F. Horty, Richmond H. Thomason
Conditionals and artificial intelligence. Fundam. Informaticae 15 (3-4) (1991)
Richmond H. Thomason
A Semantic Analysis of Monotonic Inheritance with Roles and Relations. ISMIS (1991)
David S. Touretzky, Richmond H. Thomason, John F. Horty
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. IJCAI (1991)
Richmond H. Thomason
Propagating Epistemic Coordination Through Mutual Defaults I. TARK (1990)
John F. Horty, Richmond H. Thomason
Boolean Extensions of Inheritance Networks. AAAI (1990)
John F. Horty, Richmond H. Thomason, David S. Touretzky
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. Artif. Intell. 42 (2-3) (1990)
K. Jon Barwise, Richmond H. Thomason
Logic and Linguistics Meeting, Stanford, 1987. J. Symb. Log. 53 (4) (1988)
Richmond H. Thomason, John F. Horty
Logics for Inheritance Theory. NMR (1988)
David S. Touretzky, Richmond H. Thomason
Nonmonotonic Inheritance and Generic Reflexives. AAAI (1988)
John F. Horty, Richmond H. Thomason
Mixing Strict and Defeasible Inheritance. AAAI (1988)
David S. Touretzky, John F. Horty, Richmond H. Thomason
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. IJCAI (1987)
Charles B. Cross, Richmond H. Thomason
Update and Conditionals. ISMIS (1987)
John F. Horty, Richmond H. Thomason, David S. Touretzky
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. AAAI (1987)
Richmond H. Thomason, John F. Horty, David S. Touretzky
A Calculus for Inheritance in Monotonic Semantic Nets. ISMIS (1987)
Richmond H. Thomason
Paradoxes and Semantic Representation. TARK (1986)
Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason
Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? TARK (1986)
Clark Glymour, Richmond H. Thomason
Default Reasoning and the Logic of Theory Perturbation. NMR (1984)
Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason
Meeting of the Association for Symbolic Logic. J. Symb. Log. 37 (2) (1972)
Richmond H. Thomason
A semantic theory of sortal incorrectness. J. Philos. Log. 1 (2) (1972)
Richmond H. Thomason, D. Randolph Johnson Jr.
Predicate Calculus with Free Quantifier Variables. J. Symb. Log. 34 (1) (1969)
Richmond H. Thomason
On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus. J. Symb. Log. 33 (1) (1968)
Richmond H. Thomason, Hugues Leblanc
All or None: A Novel Choice of Primitives for Elementary Logic. J. Symb. Log. 32 (3) (1967)
Richmond H. Thomason
A decision procedure for Fitch's propositional calculus. Notre Dame J. Formal Log. 8 (1-2) (1967)
Nuel D. Belnap Jr., Richmond H. Thomason
A rule-completeness theorem. Notre Dame J. Formal Log. 4 (1) (1963)
Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason
On not strengthening intuitionistic logic. Notre Dame J. Formal Log. 4 (4) (1963)