|
 |
|
|
|
|
[170] ———, Some desirable conditions for feasible functions of type 2, Eighth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1993, pp. 320-331. |
|
|
|
|
|
|
|
|
[171] E. Shapiro, Inductive inference of theories from facts, Tech. Report 192, Computer Science Department, Yale University, 1981. |
|
|
|
|
|
|
|
|
[172] ———, Algorithmic program debugging, MIT Press, 1983. |
|
|
|
|
|
|
|
|
[173] A. Sharma, A note on batch and incremental learnability, Journal of Computer and System Sciences (1998), to appear. |
|
|
|
|
|
|
|
|
[174] A. Sharma, F. Stephan, and Y. Ventsov, Generalized notions of mind change complexity, Proceedings of the Tenth Annual Conference on Computational Learning Theory, ACM Press, 1997, pp. 96-108. |
|
|
|
|
|
|
|
|
[175] T. Shinohara, Rich classes inferable from positive data: Length-bounded elementary formal systems, Information and Computation 108 (1994), 175-186. |
|
|
|
|
|
|
|
|
[176] J. Shoenfield, Mathematical logic, Addison-Wesley, 1967. |
|
|
|
|
|
|
|
|
[177] T. Slaman and R. Solovay, When oracles do not help, Proceedings of the Fourth Annual Workshop on Computational Learning Theory, Morgan Kaufmann, 1991, pp. 379-383. |
|
|
|
|
|
|
|
|
[178] C. Smith, The power of pluralism for automatic program synthesis, Journal of the ACM 29 (1982), 1144-1165. |
|
|
|
|
|
|
|
|
[179] C. Smith and M. Velauthapillai, On the inference of programs approximately computing the desired function, Analogical and Inductive Inference, Proceedings of the International Workshop (K. Jantke, ed.), Lecture Notes in Computer Science, vol. 265, Springer-Verlag, 1986, pp. 164-176. |
|
|
|
|
|
|
|
|
[180] ———, On the inference of approximate programs, Theoretical Computer Science 77 (1990), 249-266. |
|
|
|
|
|
|
|
|
[181] R. Smullyan, Theory of formal systems, annals of mathematical studies, no. 47, Princeton, N J, 1961. |
|
|
|
|
|
|
|
|
[182] C. E. Snow and C. A. Ferguson (eds.), Talking to children: Language input and acquisition, Cambridge University Press, Cambridge, 1977. |
|
|
|
|
|
|
|
|
[183] R. Soare, Recursively enumerable sets and degrees, Springer-Verlag, 1987. |
|
|
|
|
|
|
|
|
[184] R. J. Solomonoff, A formal theory of inductive inference, Part I, Information and Control 7 (1964), 1-22. |
|
|
|
|
|
|
|
|
[185] ———, A formal theory of inductive inference, Part II, Information and Control 7 (1964), 224-254. |
|
|
|
|
