E. Amir and S. Mcilraith, Partition-based logical reasoning for first-order and propositional theories, Artificial Intelligence, vol.162, issue.1-2, p.4988, 2003.
DOI : 10.1016/j.artint.2004.11.004

. Cheeseman, Where the really hard problems are, proceedings of IJCAI91, pp.331-337, 1991.

. Devroye, A probabilistic Theory of Pattern Recognition, 1997.
DOI : 10.1007/978-1-4612-0711-5

J. Hamkins, Infinite time turing machines. Minds and Machines (special issue on hypercomputation, pp.521-539, 2002.

. Khardon, R. Roth-]-khardon, and D. Roth, Learning to reason, Journal of the ACM, vol.44, issue.5, pp.697-725, 1997.
DOI : 10.1145/265910.265918

J. Kleijnen, Sensitivity analysis of simulation experiments: regression analysis and statistical design, Mathematics and Computers in Simulation, vol.34, pp.3-4297, 1992.

C. List, Craig's theorem and the empirical underdetermination thesis reassessed, pp.28-39, 1999.

J. Norton, Must evidence under-determine theory ? In First Notre Dame-Bielefeld Interdisciplinary Conference on Science and Values, Zentrum fr Interdisziplinre Forschung, 2003.

E. Y. Shapiro, Inductive inference of theories from facts, Research Report, vol.192, 1981.

J. Shook, Dewey and quine on the logic of what there is, Dewey's Logical Theory: New Studies and Interpretations, 2002.

A. Tarski, On essential undecidability, Journal of Symbolic Logic, vol.14, pp.75-76, 1949.

L. Valiant, A theory of the learnable, Communications of the ACM, vol.27, issue.11, pp.1134-1142, 1984.
DOI : 10.1145/1968.1972

V. Vapnik and A. Chervonenkis, Theory of Pattern Recognition, Nauka, Moskow, 1974.