James M. Crawford

21 papers A* 8Journal 9Unranked 3

Year	Rank	Type	Title / 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