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
Where the really hard problems are, proceedings of IJCAI91, pp.331-337, 1991. ,
A probabilistic Theory of Pattern Recognition, 1997. ,
DOI : 10.1007/978-1-4612-0711-5
Infinite time turing machines. Minds and Machines (special issue on hypercomputation, pp.521-539, 2002. ,
Learning to reason, Journal of the ACM, vol.44, issue.5, pp.697-725, 1997. ,
DOI : 10.1145/265910.265918
Sensitivity analysis of simulation experiments: regression analysis and statistical design, Mathematics and Computers in Simulation, vol.34, pp.3-4297, 1992. ,
Craig's theorem and the empirical underdetermination thesis reassessed, pp.28-39, 1999. ,
Must evidence under-determine theory ? In First Notre Dame-Bielefeld Interdisciplinary Conference on Science and Values, Zentrum fr Interdisziplinre Forschung, 2003. ,
Inductive inference of theories from facts, Research Report, vol.192, 1981. ,
Dewey and quine on the logic of what there is, Dewey's Logical Theory: New Studies and Interpretations, 2002. ,
On essential undecidability, Journal of Symbolic Logic, vol.14, pp.75-76, 1949. ,
A theory of the learnable, Communications of the ACM, vol.27, issue.11, pp.1134-1142, 1984. ,
DOI : 10.1145/1968.1972
Theory of Pattern Recognition, Nauka, Moskow, 1974. ,