Switch to: Citations

Add references

You must login to add references.
  1. Steps Toward Artificial Intelligence.Marvin Minsky - unknown
    Received by the IRE, October 24, 1960. The author's work summarized here—which was done at the MIT Lincoln Laboratory, a center for research operated by MIT at Lexington, Mass., with the joint Support of the U. S. Army, Navy, and Air Force under Air Force Contract AF 19-5200; and at the Res. Lab. of Electronics, MIT, Cambridge, Mass., which is supported in part by the U. S. Army Signal Corps, the Air Force Office of Scientific Research, and the ONR—is based (...)
    Download  
     
    Export citation  
     
    Bookmark   114 citations  
  • A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
    Download  
     
    Export citation  
     
    Bookmark   149 citations  
  • Planning in a hierarchy of abstraction spaces.Earl D. Sacerdoti - 1974 - Artificial Intelligence 5 (2):115-135.
    Download  
     
    Export citation  
     
    Bookmark   122 citations  
  • Consistency in networks of relations.Alan K. Mackworth - 1977 - Artificial Intelligence 8 (1):99-118.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • The complexity of some polynomial network consistency algorithms for constraint satisfaction problems.Alan K. Mackworth & Eugene C. Freuder - 1985 - Artificial Intelligence 25 (1):65-74.
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis.Richard M. Stallman & Gerald J. Sussman - 1977 - Artificial Intelligence 9 (2):135-196.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Increasing tree search efficiency for constraint satisfaction problems.Robert M. Haralick & Gordon L. Elliott - 1980 - Artificial Intelligence 14 (3):263-313.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Arc and path consistency revisited.Roger Mohr & Thomas C. Henderson - 1986 - Artificial Intelligence 28 (2):225-233.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Search rearrangement backtracking and polynomial average time.Paul Walton Purdom - 1983 - Artificial Intelligence 21 (1-2):117-133.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Consistent-labeling problems and their algorithms: Expected-complexities and theory-based heuristics.Bernard Nudel - 1983 - Artificial Intelligence 21 (1-2):135-178.
    Download  
     
    Export citation  
     
    Bookmark   9 citations