Richmond H. Thomason - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 52 from 52

2019

Chisholm's paradox and conditional oughtsCatharine Saint Croix, Richmond H. Thomason. logcom, 29(3):369-386, 2019. [doi]

2018

The Little Nell Problem: reasonable and resolute maintenance of agent intentionsRichmond H. Thomason. synthese, 195(1):433-440, 2018. [doi]

2015

Action Models for ConditionalsJeremy Lent, Richmond H. Thomason. jolli, 24(2):211-231, 2015. [doi]

2014

Chisholm's Paradox and Conditional OughtsCatharine Saint Croix, Richmond H. Thomason. deon 2014: 192-207 [doi]

The Logic of Counterpart Theory with ActualityAdam Rigoni, Richmond H. Thomason. jphil, 43(1):1-31, 2014. [doi]

The Formalization of Practical Reasoning: Problems and ProspectsRichmond H. Thomason. flap, 1(2):47-76, 2014. [doi]

2011

Some Limitations to the Psychological Orientation in Semantic TheoryRichmond H. Thomason. jphil, 40(1):1-14, 2011. [doi]

Paradoxes of IntensionalityDustin Tucker, Richmond H. Thomason. rsl, 4(3):394-411, 2011. [doi]

2007

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

Conditionals and Action LogicsRichmond H. Thomason. aaaiss 2007: 156-161 [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

Iterative Probability KinematicsHoracio L. Arló-Costa, Richmond H. Thomason. jphil, 30(5):479-524, 2001. [doi]

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

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

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

1997

Nonmonotonicity in LinguisticsRichmond H. Thomason. In Johan van Benthem, Alice ter Meulen, editors, Handbook of Logic and Language. pages 777-831, North Holland / Elsevier, 1997. [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

Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical PerspectiveRichmond H. Thomason. BIRTHDAY 1991: 449-466 [doi]

Inheritance Theory and Networks with RolesRichmond H. Thomason, David S. Touretzky. In Principles of semantic networks - explorations in the representation of knowledge. The Morgan Kaufmann Series in representation and reasoning, pages 231-266, Morgan Kaufmann, 1991. [doi]

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.

A semantic theory of sortal incorrectnessRichmond H. Thomason. jphil, 1(2):209-258, 1972. [doi]

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.

A decision procedure for Fitch's propositional calculusRichmond H. Thomason. ndjfl, 8(1-2):101-117, 1967. [doi]

1963

On not strengthening intuitionistic logicNuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason. ndjfl, 4(4):313-320, 1963. [doi]

A rule-completeness theoremNuel D. Belnap Jr., Richmond H. Thomason. ndjfl, 4(1):39-43, 1963. [doi]

Sign in or sign up to see more results.

runs on WebDSL