Switch to: References

Add citations

You must login to add citations.
  1. A paradigm for reasoning by analogy.Robert E. Kling - 1971 - Artificial Intelligence 2 (2):147-178.
    Download  
     
    Export citation  
     
    Bookmark   11 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  
  • Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search.XuanLong Nguyen, Subbarao Kambhampati & Romeo S. Nigenda - 2002 - Artificial Intelligence 135 (1-2):73-123.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Planning with constraints.Mark Stefik - 1981 - Artificial Intelligence 16 (2):111-139.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Breadth-first search: Some surprising results.L. Siklóssy, A. Rich & V. Marinov - 1973 - Artificial Intelligence 4 (1):1-27.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Probabilistic logic revisited.Nils J. Nilsson - 1993 - Artificial Intelligence 59 (1-2):39-42.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Plane geometry theorem proving using forward chaining.Arthur J. Nevins - 1975 - Artificial Intelligence 6 (1):1-23.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The complexity of constraint satisfaction revisited.Alan K. Mackworth & Eugene C. Freuder - 1993 - Artificial Intelligence 59 (1-2):57-62.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Alternative descriptions in line drawing analysis.P. C. Maxwell - 1974 - Artificial Intelligence 5 (4):325-348.
    Download  
     
    Export citation  
     
    Bookmark  
  • Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Π-representation: A clause representation for parallel search.Daniel H. Fishman & Jack Minker - 1975 - Artificial Intelligence 6 (2):103-127.
    Download  
     
    Export citation  
     
    Bookmark  
  • Conformant plans and beyond: Principles and complexity.Blai Bonet - 2010 - Artificial Intelligence 174 (3-4):245-269.
    Download  
     
    Export citation  
     
    Bookmark   4 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