| 2000 | KR | Teaching Knowledge Representation: Challenges and Proposals. | Leora Morgenstern, Richmond H. Thomason |
| 2000 | KR | Desires and Defaults: A Framework for Planning with Inferred Goals. | Richmond H. Thomason |
| 1998 | ACL | An Empirical Investigation of Proposals in Collaborative Dialogues. | Barbara Di Eugenio, Johanna D. Moore, Pamela W. Jordan, Richmond H. Thomason |
| 1998 | AISC | Representing and Reasoning with Context. | Richmond H. Thomason |
| 1998 | TARK | Intra-Agent Modality and Nonmonotonic Epistemic Logic. | Richmond H. Thomason |
| 1996 | TARK | Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. | Richmond H. Thomason, John F. Horty |
| 1991 | IJCAI | A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. | David S. Touretzky, Richmond H. Thomason, John F. Horty |
| 1991 | ISMIS | A Semantic Analysis of Monotonic Inheritance with Roles and Relations. | Richmond H. Thomason |
| 1990 | AAAI | Boolean Extensions of Inheritance Networks. | John F. Horty, Richmond H. Thomason |
| 1990 | TARK | Propagating Epistemic Coordination Through Mutual Defaults I. | Richmond H. Thomason |
| 1988 | AAAI | Mixing Strict and Defeasible Inheritance. | John F. Horty, Richmond H. Thomason |
| 1988 | AAAI | Nonmonotonic Inheritance and Generic Reflexives. | David S. Touretzky, Richmond H. Thomason |
| 1987 | AAAI | A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. | John F. Horty, Richmond H. Thomason, David S. Touretzky |
| 1987 | IJCAI | A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. | David S. Touretzky, John F. Horty, Richmond H. Thomason |
| 1987 | ISMIS | Update and Conditionals. | Charles B. Cross, Richmond H. Thomason |
| 1987 | ISMIS | A Calculus for Inheritance in Monotonic Semantic Nets. | Richmond H. Thomason, John F. Horty, David S. Touretzky |
| 1986 | TARK | Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? | Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason |
| 1986 | TARK | Paradoxes and Semantic Representation. | Richmond H. Thomason |