Switch to: Citations

Add references

You must login to add references.
  1. A paradigm for reasoning by analogy.Robert E. Kling - 1971 - Artificial Intelligence 2 (2):147-178.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The semantics of induction and the possibility of complete systems of inductive inference.B. Meltzer - 1970 - Artificial Intelligence 1 (3-4):189-192.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A Framework for Representing Knowledge.Marvin Minsky - unknown
    It seems to me that the ingredients of most theories both in Artificial Intelligence and in Psychology have been on the whole too minute, local, and unstructured to account–either practically or phenomenologically–for the effectiveness of common-sense thought. The "chunks" of reasoning, language, memory, and "perception" ought to be larger and more structured; their factual and procedural contents must be more intimately connected in order to explain the apparent power and speed of mental activities.
    Download  
     
    Export citation  
     
    Bookmark   271 citations  
  • The Q∗ algorithm—a search strategy for a deductive question-answering system.Jack Minker, Daniel H. Fishman & James R. McSkimin - 1973 - Artificial Intelligence 4 (3-4):225-243.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Computer Programs for Checking Mathematical Proofs.John Mccarthy - 1967 - Journal of Symbolic Logic 32 (4):523-523.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Reasoning about programs.R. J. Waldinger & K. N. Levitt - 1974 - Artificial Intelligence 5 (3):235-316.
    Download  
     
    Export citation  
     
    Bookmark   5 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  
  • Experiments with a heuristic theorem-proving program for predicate calculus with equality.Lewis M. Norton - 1971 - Artificial Intelligence 2 (3-4):261-284.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Plane geometry theorem proving using forward chaining.Arthur J. Nevins - 1975 - Artificial Intelligence 6 (1):1-23.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 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  
  • Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.
    Download  
     
    Export citation  
     
    Bookmark   8 citations