- Collected Papers of Charles Sanders Peirce: Pragmatism and pragmaticism and Scientific metaphysics.Charles Sanders Peirce - 1960 - Cambridge: Belknap Press.details
|
|
Computational Intelligence: A Logical Approach.David Poole, Alan Mackworth & Randy Goebel - 1998 - Oxford University Press.details
|
|
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.details
|
|
Abduction to plausible causes: an event-based model of belief update.Craig Boutilier - 1996 - Artificial Intelligence 83 (1):143-166.details
|
|
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.details
|
|
A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.details
|
|
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.details
|
|
Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.details
|
|
Abduction as belief revision.Craig Boutilier & Veronica Beche - 1995 - Artificial Intelligence 77 (1):43-94.details
|
|
(2 other versions)The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.details
|
|
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.details
|
|
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.details
|
|
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.details
|
|