James M. Crawford

21 papers A* 8Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2008 J jnl
Lessons Learned Delivering Optimized Supply Chain Planning to the Business World.
AI Mag.
James M. Crawford
2002 J jnl
R++: Adding Path-Based Rules to C++.
IEEE Trans. Knowl. Data Eng.
Diane J. Litman, Peter F. Patel-Schneider, Anil Mishra, James M. Crawford, Daniel Dvorak
1998 — conf
A Non-Deterministic Semantics for Tractable Inference.
AAAI/IAAI
James M. Crawford, David W. Etherington
1998 J jnl
Introduction to a Benchmark Column in CONSTRAINTS.
Constraints An Int. J.
Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex
1996 J jnl
Correction to "Morphological Model of Human Colon Tissue Fluorescence".
IEEE Trans. Biomed. Eng.
George I. Zonios, Robert M. Cothren, Joseph T. Arendt, Jun Wu, Jacques Van Dam, James M. Crawford, Ramasamy Manoharan, Michael S. Feld
1996 J jnl
Experimental Results on the Crossover Point in Random 3-SAT.
Artif. Intell.
James M. Crawford, Larry D. Auton
1996 J jnl
Implicates and Prime Implicates in Random 3-SAT.
Artif. Intell.
Robert Schrag, James M. Crawford
1996 J jnl
Morphological model of human colon tissue fluorescence.
IEEE Trans. Biomed. Eng.
George I. Zonios, Robert M. Cothren, Joseph T. Arendt, Jun Wu, Jacques Van Dam, James M. Crawford, Ramasamy Manoharan, Michael S. Feld
1996 — conf
Path-Based Rules in Object-Oriented Programming.
AAAI/IAAI, Vol. 1
James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
1996 A* conf
Symmetry-Breaking Predicates for Search Problems.
KR
James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy
1996 — conf
Toward Efficient Default Reasoning.
AAAI/IAAI, Vol. 1
David W. Etherington, James M. Crawford
1995 A* conf
Device Representation and Reasoning with Affective Relations.
IJCAI
James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
1994 A* conf
Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems.
AAAI
James M. Crawford, Andrew B. Baker
1993 A* conf
Experimental Results on the Crossover Point in Satisfiability Problems.
AAAI
James M. Crawford, Larry D. Auton
1992 A* conf
Formalising Reasoning about Change: A Qualitative Reasoning Approach.
AAAI
James M. Crawford, David W. Etherington
1992 J jnl
Guaranteed Coverage Versus Intelligent Sampling: A Reply to Sacks and Doyle.
Comput. Intell.
Benjamin Kuipers, James M. Crawford
1991 — ch.
ALL: Formalizing Access-Limited Reasoning.
Principles of Semantic Networks
James M. Crawford, Benjamin Kuipers
1991 J jnl
Algernon - A Tractable System for Knowledge-Representation.
SIGART Bull.
James M. Crawford, Benjamin Kuipers
1991 A* conf
Negation and Proof by Contradiction in Access-Limited Logic.
AAAI
James M. Crawford, Benjamin Kuipers
1990 A* conf
QPC: A Compiler from Physical Models into Qualitative Differential Equations.
AAAI
James M. Crawford, Adam Farquhar, Benjamin Kuipers
1989 A* conf
Towards a Theory of Access-Limited Logic for Knowledge Representation.
KR
James M. Crawford, Benjamin Kuipers