| 1998 | AAAI | A Non-Deterministic Semantics for Tractable Inference. | James M. Crawford, David W. Etherington |
| 1996 | AAAI | Path-Based Rules in Object-Oriented Programming. | James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider |
| 1996 | AAAI | Toward Efficient Default Reasoning. | David W. Etherington, James M. Crawford |
| 1996 | KR | Symmetry-Breaking Predicates for Search Problems. | James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy |
| 1995 | IJCAI | Device Representation and Reasoning with Affective Relations. | James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider |
| 1994 | AAAI | Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems. | James M. Crawford, Andrew B. Baker |
| 1993 | AAAI | Experimental Results on the Crossover Point in Satisfiability Problems. | James M. Crawford, Larry D. Auton |
| 1992 | AAAI | Formalising Reasoning about Change: A Qualitative Reasoning Approach. | James M. Crawford, David W. Etherington |
| 1991 | AAAI | Negation and Proof by Contradiction in Access-Limited Logic. | James M. Crawford, Benjamin Kuipers |
| 1990 | AAAI | QPC: A Compiler from Physical Models into Qualitative Differential Equations. | James M. Crawford, Adam Farquhar, Benjamin Kuipers |
| 1989 | KR | Towards a Theory of Access-Limited Logic for Knowledge Representation. | James M. Crawford, Benjamin Kuipers |