Example image of eyePlorer eyePlorer map for 'Abductive reasoning': Charles Sanders Peirce Fact Hypothesis Computing Philosophy Deductive reasoning Entailment Domain of a function Explanation Heuristic Logic Prior probability Simplicity Method of analytic tableaux Sequent calculus Modal logic Abductive logic programming Logic programming Backward chaining Set cover problem Hypothetico-deductive model Artificial intelligence Social sciences Evolution Norwood Russell Hanson Philosophy of science Peter Lipton Automated planning and scheduling Belief revision Diagnosis Event calculus Propositional formula Scientific realism Abductive reasoning Occam's razor Science Analysis of Competing Hypotheses Charles Sanders Peirce bibliography Forward thinking Logical reasoning Analogy Argument from silence Automated reasoning Constraint Handling Rules Defeasible reasoning Retroduction Sherlock Holmes Alfred Gell CADUCEUS (expert system) Gnosiology