Switch to: Citations

Add references

You must login to add references.
  1. Consistency in networks of relations.Alan K. Mackworth - 1977 - Artificial Intelligence 8 (1):99-118.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • Planning routes through uncertain territory.Drew McDermott & Ernest Davis - 1984 - Artificial Intelligence 22 (2):107-156.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • A qualitative physics based on confluences.Johan De Kleer & John Seely Brown - 1984 - Artificial Intelligence 24 (1-3):7-83.
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  • Inferring the positions of bodies from specified spatial relationships.A. P. Ambler & R. J. Popplestone - 1975 - Artificial Intelligence 6 (2):157-174.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A planning system for robot construction tasks.Scott Elliott Fahlman - 1974 - Artificial Intelligence 5 (1):1-49.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • Constraints—A language for expressing almost-hierarchical descriptions.Gerald Jay Sussman & Guy Lewis Steele - 1980 - Artificial Intelligence 14 (1):1-39.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Qualitative analysis of MOS circuits.Brian C. Williams - 1984 - Artificial Intelligence 24 (1-3):281-346.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Symbolic reasoning among 3-D models and 2-D images.Rodney A. Brooks - 1981 - Artificial Intelligence 17 (1-3):285-348.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • Commonsense reasoning about causality: Deriving behavior from structure.Benjamin Kuipers - 1984 - Artificial Intelligence 24 (1-3):169-203.
    Download  
     
    Export citation  
     
    Bookmark   22 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  
  • Planning with constraints.Mark Stefik - 1981 - Artificial Intelligence 16 (2):111-139.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Some undecidable problems involving elementary functions of a real variable.Daniel Richardson - 1968 - Journal of Symbolic Logic 33 (4):514-520.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Mechanizing temporal knowledge.Kenneth Kahn & G. Anthony Gorry - 1977 - Artificial Intelligence 9 (1):87-108.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-6f97f49787-ff2nm uwo