Crawford, James M.

9 publications

AAAI 1998 A Non-Deterministic Semantics for Tractable Inference James M. Crawford, David W. Etherington

AAAI 1996 Path-Based Rules in Object-Oriented Programming James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider

AAAI 1996 Toward Efficient Default Reasoning David W. Etherington, James M. Crawford

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

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

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

AAAI 1992 Formalising Reasoning About Change: A Qualitative Reasoning Approach James M. Crawford, David W. Etherington

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

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