Towards a Theory of Access-Limited Logic for Knowledge Representation. - James M. Crawford; Benjamin Kuipers (KR, 1989)

QPC: A Compiler from Physical Models into Qualitative Differential Equations. - James M. Crawford; Adam Farquhar; Benjamin Kuipers (AAAI, 1990)

ALL: Formalizing Access-Limited Reasoning. - James M. Crawford; Benjamin Kuipers (Principles of Semantic Networks, 1991)

Negation and Proof by Contradiction in Access-Limited Logic. - James M. Crawford; Benjamin Kuipers (AAAI, 1991)

Algernon - A Tractable System for Knowledge-Representation. - James M. Crawford; Benjamin Kuipers (SIGART Bull., 1991)

Formalising Reasoning about Change: A Qualitative Reasoning Approach. - James M. Crawford; David W. Etherington (AAAI, 1992)

Guaranteed Coverage Versus Intelligent Sampling: A Reply to Sacks and Doyle. - Benjamin Kuipers; James M. Crawford (Comput. Intell., 1992)

Experimental Results on the Crossover Point in Satisfiability Problems. - James M. Crawford; Larry D. Auton (AAAI, 1993)

Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems. - James M. Crawford; Andrew B. Baker (AAAI, 1994)

Device Representation and Reasoning with Affective Relations. - James M. Crawford; Daniel Dvorak; Diane J. Litman; Anil Mishra; Peter F. Patel-Schneider (IJCAI, 1995)

Path-Based Rules in Object-Oriented Programming. - James M. Crawford; Daniel Dvorak; Diane J. Litman; Anil Mishra; Peter F. Patel-Schneider (AAAI/IAAI, Vol. 1, 1996)

Toward Efficient Default Reasoning. - David W. Etherington; James M. Crawford (AAAI/IAAI, Vol. 1, 1996)

Symmetry-Breaking Predicates for Search Problems. - James M. Crawford; Matthew L. Ginsberg; Eugene M. Luks; Amitabha Roy 001 (KR, 1996)

Experimental Results on the Crossover Point in Random 3-SAT. - James M. Crawford; Larry D. Auton (Artif. Intell., 1996)

Implicates and Prime Implicates in Random 3-SAT. - Robert Schrag; James M. Crawford (Artif. Intell., 1996)

Morphological model of human colon tissue fluorescence. - George I. Zonios; Robert M. Cothren; Joseph T. Arendt; Jun Wu; Jacques Van Dam; James M. Crawford; Ramasamy Manoharan; Michael S. Feld (IEEE Trans. Biomed. Eng., 1996)

Correction to "Morphological Model of Human Colon Tissue Fluorescence". - George I. Zonios; Robert M. Cothren; Joseph T. Arendt; Jun Wu; Jacques Van Dam; James M. Crawford; Ramasamy Manoharan; Michael S. Feld (IEEE Trans. Biomed. Eng., 1996)

A Non-Deterministic Semantics for Tractable Inference. - James M. Crawford; David W. Etherington (AAAI/IAAI, 1998)

Introduction to a Benchmark Column in CONSTRAINTS. - Claude Le Pape; James M. Crawford; Barry Fox; Thomas Schiex (Constraints An Int. J., 1998)

R++: Adding Path-Based Rules to C++. - Diane J. Litman; Peter F. Patel-Schneider; Anil Mishra; James M. Crawford; Daniel Dvorak (IEEE Trans. Knowl. Data Eng., 2002)

Lessons Learned Delivering Optimized Supply Chain Planning to the Business World. - James M. Crawford (AI Mag., 2008)