The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James M. Crawford: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.317secs, Finished in 0.317secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002