Richmond H. Thomason

According to our database, Richmond H. Thomason authored at least 50 papers between 1963 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Chisholm's paradox and conditional oughts.

Catharine Saint Croix, Richmond H. Thomason

J. Log. Comput., 2019

2018

The Little Nell Problem: reasonable and resolute maintenance of agent intentions.

Richmond H. Thomason

Synth., 2018

2015

Action Models for Conditionals.

Jeremy Lent, Richmond H. Thomason

J. Log. Lang. Inf., 2015

2014

The Logic of Counterpart Theory with Actuality.

Adam Rigoni, Richmond H. Thomason

J. Philos. Log., 2014

The Formalization of Practical Reasoning: Problems and Prospects.

Richmond H. Thomason

FLAP, 2014

2011

Paradoxes of Intensionality.

Dustin Tucker, Richmond H. Thomason

Rev. Symb. Log., 2011

Some Limitations to the Psychological Orientation in Semantic Theory.

Richmond H. Thomason

J. Philos. Log., 2011

2007

Three Interactions Between Context and Epistemic Locutions.

Richmond H. Thomason

Proceedings of the Modeling and Using Context, 2007

Conditionals and Action Logics.

Richmond H. Thomason

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2005

Making Contextual Intensional Logic Nonmonotonic.

Richmond H. Thomason

Proceedings of the Modeling and Using Context, 2005

2003

Dynamic Contextual Intensional Logic: Logical Foundations and an Application.

Richmond H. Thomason

Proceedings of the Modeling and Using Context, 2003

2002

Representability in Second-Order Propositional Poly-Modal Logic.

Gian Aldo Antonelli, Richmond H. Thomason

J. Symb. Log., 2002

2001

Iterative Probability Kinematics.

Horacio L. Arló-Costa, Richmond H. Thomason

J. Philos. Log., 2001

2000

The agreement process: an empirical investigation of human-human computer-mediated collaborative dialogs.

Barbara Di Eugenio, Pamela W. Jordan, Richmond H. Thomason, Johanna D. Moore

Int. J. Hum. Comput. Stud., 2000

Desires and Defaults: A Framework for Planning with Inferred Goals.

Richmond H. Thomason

Proceedings of the KR 2000, 2000

Teaching Knowledge Representation: Challenges and Proposals.

Leora Morgenstern, Richmond H. Thomason

Proceedings of the KR 2000, 2000

1999

Background to Qualitative Decision Theory.

Jon Doyle, Richmond H. Thomason

AI Mag., 1999

Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects.

Richmond H. Thomason

Proceedings of the Modeling and Using Context, 1999

1998

Intra-Agent Modality and Nonmonotonic Epistemic Logic.

Richmond H. Thomason

Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

Representing and Reasoning with Context.

Richmond H. Thomason

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

An Empirical Investigation of Proposals in Collaborative Dialogues.

Barbara Di Eugenio, Johanna D. Moore, Pamela W. Jordan, Richmond H. Thomason

Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, 1998

1997

Nonmonotonicity in Linguistics.

Richmond H. Thomason

Proceedings of the Handbook of Logic and Language., 1997

1996

Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision.

Richmond H. Thomason, John F. Horty

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

1992

Hybridizing Nonmonotonic Inheritance with Theorem Proving.

Richmond H. Thomason, John M. Aronis

Ann. Math. Artif. Intell., 1992

1991

Conditionals and artificial intelligence.

John F. Horty, Richmond H. Thomason

Fundam. Informaticae, 1991

A Semantic Analysis of Monotonic Inheritance with Roles and Relations.

Richmond H. Thomason

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance.

David S. Touretzky, Richmond H. Thomason, John F. Horty

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective.

Richmond H. Thomason

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

Inheritance Theory and Networks with Roles.

Richmond H. Thomason, David S. Touretzky

Proceedings of the Principles of Semantic Networks, 1991

1990

A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.

John F. Horty, Richmond H. Thomason, David S. Touretzky

Artif. Intell., 1990

Propagating Epistemic Coordination Through Mutual Defaults I.

Richmond H. Thomason

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

Boolean Extensions of Inheritance Networks.

John F. Horty, Richmond H. Thomason

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1988

Logic and Linguistics Meeting, Stanford, 1987.

K. Jon Barwise, Richmond H. Thomason

J. Symb. Log., 1988

Logics for Inheritance Theory.

Richmond H. Thomason, John F. Horty

Proceedings of the Non-Monotonic Reasoning, 1988

Nonmonotonic Inheritance and Generic Reflexives.

David S. Touretzky, Richmond H. Thomason

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

Mixing Strict and Defeasible Inheritance.

John F. Horty, Richmond H. Thomason

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

A Calculus for Inheritance in Monotonic Semantic Nets.

Richmond H. Thomason, John F. Horty, David S. Touretzky

Proceedings of the Methodologies for Intelligent Systems, 1987

Update and Conditionals.

Charles B. Cross, Richmond H. Thomason

Proceedings of the Methodologies for Intelligent Systems, 1987

A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems.

David S. Touretzky, John F. Horty, Richmond H. Thomason

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986

Paradoxes and Semantic Representation.

Richmond H. Thomason

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?

Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

1984

Default Reasoning and the Logic of Theory Perturbation.

Clark Glymour, Richmond H. Thomason

Proceedings of the Non-Monotonic Reasoning Workshop, 1984

1972

Meeting of the Association for Symbolic Logic.

Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason

J. Symb. Log., 1972

A semantic theory of sortal incorrectness.

Richmond H. Thomason

J. Philos. Log., 1972

1969

Predicate Calculus with Free Quantifier Variables.

Richmond H. Thomason, D. Randolph Johnson Jr.

J. Symb. Log., 1969

1968

On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus.

Richmond H. Thomason

J. Symb. Log., 1968

1967

A decision procedure for Fitch's propositional calculus.

Richmond H. Thomason

Notre Dame J. Formal Log., 1967

All or None: A Novel Choice of Primitives for Elementary Logic.

Richmond H. Thomason, Hugues Leblanc

J. Symb. Log., 1967

1963

A rule-completeness theorem.

Nuel D. Belnap Jr., Richmond H. Thomason

Notre Dame J. Formal Log., 1963

On not strengthening intuitionistic logic.

Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason

Notre Dame J. Formal Log., 1963