Richmond H. Thomason - researchr alias

researchr

You are not signed in
Sign in
Sign up

2007

Three Interactions Between Context and Epistemic LocutionsRichmond H. Thomason. context 2007: 467-481 [doi]

2005

Making Contextual Intensional Logic NonmonotonicRichmond H. Thomason. context 2005: 501-514 [doi]

2003

Dynamic Contextual Intensional Logic: Logical Foundations and an ApplicationRichmond H. Thomason. context 2003: 328-341 [doi]

2002

Representability in Second-Order Propositional Poly-Modal LogicGian Aldo Antonelli, Richmond H. Thomason. JSYML, 67(3):1039-1054, 2002.

2001

Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, ProceedingsVarol Akman, Paolo Bouquet, Richmond H. Thomason, Roger A. Young, editors, Volume 2116 of Lecture Notes in Computer Science, Springer, 2001.

2000

The agreement process: an empirical investigation of human-human computer-mediated collaborative dialogsBarbara Di Eugenio, Pamela W. Jordan, Richmond H. Thomason, Johanna D. Moore. ijmms, 53(6):1017-1076, 2000. [doi]

Teaching Knowledge Representation: Challenges and ProposalsLeora Morgenstern, Richmond H. Thomason. kr 2000: 725-733

Desires and Defaults: A Framework for Planning with Inferred GoalsRichmond H. Thomason. kr 2000: 702-713

1999

Background to Qualitative Decision TheoryJon Doyle, Richmond H. Thomason. aim, 20(2):55-68, 1999.

Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic ObjectsRichmond H. Thomason. context 1999: 351-360 [doi]

1998

An Empirical Investigation of Proposals in Collaborative DialoguesBarbara Di Eugenio, Johanna D. Moore, Pamela W. Jordan, Richmond H. Thomason. acl 1998: 325-329

Intra-Agent Modality and Nonmonotonic Epistemic LogicRichmond H. Thomason. tark 1998: 57-69

Representing and Reasoning with ContextRichmond H. Thomason. AISC 1998: 29-41 [doi]

1996

Nondeterministic Action and Dominance: Foundations for Planning and Qualitative DecisionRichmond H. Thomason, John F. Horty. tark 1996: 229-250

1992

Hybridizing Nonmonotonic Inheritance with Theorem ProvingRichmond H. Thomason, John M. Aronis. AMAI, 6(4):345-365, 1992.

1991

Conditionals and artificial intelligenceJohn F. Horty, Richmond H. Thomason. FUIN, 15(3-4):301-323, 1991.

A Semantic Analysis of Monotonic Inheritance with Roles and RelationsRichmond H. Thomason. ismis 1991: 630-644

A Skeptic s Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic InheritanceDavid S. Touretzky, Richmond H. Thomason, John F. Horty. IJCAI 1991: 478-485

1990

A Skeptical Theory of Inheritance in Nonmonotonic Semantic NetworksJohn F. Horty, Richmond H. Thomason, David S. Touretzky. ai, 42(2-3):311-348, 1990.

Boolean Extensions of Inheritance NetworksJohn F. Horty, Richmond H. Thomason. AAAI 1990: 633-639

Propagating Epistemic Coordination Through Mutual Defaults IRichmond H. Thomason. tark 1990: 29-39

1988

Logic and Linguistics Meeting, Stanford, 1987K. Jon Barwise, Richmond H. Thomason. JSYML, 53(4):1275-1282, 1988.

Mixing Strict and Defeasible InheritanceJohn F. Horty, Richmond H. Thomason. AAAI 1988: 427-432

Logics for Inheritance TheoryRichmond H. Thomason, John F. Horty. nmr 1989: 220-237

Nonmonotonic Inheritance and Generic ReflexivesDavid S. Touretzky, Richmond H. Thomason. AAAI 1988: 433-438

1987

Update and ConditionalsCharles B. Cross, Richmond H. Thomason. ismis 1987: 392-399

A Skeptical Theory of Inheritance in Nonmonotonic Semantic NetworksJohn F. Horty, Richmond H. Thomason, David S. Touretzky. AAAI 1987: 358-363

A Calculus for Inheritance in Monotonic Semantic NetsRichmond H. Thomason, John F. Horty, David S. Touretzky. ismis 1987: 280-287

A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance SystemsDavid S. Touretzky, John F. Horty, Richmond H. Thomason. IJCAI 1987: 476-482

1986

Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason. tark 1986: 223

Paradoxes and Semantic RepresentationRichmond H. Thomason. tark 1986: 225-239

1984

Default Reasoning and the Logic of Theory PerturbationClark Glymour, Richmond H. Thomason. lpnmr 1984: 93-102

1972

Meeting of the Association for Symbolic LogicCharles D. Parsons, Richard J. Orgass, Richmond H. Thomason. JSYML, 37(2):430-447, 1972.

1969

Predicate Calculus with Free Quantifier VariablesRichmond H. Thomason, D. Randolph Johnson Jr.. JSYML, 34(1):1-7, 1969.

1968

On the Strong Semantical Completeness of the Intuitionistic Predicate CalculusRichmond H. Thomason. JSYML, 33(1):1-7, 1968.

1967

All or None: A Novel Choice of Primitives for Elementary LogicRichmond H. Thomason, Hugues Leblanc. JSYML, 32(3):345-351, 1967.