Switch to: Citations

Add references

You must login to add references.
  1. Functional genomic hypothesis generation and experimentation by a robot scientist.Ross King, Whelan D., E. Kenneth, Ffion Jones, Reiser M., G. K. Philip, Christopher Bryant, Muggleton H., H. Stephen, Douglas Kell, Oliver B. & G. Stephen - 2004 - Nature 427 (6971):247--52.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   634 citations  
  • Collected Papers of Charles Sanders Peirce: Pragmatism and pragmaticism and Scientific metaphysics.Charles Sanders Peirce - 1960 - Cambridge: Belknap Press.
    Charles Sanders Peirce has been characterized as the greatest American philosophic genius. He is the creator of pragmatism and one of the founders of modern logic. James, Royce, Schroder, and Dewey have acknowledged their great indebtedness to him. A laboratory scientist, he made notable contributions to geodesy, astronomy, psychology, induction, probability, and scientific method. He introduced into modern philosophy the doctrine of scholastic realism, developed the concepts of chance, continuity, and objective law, and showed the philosophical significance of the theory (...)
    Download  
     
    Export citation  
     
    Bookmark   515 citations  
  • A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • Anomaly-driven theory redesign: computational philosophy of science experiments.Lindley Darden - 1998 - In Terrell Ward Bynum & James Moor (eds.), The Digital Phoenix: How Computers are Changing Philosophy. Cambridge: Blackwell. pp. 62--78.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (2 other versions)The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Computational Intelligence: A Logical Approach.David Poole, Alan Mackworth & Randy Goebel - 1998 - Oxford University Press.
    Provides an integrated introduction to artificial intelligence. Develops AI representation schemes and describes their uses for diverse applications, from autonomous robots to diagnostic assistants to infobots. DLC: Artificial intelligence.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
    Download  
     
    Export citation  
     
    Bookmark   134 citations  
  • Abduction as belief revision.Craig Boutilier & Veronica Beche - 1995 - Artificial Intelligence 77 (1):43-94.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Reasoning and the Logic of Things.Charles Sanders Peirce, Kenneth Laine Ketner & Hilary Putnam - 1994 - Transactions of the Charles S. Peirce Society 30 (1):167-179.
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Abduction in logic programming: A new definition and an abductive procedure based on rewriting.Fangzhen Lin & Jia-Huai You - 2002 - Artificial Intelligence 140 (1-2):175-205.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Abduction to plausible causes: an event-based model of belief update.Craig Boutilier - 1996 - Artificial Intelligence 83 (1):143-166.
    Download  
     
    Export citation  
     
    Bookmark   6 citations