James M. Crawford

2002
17	EE	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): 638-658 (2002)
1998
16		James M. Crawford, David W. Etherington: A Non-Deterministic Semantics for Tractable Inference. AAAI/IAAI 1998: 286-291
15		Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex: Introduction to a Benchmark Column in CONSTRAINTS. Constraints 3(2/3): 255-256 (1998)
1996
14		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: 490-497
13		David W. Etherington, James M. Crawford: Toward Efficient Default Reasoning. AAAI/IAAI, Vol. 1 1996: 627-632
12		James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy: Symmetry-Breaking Predicates for Search Problems. KR 1996: 148-159
11	EE	Robert Schrag, James M. Crawford: Implicates and Prime Implicates in Random 3-SAT. Artif. Intell. 81(1-2): 199-222 (1996)
10	EE	James M. Crawford, Larry D. Auton: Experimental Results on the Crossover Point in Random 3-SAT. Artif. Intell. 81(1-2): 31-57 (1996)
1995
9		James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider: Device Representation and Reasoning with Affective Relations. IJCAI 1995: 1814-1820
1994
8		James M. Crawford, Andrew B. Baker: Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems. AAAI 1994: 1092-1097
1993
7		James M. Crawford, Larry D. Auton: Experimental Results on the Crossover Point in Satisfiability Problems. AAAI 1993: 21-27
1992
6		James M. Crawford, David W. Etherington: Formalising Reasoning about Change: A Qualitative Reasoning Approach. AAAI 1992: 577-583
5		Benjamin Kuipers, James M. Crawford: Guaranteed Coverage Versus Intelligent Sampling: A Reply to Sacks and Doyle. Computational Intelligence 8: 289-294 (1992)
1991
4		James M. Crawford, Benjamin Kuipers: Negation and Proof by Contradiction in Access-Limited Logic. AAAI 1991: 897-903
3		James M. Crawford, Benjamin Kuipers: Algernon - A Tractable System for Knowledge-Representation. SIGART Bulletin 2(3): 35-44 (1991)
1990
2		James M. Crawford, Adam Farquhar, Benjamin Kuipers: QPC: A Compiler from Physical Models into Qualitative Differential Equations. AAAI 1990: 365-372
1989
1		James M. Crawford, Benjamin Kuipers: Towards a Theory of Access-Limited Logic for Knowledge Representation. KR 1989: 67-78

Coauthor Index

1	Larry D. Auton	[7] [10]
2	Andrew B. Baker	[8]
3	Daniel Dvorak	[9] [14] [17]
4	David W. Etherington	[6] [13] [16]
5	Adam Farquhar	[2]
6	Barry Fox	[15]
7	Matthew L. Ginsberg	[12]
8	Benjamin Kuipers	[1] [2] [3] [4] [5]
9	Diane J. Litman	[9] [14] [17]
10	Eugene M. Luks	[12]
11	Anil Mishra	[9] [14] [17]
12	Claude Le Pape	[15]
13	Peter F. Patel-Schneider	[9] [14] [17]
14	Amitabha Roy	[12]
15	Thomas Schiex	[15]
16	Robert Schrag	[11]

Colors in the list of coauthors