Switch to: Citations

Add references

You must login to add references.
  1. Explanatory coherence (plus commentary).Paul Thagard - 1989 - Behavioral and Brain Sciences 12 (3):435-467.
    This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...)
    Download  
     
    Export citation  
     
    Bookmark   227 citations  
  • DENDRAL and Meta-DENDRAL: roots of knowledge systems and expert system applications.Edward A. Feigenbaum & Bruce G. Buchanan - 1993 - Artificial Intelligence 59 (1-2):233-240.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A computational approach to George Boole's discovery of mathematical logic.Luis de Ledesma, Aurora Pérez, Daniel Borrajo & Luis M. Laita - 1997 - Artificial Intelligence 91 (2):281-307.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Machine discovery in chemistry: new results.Raúl E. Valdés-Pérez - 1995 - Artificial Intelligence 74 (1):191-201.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • DENDRAL: A case study of the first expert system for scientific hypothesis formation.Robert K. Lindsay, Bruce G. Buchanan, Edward A. Feigenbaum & Joshua Lederberg - 1993 - Artificial Intelligence 61 (2):209-261.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A new theorem in particle physics enabled by machine discovery.Raúl E. Valdés-Pérez - 1996 - Artificial Intelligence 82 (1-2):331-339.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • ReTAX: a step in the automation of taxonomic revision.Eugenio Alberdi & Derek H. Sleeman - 1997 - Artificial Intelligence 91 (2):257-279.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An interactive system for finding complementary literatures: a stimulus to scientific discovery.Don R. Swanson & Neil R. Smalheiser - 1997 - Artificial Intelligence 91 (2):183-203.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Conjecturing hidden entities by means of simplicity and conservation laws.Raúl E. Valdés-Pérez - 1994 - Artificial Intelligence 65 (2):247-280.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Migraine and magnesium: eleven neglected connections.Don R. Swanson - 1987 - Perspectives in Biology and Medicine 31 (4):526-557.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Scientific discovery and simplicity of method.Herbert A. Simon, Raúl E. Valdés-Pérez & Derek H. Sleeman - 1997 - Artificial Intelligence 91 (2):177-181.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Reasoning Strategies in Molecular Biology: Abstractions, Scans and Anomalies.Lindley Darden & Michael Cook - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:179 - 191.
    Molecular biologists use different kinds of reasoning strategies for different tasks, such as hypothesis formation, experimental design, and anomaly resolution. More specifically, the reasoning strategies discussed in this paper may be characterized as (1) abstraction-instantiation, in which an abstract skeletal model is instantiated to produce an experimental system; (2) the systematic scan, in which alternative hypotheses are systematically generated; and (3) modular anomaly resolution, in which components of a model are stated explicitly and methodically changed to generate alternative changes to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The computer revolution in science: steps towards the realization of computer-supported discovery environments.Hidde de Jong & Arie Rip - 1997 - Artificial Intelligence 91 (2):225-256.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Induction and the discovery of the causes of scurvy: a computational reconstruction.Vincent Corruble & Jean-Gabriel Ganascia - 1997 - Artificial Intelligence 91 (2):205-223.
    Download  
     
    Export citation  
     
    Bookmark   4 citations