ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION

Synthese Library

Volumn 330, Issue , 2006, Pages 1-239

  Aliseda, Atocha ^a  

^a UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85145901904     PISSN: 01666991     EISSN: 25428292     Source Type: Book Series    
DOI: None     Document Type: Chapter

References (224)

1. Automated Abduction. Working Notes. 1990 Spring Symposium Series of the AAA. March 27–29. Stanford University. Stanford, CA. 1990.
2. C. Alchourrón, P. Gärdenfors, and D. Makinson. ‘On the logic of theory change: Partial meet contraction and revision functions’. Journal of Symbolic Logic, 50: 510–530. 1985.
3. N. Alechina and M. van Lambalgen. ‘Generalized quantification as substructural logic’. Journal of Symbolic Logic, 61(3): 1006–1044. 1996.
4. A. Aliseda. ‘A unified framework for abductive and inductive reasoning in philosophy and AI’, in Abductive and Inductive Reasoning Workshop Notes. pp. 1–6. European Conference on Artificial Intelligence (ECAI’96). Budapest. August, 1996.
5. A. Aliseda. ‘Toward a Logic of Abduction’, in Memorias del V Congreso Iberoamericano de Inteligencia Artifical (IBERAMIA’96), Puebla, México. October, 1996.
6. A. Aliseda. Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. PhD Dissertation, Philosophy Department, Stanford University. Published by the Institute for Logic, Language and Computation (ILLC), University of Amsterdam (ILLC Dissertation Series 1997–4). 1997.
7. [Ali98] A. Aliseda. ‘Computing Abduction in Semantic Tableaux’, Computación y Sistemas: Revista Iberoamericana de Computación, volume II, number 1, pp. 5–13. Centro de Investigación en Computación (CIC), Instituto Politécnico Nacional, México. D.F. 1998.
8. A. Aliseda. ‘Heurística, Hipótesis y Demostración en Matemáticas’. In A. Velasco (ed) La Heurística: Un Concepto de las Ciencias y las Humanidades, pp. 58–74. Colección Aprender a Aprender. Centro de Investigaciones Interdisciplinarias en Ciencias y Humanidades. UNAM, México. 2000.
9. A. Aliseda. ‘Abduction as Epistemic Change: A Peircean Model in Artificial Intelligence’. In P. Flach and A. Kakas (eds). Abductive and Inductive Reason ing: Essays on their Relation and Integration, pp. 45-58. Applied Logic Series. Kluwer Academic Publishers. 2000.
10. A. Aliseda. ‘Mathematical Reasoning Vs. Abductive Reasoning: An Structural Approach’, Synthese 134: 25–44. Kluwer Academic Press. 2003.
11. A. Aliseda. ‘Abducción y Pragmati(ci)smo en C.S. Peirce’. In Cabanchik, S., etal. (eds) El Giro Pragmático en la Filosofía Contemporánea. Gedisa, Argentina. 2003.
12. [Ali04a] A. Aliseda. ‘Logics in Scientific Discovery’, Foundations of Science, Volume 9, Issue 3, pp. 339–363. Kluwer Academic Publishers. 2004.
13. [Ali04b] A. Aliseda. ‘Sobre la Lógica del Descubrimiento Científico de Karl Popper’, Signos Filosóficos, supplement to number 11, January–June, pp. 115–130. Universidad Autónoma Metropolitana. México. 2004.
14. A. Aliseda. ‘Lacunae, Empirical Progress and Semantic Tableaux’. In R. Festa, A. Aliseda and J. Peijnenburg (eds). Confirmation, Empirical Progress, and Truth Approximation (Poznan Studies in the Philosophy of the Sciences and the Humanities, vol. 83), pp. 141–161. Amsterdam/Atlanta, GA: Rodopi. 2005.
15. [Ali05b] A. Aliseda. ‘The Logic of Abduction in The Light of Peirce’s Pragmatism’, Semiotica, 153–1/4, pp. 363–374. Semiotic Publications, Indiana University. 2005.
16. A. Aliseda and A. Nepomuceno. Abduction in First Order Semantic Tableaux. Unpublished Manuscript. 2004.
17. D. Anderson. ‘The Evolution of Peirce’s Concept of Abduction’. Transactions of the Charles S. Peirce Society 22-2:145–164. 1986.
18. D. Anderson. Creativity and the Philosophy of C.S. Peirce. Martinus Nijhoff. Philosophy Library Volume 27. Martinus Nijhoff Publishers. 1987.
19. C. Antaki. ‘Lay explanations of behaviour: how people represent and communicate their ordinary theories’, in C. Ellis (ed), Expert Knowledge and Explanation: The Knowledge–Language Interface, pp. 201–211. Ellis Horwood Limited, England. 1989.
20. C. Aravindan and P.M. Dung. ‘Belief dynamics, abduction and databases’. In C. MacNish, D. Pearce, and L.M. Pereira (eds). Logics in Artificial Intelligence. European Workshop JELIA’94, pp. 66–85. Lecture Notes in Artificial Intelligence 838. Springer–Verlag. 1994.
21. M. Ayim. ‘Retroduction: The Rational Instinct’. Transactions of the Charles S. Peirce Society 10-1:34–43. 1974.
22. J. Barwise and J. Etchemendy. Tarski’s World. Center for the Study of Language and Information (CSLI). Stanford, CA. 1993.
23. J. Barwise and J. Etchemendy. Hyperproof. Center for the Study of Language and Information (CSLI). Lecture Notes Series 42. Stanford, CA. 1995.
24. D. Batens. ‘On a Logic of Induction’. In R. Festa, A. Aliseda and J. Peijnenburg (eds). Confirmation, Empirical Progress, and Truth Approximation (Poznan Studies in the Philosophy of the Sciences and the Humanities, vol. 83), pp. 195–221. Amsterdam/Atlanta, GA: Rodopi. 2005.
25. J. van Benthem. ‘Lessons from Bolzano’. Center for the Study of Language and Information. Technical Report CSLI-84-6. Stanford University. 1984. Later published as ‘The variety of consequence, according to Bolzano’. Studia Logica 44, pp. 389–403. 1985.
26. J. van Benthem. ‘Foundations of Conditional Logic’. Journal of Philosophical Logic’ 13, 303–349. 1984.
27. [vBe90] J. van Benthem. ‘General Dynamics’. ILLC Prepublication Series, LP-90-11. Institute for Logic, Language, and Information. University of Amsterdam. 1990.
28. [vBe91] J. van Benthem. Language in Action. Categories, Lambdas and Dynamic Logic. Amsterdam: North Holland. 1991.
29. J. van Benthem. Logic as Programming. Fundamenta Informaticae, 17(4):285– 318, 1992.
30. [vBe93] J. van Benthem. ‘Logic and the Flow of Information’. ILLC Prepublication Series LP-91-10. Institute for Logic, Language, and Information. University of Amsterdam. 1993.
31. [vBe94] J. van Benthem. ‘Logic and Argumentation’. ILLC Research Report and Technical Notes Series X-94-05. Institute for Logic, Language, and Information. University of Amsterdam. 1994.
32. J. van Benthem. Exploring Logical Dynamics. CSLI Publications, Stanford University. 1996.
33. J. van Benthem. Inference, Methodology, and Semantics. In P.I. Bystrov and V.N. Sadovsky (eds)., Philosophical Logic and Logical Philosophy, pp. 63–82. Kluwer Academic Publishers. 1996.
34. [vBC94] J. van Benthem, G. Cepparello. ‘Tarskian Variations: Dynamic Parameters in Classical Semantics’. Technical Report CS–R9419. Centre for Mathematics and Computer Science (CWI), Amsterdam. 1994.
35. E.W. Beth. The Foundations of Mathematics. Amsterdam, North-Holland Publishing Company. 1959.
36. E. W. Beth. ‘Semantic Entailment and Formal Derivability’. In J. Hintikka (ed), The Philosophy of Mathematics, pp. 9–41. Oxford University Press. 1969.
37. Boolos, G., 1984, ‘Trees and finite satisfactibility’, Notre Dame Journal of Formal Logic 25, pp. 110-115. 1984.
38. [BH02] I. C. Burger and J. Heidema. ‘Degrees of Abductive Boldness’. Forthcoming. In L. Magnani, N. J. Nersessian, and C. Pizzi (eds)., Logical and Computational Aspects of Model-Based Reasoning, pp. 163–180. Kluwer Applied Logic Series. 2002.
39. [Bol73] B. Bolzano. Wissenschaftslehre, Seidel Buchhandlung, Sulzbach. Translated as Theory of Science by B. Torrel, edited by J. Berg. D. Reidel Publishing Company. Dordrecht, The Netherlands. 1973.
40. G. Brewka, J. Dix and K. Konolige. Non-Monotonic Reasoning: An Overview. Center for the study of Language and Information (CSLI), Lecture Notes 73. 1997.
41. B.A. Brody. ‘Confirmation and Explanation’, Journal of Philosophy 65, pp. 282-299. 1968.
42. R. Carnap. Statistical and Inductive Probability. Galois Institute of Mathematics and Art. Brooklyn, New York. 1955.
43. G. Chaitin The Limits of Mathematics: A Course on Information Theory and the Limits of Formal Reasoning. Springer Verlag. 1997.
44. N. Chomsky. Language and Mind. Enlarged Edition. New York, Harcourt Brace Jovanovich. 1972.
45. J. Corcoran. ‘Meanings of Implication’, Diaglos 9, 59–76. 1975.
46. D’Agostino, M., Gabbay, D.M., HÄhnle, R. and Posegga, J. (eds). Handbook of Tableau Methods. Kluwer Academic Publishers. 1999.
47. G. Debrock, "The artful riddle of abduction (abstract)", in M. Rayo etal. (eds.) VIth International Congress of the International Association for Semiotic Studies: Semiotics Bridging Nature and Culture. Editorial Solidaridad, México, p. 230. 1997.
48. E. Díaz. ‘Arboles semánticos y modelos mínimos”. In E. Pérez (ed.), Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, pp. 40–43. Universidad Complutense de Madrid. 1993.
49. J. Doyle. ‘Reason maintenance and belief revision: foundations versus coherence theories’, in: P.Gärdenfors (ed), Belief Revision, pp. 29–51. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press. 1992.
50. K.Dosen and P. Schroeder-Heister (eds). Substructural Logics. Oxford Science Publications. Clarendon Press, Oxford. 1993.
51. D. Dubois and H. Prade. ‘Possibilistic logic, preferential models, nonmonotonicity and related issues’, in Proceedings of the 12th Inter. Joint Conf. on Artificial Intelligence (IJCAI–91), pp. 419–424. Sidney, Australia. 1991.
52. Abductive and Inductive Reasoning Workshop Notes. European Conference on Artificial Intelligence (ECAI’96). Budapest. August, 1996.
53. T. Eiter and G. Gottlob. ‘The Complexity of Logic-Based Abduction’, Journal of the Association for Computing Machinery, vol 42 (1): 3–42. 1995.
54. K.T.Fann. Peirce’s Theory of Abduction. The Hague: Martinus Nijhoff. 1970.
55. M. Fitting. First Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science. Springer–Verlag. 1990.
56. P.A. Flach. Conjectures: an inquiry concerning the logic of induction. PhD Thesis, Tilburg University. The Netherlands. 1995.
57. P. Flach. ‘Rationality Postulates for Induction’, in Y. Shoham (ed), Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1996), pp.267–281. De Zeeuwse Stromen, The Netherlands. March, 1996.
58. P. Flach. ‘Abduction and induction: syllogistic and inferential perspectives’, in Abductive and Inductive Reasoning Workshop Notes. pp 31–35. European Conference on Artificial Intelligence (ECAI’96). Budapest. August, 1996.
59. P. Flach and A. Kakas. Abduction and Induction. Essays on their Relation and Integration. Applied Logic Series. volume 18. Kluwer Academic Publishers. Dordrecht, The Netherlands. 2000.
60. H. Frankfurt. ‘Peirce’s Notion of Abduction’. The Journal of Philosophy, 55 (p.594). 1958.
61. B. van Fraassen. The Scientific Image. Oxford: Clarendon Press. 1980.
62. D.M. Gabbay. ‘Theoretical foundations for non-monotonic reasoning in expert systems’, in K. Apt (ed), Logics and Models of Concurrent Systems, pp. 439– 457. Springer–Verlag. Berlin, 1985.
63. D. M. Gabbay. ‘Classical vs Non-classical Logics (The Universality of Classical Logic)’, in D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds), Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2 Deduction Methodologies, pp.359–500. Clarendon Press, Oxford Science Publications. 1994.
64. D. M. Gabbay (ed). What is a Logical System?. Clarendon Press. Oxford. 1994.
65. D.M Gabbay. Labelled Deductive Systems. Oxford University Press. 1996.
66. D.M. Gabbay, R. Kempson. Labeled Abduction and Relevance Reasoning. Manuscript. Department of Computing, Imperial College and Department of Linguistics, School of Oriental and African Studies. London. 1994.
67. D.M. Gabbay and J. Woods. A Practical Logic of Cognitive Systems. The Reach of Abduction: Insight and Trial (volume 2). Amsterdam: North-Holland. 2005.
68. J.L. Galliers. ‘Autonomous belief revision and communication’, in: P.Gärdenfors (ed), Belief Revision, pp. 220–246. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992.
69. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press. 1988.
70. P. Gärdenfors. ‘Belief revision: An introduction’, in: P.Gärdenfors (ed), Belief Revision, pp. 1–28. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992.
71. P. Gärdenfors and H. Rott. ‘Belief revision’ in D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds), Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4, Clarendon Press, Oxford Science Publications. 1995.
72. P. Gärdenfors and David Makinson. ‘Revisions of knowledge systems using epistemic entrenchment’ in Proceedings of the Second Conference on Theoretical Aspects of Reasoning and Knowledge, pp 83–96. 1988.
73. P. Gervás. Logical considerations in the interpretation of presuppositional sentences. PhD Thesis, Department of Computing, Imperial College London. 1995.
74. R. Giere (ed). Cognitive Models of Science. Minnesota Studies in the Philosophy of Science, vol 15. Minneapolis: University of Minnesota Press. 1991.
75. D. Gillies. Artificial Intelligence and Scientific Method. Oxford University Press. 1996.
76. A. Ginsberg. ‘Theory Revision via prior operationalization’. In Proceedings of the Seventh Conference of the AAAI. 1988.
77. D. Gorlée. ‘!Eureka! La traducción interlinguística como descubrimiento pragmático-abductivo (abstract)’, in M. Rayo etal. (eds.) VIth International Congress of the International Association for Semiotic Studies: Semiotics Bridging Nature and Culture. Editorial Solidaridad, México, p. 230. 1997.
78. [Gro95] W. Groeneveld. Logical Investigations into Dynamic Semantics. PhD Dissertation, Institute for Logic, Language and Information, University of Amsterdam, 1995. (ILLC Dissertation Series 1995–18).
79. G. Gutting. ‘The Logic of Invention’, In T. Nickles (ed) Scientific Discovery, Logic and Rationality, 221–234. D. Reidel Publishing Company. 1980.
80. S. Haack. Philosophy of Logics. Cambridge University Press. New York. 1978. Blackwell, Oxford UK and Cambridge, Mass. 1993.
81. S. Haack. Evidence and Inquiry. Towards Reconstruction in Epistemology. Blackwell, Oxford UK and Cambridge, Mass. 1993.
82. N.R. Hanson. Patterns of Scientific Discovery. Cambridge at The University Press. 1961.
83. G. Harman. ‘The Inference to the Best Explanation’. Philosophical Review. 74 88-95 (1965).
84. G. Harman. Change in View: Principles of Reasoning. Cambridge, Mass. MIT Press, 1986.
85. I. Heim ‘On the Projection Problem for Presuppositions’, in Proceedings of the Second West Coast Conference on Formal Linguistics, WCCFL, volume 2: pp.114–26. 1983.
86. D. H. Helman (ed) Analogical Reasoning: Perspectives of Artificial Intelligence, Cognitive Science and Philosophy. Dordrecht, Netherlands: Reidel, 1988.
87. C. Hempel. ‘A purely syntactical definition of confirmation’, Journal of Symbolic Logic 6 (4):122–143. 1943.
88. [Hem45] C. Hempel. ‘Studies in the logic of confirmation’, Mind 54 (213): 1–26 (Part I); 54 (214): 97–121 (Part II). 1945.
89. C. Hempel. ‘Aspects of Scientific Explanation’, in C. Hempel Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. The Free Press, New York. 1965.
90. C. Hempel and P. Oppenheim. ‘Studies in the logic of explanation’, Philosophy of Science 15:135–175. 1948.
91. J. Hintikka. ‘Two Papers on Symbolic Logic: Form and Quantification Theory and Reductions in the Theory of Types’, Acta Philosophica Fennica, Fasc VIII, 1955.
92. J. Hintikka and U. Remes. The Method of Analysis: Its Geometrical Origin and Its General Significance. D. Reidel Publishing Company. Dordrecht, Holland. 1974.
93. J. Hintikka and U. Remes. ‘Ancient Geometrical Analysis and Modern Logic’. In R.S. Cohen (ed), Essays in Memory of Imre Lakatos, pp. 253–276. D. Reidel Publishing Company. Dordrecht Holland. 1976.
94. C.R. Hitchcock. ‘Discussion: Salmon on Explanatory Relevance’, Philosophy of Science, pp. 304–320, 62 (1995).
95. [HSAM90] J.R. Hobbs, M. Stickel, D. Appelt, and P. Martin. ‘Interpretation as Abduction’. SRI International, Technical Note 499. Artificial Intelligence Center, Computing and Engineering Sciences Division, Menlo Park, CA. 1990.
96. D.R. Hofstadter. Gödel, Escher, Bach: An Eternal Golden Braid. 1st Vintage Books ed. New York: Vintage Books. 1979.
97. [HHN86] J. Holland, K. Holyoak, R. Nisbett, R., and P. Thagard, Induction: Processes of Inference, Learning, and Discovery. Cambridge, MA:MIT Press/Bradford Books. 1986.
98. C. Hookway. Peirce. Routledge, London 1992.
99. P.N. Johnson Laird. Mental Models. Cambridge, Mass. Harvard University Press. 1983.
100. J.R. Josephson. Abductive Inference. Cambridge University Press. 1994.
101. A. Kakas and P. Mancarella. ‘Knowledge Assimilation and Abduction’. In Proceedings of the European Conference on Artificial Intelligence, ECAI’90. International Workshop on Truth Maintenance. Springer–Verlag Lecture Notes in Computer Science. Stockholm. 1990.
102. A.C. Kakas, R.A.Kowalski, F. Toni. ‘Abductive Logic Programming’, Journal of Logic and Computation 2(6): pp. 719-770. 1995.
103. [Kal95] M. Kalsbeek. Meta Logics for Logic Programming. PhD Dissertation, Institute for Logic, Language and Information, University of Amsterdam, 1995. (ILLC Dissertation Series 1995–13).
104. [Kan93] M. Kanazawa. ‘Completeness and Decidability of the Mixed Style of Inference with Composition’. Center for the Study of Language and Information (CSLI). Technical Report CSLI-93-181. Stanford University. Stanford, CA. 1993.
105. T. Kapitan. ‘In What Way is Abductive Inference Creative?’. Transactions of the Charles S. Peirce Society 26/4:499–512. 1990.
106. K. Kelly. ‘Effective Epistemology, Psychology, and Artificial Intelligence’. In W. Sieg (ed) Acting and Reflecting. The Interdisciplinary Turn in Philosophy, pp. 115–126. Synthese Library 211. Kluwer Academic Publishers. Dordrecht. 1989.
107. K. Kelly. The Logic of Reliable Inquiry (Logic and Computation in Philosophy). Oxford University Press. 1997.
108. K. Konolige. ‘A General Theory of Abduction’. In: Automated Abduction, Working Notes, pp. 62–66. Spring Symposium Series of the AAA. Stanford University. 1990.
109. K. Konolige. ‘Abductive Theories in Artificial Intelligence’. In G. Brewka (ed), Principles of Knowledge Representation. Center for the Study of Language and Information (CSLI). Stanford University. Stanford, CA. 1996.
110. R.A. Kowalski. Logic for problem solving. Elsevier, New York, 1979.
111. R.A. Kowalski. ‘A Metalogic Programming Approach to multiagent knowledge and belief’, in V. Lifschitz (ed), Artificial Intelligence and Mathematical Theory of Computation, pp. 231–246. Academic Press, 1991.
112. S. Kraus, D. Lehmann, M. Magidor. ‘Nonmonotonic Reasoning, Preferential Models and Cumulative Logics’. Artificial Intelligence, 44: 167–207. 1990.
113. G. Kruijff. The Unbearable Demise of Surprise. Reflections on Abduction in Artificial Intelligence and Peirce’s Philosophy. Master Thesis. University of Twente. Enschede, The Netherlands. August, 1995.
114. T. Kuhn. The Structure of Scientific Revolutions 2nd ed. Chicago: University of Chicago Press, 1970.
115. T.A.F. Kuipers (editor). What is Closer-to-the-Truth?, Rodopi, Amsterdam. 1987.
116. T. Kuipers. “Abduction Aiming at Empirical Progress or Even Truth Approximation Leading to a Challenge for Computational Modelling", in Foundations of Science 4: 307–323. 1999.
117. T. Kuipers. From Instrumentalism to Constructive Realism. On some Relations between Confirmation, Empirical Progress and Truth Approximation. Synthese Library 287, Kluwer AP, Dordrecht. The Netherlands. 2000.
118. T. Kuipers. Structures in Science. Heuristic Patterns Based on Cognitive Structures. Synthese Library 301, Kluwer AP, Dordrecht. The Netherlands. 2001.
119. [Kur95] N. Kurtonina. Frames and Labels. A Modal Analysis of Categorial inference. PhD Dissertation, Institute for Logic, Language and Information. University of Amsterdam, 1995. (ILLC Dissertation Series 1995–8).
120. I. Lakatos. Proofs and Refutations. The Logic of Mathematical Discovery. Cambridge University Press. 1976.
121. L. Laudan. Progress and its Problems. Berkeley, University of California Press. 1977.
122. L. Laudan. ‘Why Was the Logic of Discovery Abandoned?’, In T. Nickles (ed) Scientific Discovery, Logic and Rationality, pp. 173–183. D. Reidel Publishing Company. 1980.
123. M. van Lambalgen. ‘Natural Deduction for Generalized Quantifiers’. In Jaap van der Does and Jan van Eijck (eds), Quantifiers, Logic, and Language, vol 54 of Lecture Notes, pp 225–236. Center for the Study of Language and Information (CSLI). Stanford, CA. 1996.
124. P.S. Laplace. ‘Memoires’. In Oeuvres complétes de Laplace, vol. 13–14. Publiéees sous les auspices de l’Académie des sciences, par MM. les secrétaires perpétuels. Paris, Gauthier-Villars, 1878-1912.
125. [LSB87] P. Langley and H. Simon, G. Bradshaw, and J. Zytkow. Scientific Discovery. Cambridge, MA:MIT Press/Bradford Books. 1987.
126. H. J. Levesque. ‘A knowledge-level accout of abduction’, in Proceedings of the eleventh International Joint Confererence on Artificial Intelligence, pp. 1061– 1067. 1989.
127. I. Levi. The Fixation of Belief and its Undoing. Cambridge University Press. 1991.
128. J.W. Lloyd. Foundations of Logic Programming. Springer–Verlag, Berlin, 2nd. edition. 1987.
129. J. Lobo and C. Uzcategui. ‘Abductive Change Operators’, Fundamenta Informaticae, vol. 27, pp. 385–411. 1996.
130. L. Magnani. Abduction, Reason, and Science: Processes of Discovery and Explanation. Kluwer-Plenum, New York. 2001.
131. D. Makinson. ‘General Patterns in Nonmonotonic Reasoning’, in D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds), Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3, Nonmonoptonic reasoning and uncertain reasoning, chapter 2.2. Clarendon Press, Oxford Science Publications. 1994.
132. M.C. Mayer and F. Pirri. ‘First order abduction via tableau and sequent calculi’, in Bulletin of the IGPL, vol. 1, pp.99–117. 1993.
133. J. Meheus and T. Nickles. ‘The methodological study of discovery and creativity — Some background’, Foundations of Science 4(3): pp. 231–235. 1999.
134. J. Meheus. ‘Emprirical Progress and Ampliative Adaptive Logics’. In R. Festa, A. Aliseda and J. Peijnenburg (eds). Confirmation, Empirical Progress, and Truth Approximation (Poznan Studies in the Philosophy of the Sciences and the Humanities, vol. 83), pp. 167–191. Amsterdam/Atlanta, GA: Rodopi. 2005.
135. [Mey95] W.P. Meyer Viol Instantial Logic. An Investigation into Reasoning with Instances. Ph.D Dissertation, Institute for Logic, Language and Information, University of Amsterdam, 1995. (ILLC Dissertation Series 1995–11).
136. J. McCarthy. ‘Circumscription: A form of non-monotonic reasoning’, Artificial Intelligence 13, pp. 27–39. 1980.
137. E. Mendelson. Introduction to Mathematical Logic. New York, Van Nostrand. 1964.
138. R. Michalski. ‘Inferential Theory of Learning: Developing Foundations for Multistrategy Learning’ in Machine Learning: A Multistrategy Approach, Morgan Kaufman Publishers. 1994.
139. [Mill 58] J.S. Mill. A System of Logic. (New York, Harper & brothers, 1858). Reprinted in The Collected Works of John Stuart Mill, J.M Robson (ed), Routledge and Kegan Paul, London. 1958.
140. G.E. Mints. ‘Several formal systems of the logic programming’, Computers and Artificial Intelligence, 9:19–41. 1990.
141. A. Musgrave. ‘Deductive Heuristics’, in K. Gavroglu etal. (eds). Imre Lakatos and Theories of Scientific Change, pp. 15–32. Kluwer Academic Publishers. 1989.
142. E. Nagel. The Structure of Science. Problems in the Logic of Scientific Explanation, 2nd edition. Hackett Publishing Company, Indianapolis, Cambridge. 1979.
143. A. Nepomuceno. ‘Tablas semánticas y metalógica (El caso de la lógica de segundo orden)’, Crítica, vol. XXXI, No. 93, pp. 21-47. 1999.
144. A. Nepomuceno. ‘Scientific Explanation and Modified Semantic Tableaux’. In L. Magnani, N. J. Nersessian, and C. Pizzi (eds) Logical and Computational Aspects of Model-Based Reasoning, pp. 181–198. Kluwer Applied Logic Series. Kluwer Academic Publishers. Dordrecht, The Netherlands. 2002.
145. T. Nickles. ‘Introductory Essay: Scientific Discovery and the Future of Philosophy of Science’. In T. Nickles (ed) Scientific Discovery, Logic and Rationality, pp. 1–59. D. Reidel Publishing Company. 1980.
146. I. Niemelä. ‘Implementing Circumpscription using a Tableau Method’, in W. Wahlster (ed) Proceedings of the 12th European Conference on Artificial Intelligence, ECAI’96, pp 80–84. 1996.
147. I. Niiniluoto and R. Tuomela. Theoretical Concepts and Hypothetico-Deductive Inference. D. Reidel Publishing Company. Dordrecht, Holland. 1973.
148. I. Niiniluoto. ‘Statistical Explanation Reconsidered’, Synthese, 48:437-72. 1981.
149. I. Niiniluoto. ‘Hempel’s Theory of Statistical Explanation’. In: J.H. Fetzer (ed)., Science, Explanation, and Rationality: The Philosophy of Carl G. Hempel. Oxford: Oxford University Press, pp. 138-163. 2000.
150. M. Pagnucco. The Role of Abductive Reasoning within the Process of Belief Revision. PhD Dissertation, Basser Department of Computer Science. University of Sidney. Australia. 1996.
151. F. Paoli. Substructural logics: a primer. Dordrecht: Kluwer Academic Publishers. Dordrecht, The Netherlands. 2002.
152. G. Paul. ‘Approaches to Abductive Reasoning: An Overview’. Artificial Intelligence Review, 7:109–152, 1993.
153. C.S. Peirce. Collected Papers of Charles Sanders Peirce. Volumes 1–6 edited by C. Hartshorne, P. Weiss. Cambridge, Harvard University Press. 1931–1935; and volumes 7–8 edited by A.W. Burks. Cambridge, Harvard University Press. 1958.
154. C.S. Peirce. "The Fixation of Belief", in J. Buchler (ed) Philosophical Writings of Peirce. Dover Publications, Inc. 1955.
155. D. Poole., R.G. Goebel., and Aleliunas. ‘Theorist: a logical reasoning system for default and diagnosis’, in Cercone and McCalla (eds), The Knowledge Fronteer: Essays in the Representation of Knowledge, pp. 331-352. Springer Verlag Lecture Notes in Computer Science 331-352. 1987.
156. Y. Peng and J.A. Reggia. Abductive Inference Models for Diagnostic ProblemSolving. Springer Verlag. Springer Series in Symbolic Computation – Artificial Intelligence. 1990.
157. J. Perry and J. Barwise. Situations and Attitudes. Cambridge, Mass: MIT Press. 1983.
158. G. Polya. How to Solve it. A New Aspect of Mathematical Method. Princeton University Press. 1945.
159. G. Polya. Induction and Analogy in Mathematics. Vol I. Princeton University Press. 1954.
160. G. Polya. Mathematical Discovery. On Understanding, learning, and teaching problem solving. Vol I. John Wiley & Sons, Inc. New York and London. 1962.
161. [Pop34] K. Popper. ‘Scientific Method (1934)’. In D. Miller (ed) A Pocket Popper. Fontana Paperbacks. University Press, Oxford. 1983. This consists of the end of section 1, sections 2 and 3, and chapter II of [Pop59].
162. K. Popper. The Logic of Scientific Discovery. London: Hutchinson. (11th impression, 1979). 1959. (Originally published as Logik der Forschung, Springer. 1934).
163. [Pop60a] K. Popper. ‘The Growth of Scientific Knowledge (1960)’. In D. Miller (ed) A Pocket Popper. Fontana Paperbacks. University Press, Oxford. 1983. This consists of Chapter 10 of [Pop63].
164. [Pop60b] K. Popper. ‘Knowledge Without Authority (1960)’. In D. Miller (ed) A Pocket Popper. Fontana Paperbacks. University Press, Oxford. 1983. This consists of the introduction to [Pop63].
165. K. Popper. Conjectures and Refutations. The Growth of Scientific Knowledge. 5th ed. London and New York. Routledge. 1963.
166. K. Popper. Objective Knowledge: An Evolutionary Approach. Oxford University Press. 1975.
167. K. Popper. Unended Quest: An Intellectual Autobiography. Routledge, London. 1992.
168. H.E. Pople. ‘On the Mechanization of Abductive Logic’. In: Proceedings of the Third International Joint Conference on Artificial Intelligence (IJCAI-73). San Mateo: Morgan Kauffmann, Stanford, CA. pp. 147–152. 1973.
169. W.V. Quine. ‘On What there is’, in From a Logical Point of View, 2nd ed.rev. Cambridge and Harvard University Press. 1961.
170. F. P. Ramsey. ‘General Propositions and Causality’, in R. B. Braithwaite (ed), The Foundations of Mathematics and Other Logical Essays. Routledge and Kegan Paul, pp. 237–257. 2000.
171. H. Reichenbach. Experience and Prediction. Chicago: University of Chicago Press. 1938.
172. F.E. Reilly. Charles Peirce’s Theory of Scientific Method. New York: Fordham University Press, 1970.
173. R. Reiter. ‘A Logic for default reasoning’, Artificial Intelligence 13. 1980.
174. R. Reiter. ‘A theory of diagnosis from first principles’, Artificial Intelligence 32. 1987.
175. N. Rescher. Peirce’s Philosophy of Science. Critical Studies in His Theory of Induction and Scientific Method. University of Notre Dame. 1978.
176. P. Ribenboim. The new book of prime number records. 3rd edition. New York: Springer. 1996.
177. M. de Rijke. ‘Meeting Some Neighbours’, in J. van Eijck and A. Visser (eds) Logic and Information Flow. MIT Press, 1994.
178. A. Roesler. "Perception and Abduction (abstract)", in M. Rayo etal. (eds.) VIth International Congress of the International Association for Semiotic Studies: Semiotics Bridging Nature and Culture. Editorial Solidaridad, México, p. 226. 1997.
179. R.J. Roth. ‘Anderson on Peirce’s Concept of Abduction’. Transactions of the Charles S. Peirce Society 24/1:131–139, 1988.
180. M. Ryan. Ordered Presentation of Theories: Default Reasoning and Belief Revision. PhD Thesis, Department of Computing, Imperial College London, 1992.
181. D-H. Ruben. Explaining Explanation. Routledge. London and New York. 1990.
182. M.R. Sabre. ‘Peirce’s Abductive Argument and the Enthymeme’, Transactions of the Charles S. Peirce Society, 26/3:363–372. 1990.
183. W. Salmon. Statistical Explanation and Statistical Relevance. University of Pittsburgh Press, pp.29-87, 1971.
184. W. Salmon. ‘A Third Dogma of Empiricism’. in Butts and Hintikka (eds)., Basic Problems in Methodology and Linguistics, Reidel, Dordrecht. 1977.
185. W. Salmon Scientific Explanation and the Casual Structure of the World. Princeton: Princeton University Press, 1984.
186. W. Salmon. Four Decades of Scientific Explanation. University of Minnesota Press, 1990.
187. W. Salmon. ‘Scientific Explanation’, in W. Salmon etal (eds)., Introduction to the Philosophy of Science. Prentice Hall, 1992.
188. W. Salmon. Causality without Counterfactuals, Philosophy of Science 61:297-312. 1994.
189. C. Savary. ‘Discovey and its Logic: Popper and the “Friends of Discovery"’. Philosophy of the Social Sciences, Vol. 25., No. 3., 318–344. 1995.
190. P. Schroeder-Heister and K. Dosen (eds.). Substructural logics. Oxford: Clarendon, 1993.
191. D. Scott. ‘On Engendering an Illusion of Understanding, Journal of Philosophy 68, pp. 787–808. 1971.
192. E. Shapiro. ‘Inductive Inference of Theories from Facts’, in J. L. Lassez and G. Plotkin (eds), Computational Logic: Essays in Honor of Alan Robinson.. Cambridge, Mass. MIT, 1991.
193. R. Sharp. ‘Induction, Abduction, and the Evolution of Science’. Transactions of the Charles S. Peirce Society 6/1:17–33. 1970.
194. Y. Shoham. Reasoning about Change. Time and Causation from the standpoint of Artificial Intelligence. The MIT Press, Cambridge, Mass, 1988.
195. J. Shrager and P. Langley (eds). Computational Models of Scientific Discovery and Theory Formation. San Mateo: Morgan Kaufmann. 1990.
196. H. Simon and G. Groen. ‘Ramsey Eliminability and the Testability of Scientific Theories’. In H. Simon, Models of Discovery, pp. 403–421. A Pallas Paperback. Reidel, Holland. 1977. Originally published in British Journal for the Philosophy of Science 24, 357-408. 1973.
197. H. Simon. ‘Does Scientific Discovery Have a Logic?’ In H. Simon, Models of Discovery, pp. 326–337. A Pallas Paperback. Reidel, Holland. 1977. (Originally published in Philosophy of Science 40, pp. 471–480. 1973.)
198. H. Simon. ‘The Structure of Ill-Structured Problems’. In H. Simon, Models of Discovery, pp. 304–325. A Pallas Paperback. Reidel, Holland. 1977. (Originally published in Artificial Intelligence 4, pp. 181–201. 1973).
199. H. Simon. Models of Discovery. A Pallas Paperback. Reidel, Holland. 1977.
200. H. Simon, P. Langley, and G. Bradshaw. ‘Scientific Reasoning as Problem Solving’, Synthese 47 pp. 1–27. 1981.
201. [SUM96] H. Sipma, T. Uribe, and Z. Manna. ‘Deductive Model Checking’. Paper presented at the Fifth CSLI Workshop on Logic, Language, and Computation. Center for the Study of Language and Information (CSLI), Stanford University. June 1996.
202. R.M. Smullyan. First Order Logic. Springer Verlag, 1968.
203. E. Sosa, (ed). Causation and Conditionals. Oxford University Press. 1975.
204. W. Stegmüller. Erklärung, Begründung, Kausalität, second edition, Springer Verlag, Berlin, 1983.
205. M. Stickel. ‘Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction’. Technical Report TR-664. Institute for New Generation Computer Technology (ICOT). 1991.
206. P.C. Suppes. Studies in the methodology and foundations of science. selected papers from 1951 to 1969. D. Reidel. Dordrecht. The Netherlans. 1969.
207. P. Suppes. Foundations of Probability with Applications. Cambridge University Press. 1996.
208. Á. K. Szabó Working Backwards and Proving by Synthesis. In [HR74, pp. 118– 130]. 1974.
209. A.M. Tamminga, ‘Logics of Rejection: Two Systems of Natural Deduction’, in Logique et analyse, 37(146), p. 169. 1994.
210. Yao Hua Tan. Non-Monotonic Reasoning: Logical Architecture and Philosophical Applications. PhD Thesis, University of Amsterdam, 1992.
211. A. Tarski, Logic, semantics, metamathematics: Papers from 1923 to 1938. 2nd. edition. Indianapolis, Indiana: Hackett, 1983.
212. P.R. Thagard. The Unity of Peirce’s Theory of Hypothesis. Transactions of the Charles S. Peirce Society 13/2:112–123. 1977.
213. P.R. Thagard. Computational Philosophy of Science. Cambridge, MIT Press. Bradford Books. 1988.
214. P.R. Thagard. Conceptual Revolutions. Princeton University Press. 1992.
215. P. Thompson. ‘Bolzano’s deducibility and Tarski’s Logical Consequence’, History and Philosophy of Logic 2, 11–20. 1981.
216. A. ten Teije Automated Configuration of Problem Solving Methods in Diagnosis. PhD Thesis, University of Amsterdam, 1997.
217. S. Toulmin. The Uses of Argument. Cambridge University Press, Cambridge, 1958.
218. R.Tuomela. Theoretical Concepts. LEP Col. 10, Springer-Verlag, Vienna. 1973.
219. A.S. Troelstra. Basic Proof Theory. Cambridge University Press. 1996.
220. A. Vázquez and A. Aliseda. ‘Abduction in Semantic Tableaux: Towards An Object-Oriented Programming Implementation’. In J. M. Ahuactzin (ed.) Encuentro Nacional de Computación, Taller de Lógica. Sociedad Mexicana de Ciencia de la Computación. ISBN 968-6254-46-3. Hidalgo, México. September, 1999.
221. H. Visser. Procedures of Discovery. Manuscript. Katholieke Universiteit Brabant. Tilburg. The Netherlands. 1997.
222. M.A. Williams. ‘Explanation and Theory Base Transmutations’, in Proceedings of the European Conference on Artificial Intelligence, ECAI’94, pp. 341–246. 1994.
223. U. Wirth. ‘Abductive inference in semiotics and philosophy of language: Peirce’s and Davidson’s account of interpretation (abstract)’, in M. Rayo etal. (eds.) VIth International Congress of the International Association for Semiotic Studies: Semiotics Bridging Nature and Culture. Editorial Solidaridad, México, p. 232. 1997.
224. G.H. von Wright. The Logic of Preference. Edinburgh, University Press. 1963.