James M. Crawford

According to our database, James M. Crawford authored at least 19 papers between 1989 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Lessons Learned Delivering Optimized Supply Chain Planning to the Business World.

James M. Crawford

AI Mag., 2008

2002

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

1998

Introduction to a Benchmark Column in CONSTRAINTS.

Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex

Constraints An Int. J., 1998

A Non-Deterministic Semantics for Tractable Inference.

James M. Crawford, David W. Etherington

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1996

Implicates and Prime Implicates in Random 3-SAT.

Robert Schrag, James M. Crawford

Artif. Intell., 1996

Experimental Results on the Crossover Point in Random 3-SAT.

James M. Crawford, Larry D. Auton

Artif. Intell., 1996

Symmetry-Breaking Predicates for Search Problems.

James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Toward Efficient Default Reasoning.

David W. Etherington, James M. Crawford

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Path-Based Rules in Object-Oriented Programming.

James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Device Representation and Reasoning with Affective Relations.

James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems.

James M. Crawford, Andrew B. Baker

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Experimental Results on the Crossover Point in Satisfiability Problems.

James M. Crawford, Larry D. Auton

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

Guaranteed Coverage Versus Intelligent Sampling: A Reply to Sacks and Doyle.

Benjamin Kuipers, James M. Crawford

Comput. Intell., 1992

Formalising Reasoning about Change: A Qualitative Reasoning Approach.

James M. Crawford, David W. Etherington

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Algernon - A Tractable System for Knowledge-Representation.

James M. Crawford, Benjamin Kuipers

SIGART Bull., 1991

Negation and Proof by Contradiction in Access-Limited Logic.

James M. Crawford, Benjamin Kuipers

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

ALL: Formalizing Access-Limited Reasoning.

James M. Crawford, Benjamin Kuipers

Proceedings of the Principles of Semantic Networks, 1991

1990

QPC: A Compiler from Physical Models into Qualitative Differential Equations.

James M. Crawford, Adam Farquhar, Benjamin Kuipers

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

Towards a Theory of Access-Limited Logic for Knowledge Representation.

James M. Crawford, Benjamin Kuipers

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989