| 2023 | ICAIL | Reasoning with hierarchies of open-textured predicates. | Ilaria Canavotto, John F. Horty |
| 2023 | JURIX | The Importance of Intermediate Factors. | Ilaria Canavotto, John F. Horty |
| 2022 | AIES | Piecemeal Knowledge Acquisition for Computational Normative Reasoning. | Ilaria Canavotto, John F. Horty |
| 2020 | COMMA | Open Texture and Defeasible Semantic Constraint. | John F. Horty |
| 2017 | ICAIL | Reasoning with dimensions and magnitudes. | John F. Horty |
| 2011 | ICAIL | Reasons and precedent. | John F. Horty |
| 1999 | ICAIL | Precedent, deontic logic, and inheritance. | John F. Horty |
| 1998 | TARK | Evaluating Qptions in a Context. | John F. Horty, Martha E. Pollack |
| 1996 | TARK | Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. | Richmond H. Thomason, John F. Horty |
| 1991 | IJCAI | A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. | David S. Touretzky, Richmond H. Thomason, John F. Horty |
| 1990 | AAAI | Boolean Extensions of Inheritance Networks. | John F. Horty, Richmond H. Thomason |
| 1988 | AAAI | Mixing Strict and Defeasible Inheritance. | John F. Horty, Richmond H. Thomason |
| 1987 | AAAI | A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. | John F. Horty, Richmond H. Thomason, David S. Touretzky |
| 1987 | IJCAI | A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. | David S. Touretzky, John F. Horty, Richmond H. Thomason |
| 1987 | ISMIS | A Calculus for Inheritance in Monotonic Semantic Nets. | Richmond H. Thomason, John F. Horty, David S. Touretzky |