dblp.uni-trier.dewww.uni-trier.de

James M. Crawford Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2002
17EEDiane 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
11EERobert Schrag, James M. Crawford: Implicates and Prime Implicates in Random 3-SAT. Artif. Intell. 81(1-2): 199-222 (1996)
10EEJames 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)