Switch to: References

Add citations

You must login to add citations.
  1. The structure of ill structured problems.Herbert A. Simon - 1973 - Artificial Intelligence 4 (3-4):181--201.
    Download  
     
    Export citation  
     
    Bookmark   90 citations  
  • Analogy.Todd Davies - 1985 - In CSLI Informal Notes Series, IN-CSLI-4. Center for the Study of Language and Information.
    This essay (a revised version of my undergraduate honors thesis at Stanford) constructs a theory of analogy as it applies to argumentation and reasoning, especially as used in fields such as philosophy and law. The word analogy has been used in different senses, which the essay defines. The theory developed herein applies to analogia rationis, or analogical reasoning. Building on the framework of situation theory, a type of logical relation called determination is defined. This determination relation solves a puzzle about (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Resources for Research on Analogy: A Multi-disciplinary Guide.Marcello Guarini, Amy Butchart, Paul Simard Smith & Andrei Moldovan - 2009 - Informal Logic 29 (2):84-197.
    Work on analogy has been done from a number of disciplinary perspectives throughout the history of Western thought. This work is a multidisciplinary guide to theorizing about analogy. It contains 1,406 references, primarily to journal articles and monographs, and primarily to English language material. classical through to contemporary sources are included. The work is classified into eight different sections (with a number of subsections). A brief introduction to each section is provided. Keywords and key expressions of importance to research on (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Computational approaches to analogical reasoning.Rogers P. Hall - 1989 - Artificial Intelligence 39 (1):39-120.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Strategies in heuristic search.M. P. Georgeff - 1983 - Artificial Intelligence 20 (4):393-425.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Inductive reasoning on recursive equations.Frank Malloy Brown & Sten-Åke Tärnlund - 1979 - Artificial Intelligence 12 (3):207-229.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Design by derivational analogy:Issues in the automated replay of design plans.Jack Mostow - 1989 - Artificial Intelligence 40 (1-3):119-184.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Proving theorems by reuse.Christoph Walther & Thomas Kolbe - 2000 - Artificial Intelligence 116 (1-2):17-66.
    Download  
     
    Export citation  
     
    Bookmark  
  • Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
    Download  
     
    Export citation  
     
    Bookmark   13 citations