Richmond H. Thomason

	2007
37		Richmond H. Thomason: Three Interactions Between Context and Epistemic Locutions. CONTEXT 2007: 467-481
	2005
36		Richmond H. Thomason: Making Contextual Intensional Logic Nonmonotonic. CONTEXT 2005: 501-514
	2003
35		Richmond H. Thomason: Dynamic Contextual Intensional Logic: Logical Foundations and an Application. CONTEXT 2003: 328-341
	2002
34		Gian Aldo Antonelli, Richmond H. Thomason: Representability in Second-Order Propositional Poly-Modal Logic. J. Symb. Log. 67(3): 1039-1054 (2002)
	2001
33		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 Springer 2001
	2000
32		Richmond H. Thomason: Desires and Defaults: A Framework for Planning with Inferred Goals. KR 2000: 702-713
31		Leora Morgenstern, Richmond H. Thomason: Teaching Knowledge Representation: Challenges and Proposals. KR 2000: 725-733
30		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): 1017-1076 (2000)
	1999
29		Richmond H. Thomason: Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. CONTEXT 1999: 351-360
28		Jon Doyle, Richmond H. Thomason: Background to Qualitative Decision Theory. AI Magazine 20(2): 55-68 (1999)
	1998
27		Richmond H. Thomason: Representing and Reasoning with Context. AISC 1998: 29-41
26		Barbara Di Eugenio, Johanna D. Moore, Pamela W. Jordan, Richmond H. Thomason: An Empirical Investigation of Proposals in Collaborative Dialogues. COLING-ACL 1998: 325-329
25		Richmond H. Thomason: Intra-Agent Modality and Nonmonotonic Epistemic Logic. TARK 1998: 57-69
24		Barbara Di Eugenio, Pamela W. Jordan, Johanna D. Moore, Richmond H. Thomason: An Empirical Investigation of Proposals in Collaborative Dialogues CoRR cmp-lg/9806019: (1998)
	1996
23		Richmond H. Thomason, John F. Horty: Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. TARK 1996: 229-250
	1992
22		Richmond H. Thomason, John M. Aronis: Hybridizing Nonmonotonic Inheritance with Theorem Proving. Ann. Math. Artif. Intell. 6(4): 345-365 (1992)
	1991
21		David S. Touretzky, Richmond H. Thomason, John F. Horty: A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. IJCAI 1991: 478-485
20		Richmond H. Thomason: A Semantic Analysis of Monotonic Inheritance with Roles and Relations. ISMIS 1991: 630-644
19		John F. Horty, Richmond H. Thomason: Conditionals and artificial intelligence. Fundam. Inform. 15(3-4): 301-323 (1991)
	1990
18		John F. Horty, Richmond H. Thomason: Boolean Extensions of Inheritance Networks. AAAI 1990: 633-639
17		Richmond H. Thomason: Propagating Epistemic Coordination Through Mutual Defaults I. TARK 1990: 29-39
16		John F. Horty, Richmond H. Thomason, David S. Touretzky: A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. Artif. Intell. 42(2-3): 311-348 (1990)
	1988
15		John F. Horty, Richmond H. Thomason: Mixing Strict and Defeasible Inheritance. AAAI 1988: 427-432
14		David S. Touretzky, Richmond H. Thomason: Nonmonotonic Inheritance and Generic Reflexives. AAAI 1988: 433-438
13		Richmond H. Thomason, John F. Horty: Logics for Inheritance Theory. NMR 1988: 220-237
12		K. Jon Barwise, Richmond H. Thomason: Logic and Linguistics Meeting, Stanford, 1987. J. Symb. Log. 53(4): 1275-1282 (1988)
	1987
11		John F. Horty, Richmond H. Thomason, David S. Touretzky: A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. AAAI 1987: 358-363
10		David S. Touretzky, John F. Horty, Richmond H. Thomason: A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. IJCAI 1987: 476-482
9		Richmond H. Thomason, John F. Horty, David S. Touretzky: A Calculus for Inheritance in Monotonic Semantic Nets. ISMIS 1987: 280-287
8		Charles B. Cross, Richmond H. Thomason: Update and Conditionals. ISMIS 1987: 392-399
	1986
7		Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason: Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? TARK 1986: 223
6		Richmond H. Thomason: Paradoxes and Semantic Representation. TARK 1986: 225-239
	1984
5		Clark Glymour, Richmond H. Thomason: Default Reasoning and the Logic of Theory Perturbation. NMR 1984: 93-102
	1972
4		Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason: Meeting of the Association for Symbolic Logic. J. Symb. Log. 37(2): 430-447 (1972)
	1969
3		Richmond H. Thomason, D. Randolph Johnson Jr.: Predicate Calculus with Free Quantifier Variables. J. Symb. Log. 34(1): 1-7 (1969)
	1968
2		Richmond H. Thomason: On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus. J. Symb. Log. 33(1): 1-7 (1968)
	1967
1		Richmond H. Thomason, Hugues Leblanc: All or None: A Novel Choice of Primitives for Elementary Logic. J. Symb. Log. 32(3): 345-351 (1967)

Coauthor Index

1	Varol Akman	[33]
2	Gian Aldo Antonelli	[34]
3	John M. Aronis	[22]
4	K. Jon Barwise (Jon Barwise)	[12]
5	Paolo Bouquet	[33]
6	Charles B. Cross	[8]
7	Jon Doyle	[28]
8	Barbara Di Eugenio	[24] [26] [30]
9	Clark Glymour	[5]
10	John F. Horty	[9] [10] [11] [13] [15] [16] [18] [19] [21] [23]
11	D. Randolph Johnson Jr.	[3]
12	Pamela W. Jordan	[24] [26] [30]
13	Hans Kamp	[7]
14	Kurt Konolige	[7]
15	Hugues Leblanc	[1]
16	Hector J. Levesque	[7]
17	Johanna D. Moore	[24] [26] [30]
18	Leora Morgenstern	[31]
19	Richard J. Orgass	[4]
20	Charles D. Parsons	[4]
21	Robert Stalnaker	[7]
22	David S. Touretzky	[9] [10] [11] [14] [16] [21]
23	Roger A. Young	[33]

Colors in the list of coauthors