Richmond H. Thomason

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Chisholm's paradox and conditional oughts.
J. Log. Comput., 2019

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

2015
Action Models for Conditionals.
J. Log. Lang. Inf., 2015

2014
The Logic of Counterpart Theory with Actuality.
J. Philos. Log., 2014

The Formalization of Practical Reasoning: Problems and Prospects.
FLAP, 2014

2011
Paradoxes of Intensionality.
Rev. Symb. Log., 2011

Some Limitations to the Psychological Orientation in Semantic Theory.
J. Philos. Log., 2011

2007
Three Interactions Between Context and Epistemic Locutions.
Proceedings of the Modeling and Using Context, 2007

Conditionals and Action Logics.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2005
Making Contextual Intensional Logic Nonmonotonic.
Proceedings of the Modeling and Using Context, 2005

2003
Dynamic Contextual Intensional Logic: Logical Foundations and an Application.
Proceedings of the Modeling and Using Context, 2003

2002
Representability in Second-Order Propositional Poly-Modal Logic.
J. Symb. Log., 2002

2001
Iterative Probability Kinematics.
J. Philos. Log., 2001

2000
The agreement process: an empirical investigation of human-human computer-mediated collaborative dialogs.
Int. J. Hum. Comput. Stud., 2000

Desires and Defaults: A Framework for Planning with Inferred Goals.
Proceedings of the KR 2000, 2000

Teaching Knowledge Representation: Challenges and Proposals.
Proceedings of the KR 2000, 2000

1999
Background to Qualitative Decision Theory.
AI Mag., 1999

Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects.
Proceedings of the Modeling and Using Context, 1999

1998
Intra-Agent Modality and Nonmonotonic Epistemic Logic.
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

Representing and Reasoning with Context.
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

An Empirical Investigation of Proposals in Collaborative Dialogues.
Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, 1998

1997
Nonmonotonicity in Linguistics.
Proceedings of the Handbook of Logic and Language., 1997

1996
Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision.
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

1992
Hybridizing Nonmonotonic Inheritance with Theorem Proving.
Ann. Math. Artif. Intell., 1992

1991
Conditionals and artificial intelligence.
Fundam. Informaticae, 1991

A Semantic Analysis of Monotonic Inheritance with Roles and Relations.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective.
Proceedings of the Artificial and Mathematical Theory of Computation, 1991

Inheritance Theory and Networks with Roles.
Proceedings of the Principles of Semantic Networks, 1991

1990
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.
Artif. Intell., 1990

Propagating Epistemic Coordination Through Mutual Defaults I.
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

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

1988
Logic and Linguistics Meeting, Stanford, 1987.
J. Symb. Log., 1988

Logics for Inheritance Theory.
Proceedings of the Non-Monotonic Reasoning, 1988

Nonmonotonic Inheritance and Generic Reflexives.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

Mixing Strict and Defeasible Inheritance.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987
A Calculus for Inheritance in Monotonic Semantic Nets.
Proceedings of the Methodologies for Intelligent Systems, 1987

Update and Conditionals.
Proceedings of the Methodologies for Intelligent Systems, 1987

A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986
Paradoxes and Semantic Representation.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

1984
Default Reasoning and the Logic of Theory Perturbation.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984

1972
Meeting of the Association for Symbolic Logic.
J. Symb. Log., 1972

A semantic theory of sortal incorrectness.
J. Philos. Log., 1972

1969
Predicate Calculus with Free Quantifier Variables.
J. Symb. Log., 1969

1968
On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus.
J. Symb. Log., 1968

1967
A decision procedure for Fitch's propositional calculus.
Notre Dame J. Formal Log., 1967

All or None: A Novel Choice of Primitives for Elementary Logic.
J. Symb. Log., 1967

1963
A rule-completeness theorem.
Notre Dame J. Formal Log., 1963

On not strengthening intuitionistic logic.
Notre Dame J. Formal Log., 1963


  Loading...