| 2007 |
|---|
| 37 | EE | Richmond H. Thomason:
Three Interactions Between Context and Epistemic Locutions.
CONTEXT 2007: 467-481 |
| 2005 |
|---|
| 36 | EE | Richmond H. Thomason:
Making Contextual Intensional Logic Nonmonotonic.
CONTEXT 2005: 501-514 |
| 2003 |
|---|
| 35 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |
