- Progress Towards a Formal Theory of Practical Reasoning: Problems and Prospects
- Non-Monotonic Formalisms for Natural Language Semantics
- Context in Abductive Interpretation Matthew Stone
- Conditionals and Action Logics Richmond H. Thomason
- Logicism: Exact Philosophy, Linguistics, and Artificial Intelligence
- Logicism in Formalizing Common Sense and in Natural Language Semantics
- Coordinating Understanding and Generation in an Abductive Approach to Interpretation
- Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision
- The Beliefs of Other Agents Richmond H. Thomason
- Overview of My Philosophical Research Rich Thomason
- Formalizing the Semantics of Derived Words Richmond H. Thomason
- Draft Chapter for Handbook on Logic of Normative Title: The Formalization of Practical Reasoning
- Paradoxes of Intensionality Version of: March 1, 2007
- Remarks on "Artificial Intelligence, Logic and Formalizing Common Sense,"
- Three Interactions between Context and Epistemic Locutions
- Defeasibly Successful Action Richmond H. Thomason
- Ability and Action Richmond H. Thomason
- Logic and Artificial Intelligence Richmond H. Thomason
- The Beliefs of Other Agents Richmond H. Thomason
- Logic and Arti cial Intelligence Richmond H. Thomason
- Desires and Defaults: A Framework for Planning with Inferred Goals
- Ability, Action, and Context Richmond H. Thomason
- Modeling the Beliefs of Other Agents Richmond H. Thomason
- Progress Towards a Formal Theory of Practical Reasoning: Problems and Prospects
- Modeling the Beliefs of Other Agents Richmond H. Thomason
- Context in Abductive Interpretation Matthew Stone
- Some Limitations to the Psychological Orientation, in Semantic Theory \Lambda
- Contextual Intensional Logic: Type-Theoretic and Dynamic Considerations
- Non-Monotonic Formalisms for Natural Language Semantics
- Formal Semantics for Causal Constructions Richmond H. Thomason
- Formalizing the Semantics of Derived Words Richmond H. Thomason
- \title{Type Theoretic Foundations for Context, Part 1:\verb|\\| Contexts as Complex Type-Theoretic Objects}
- Ability, Action, and Context Richmond H. Thomason
- Belief, Intention, and Practicality: Loosening up Agents and Their Propositional Attitudes
