| 1998 | AAAI | A Non-Deterministic Semantics for Tractable Inference. | James M. Crawford, David W. Etherington |
| 1997 | AAAI | What Does Knowledge Representation Have to Say to Artificial Intelligence? | David W. Etherington |
| 1996 | AAAI | Toward Efficient Default Reasoning. | David W. Etherington, James M. Crawford |
| 1992 | AAAI | Formalising Reasoning about Change: A Qualitative Reasoning Approach. | James M. Crawford, David W. Etherington |
| 1990 | AAAI | Nonmonotonicity and the Scope of Reasoning: Preliminary Report. | David W. Etherington, Sarit Kraus, Donald Perlis |
| 1989 | IJCAI | Vivid Knowledge and Tractable Reasoning. | David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz |
| 1989 | KR | Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. | Alexander Borgida, David W. Etherington |
| 1989 | KR | Critical Issues in Nonmonotonic Reasoning. | David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz |
| 1987 | AAAI | More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance. | David W. Etherington |
| 1987 | IJCAI | Relating Default Logic and Circumscription. | David W. Etherington |
| 1987 | IJCAI | A Semantics for Default Logic. | David W. Etherington |
| 1983 | AAAI | On Inheritance Hierarchies With Exceptions. | David W. Etherington, Raymond Reiter |