James M. Crawford

Publication Activity (10 Years)

Years Active: 1989-2008
Publications (10 Years): 0

Publications

James M. Crawford
Lessons Learned Delivering Optimized Supply Chain Planning to the Business World. AI Mag. 29 (2) (2008)
Diane J. Litman, Peter F. Patel-Schneider, Anil Mishra, James M. Crawford, Daniel Dvorak
R++: Adding Path-Based Rules to C++. IEEE Trans. Knowl. Data Eng. 14 (3) (2002)
Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex
Introduction to a Benchmark Column in CONSTRAINTS. Constraints An Int. J. 3 (2/3) (1998)
James M. Crawford, David W. Etherington
A Non-Deterministic Semantics for Tractable Inference. AAAI/IAAI (1998)
Robert Schrag, James M. Crawford
Implicates and Prime Implicates in Random 3-SAT. Artif. Intell. 81 (1-2) (1996)
James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy
Symmetry-Breaking Predicates for Search Problems. KR (1996)
James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
Path-Based Rules in Object-Oriented Programming. AAAI/IAAI, Vol. 1 (1996)
David W. Etherington, James M. Crawford
Toward Efficient Default Reasoning. AAAI/IAAI, Vol. 1 (1996)
James M. Crawford, Larry D. Auton
Experimental Results on the Crossover Point in Random 3-SAT. Artif. Intell. 81 (1-2) (1996)
James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
Device Representation and Reasoning with Affective Relations. IJCAI (1995)
James M. Crawford, Andrew B. Baker
Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems. AAAI (1994)
James M. Crawford, Larry D. Auton
Experimental Results on the Crossover Point in Satisfiability Problems. AAAI (1993)
Benjamin Kuipers, James M. Crawford
Guaranteed Coverage Versus Intelligent Sampling: A Reply to Sacks and Doyle. Comput. Intell. 8 (1992)
James M. Crawford, David W. Etherington
Formalising Reasoning about Change: A Qualitative Reasoning Approach. AAAI (1992)
James M. Crawford, Benjamin Kuipers
Algernon - A Tractable System for Knowledge-Representation. SIGART Bull. 2 (3) (1991)
James M. Crawford, Benjamin Kuipers
Negation and Proof by Contradiction in Access-Limited Logic. AAAI (1991)
James M. Crawford, Adam Farquhar, Benjamin Kuipers
QPC: A Compiler from Physical Models into Qualitative Differential Equations. AAAI (1990)
James M. Crawford, Benjamin Kuipers
Towards a Theory of Access-Limited Logic for Knowledge Representation. KR (1989)