Inductive inference from positive data is powerful

Proceedings of the 3rd Annual Workshop on Computational Learning Theory, COLT 1990

Volumn , Issue , 1990, Pages 97-110

  Shinohara, Takeshi ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85029509622     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/b978-1-55860-146-8.50010-2     Document Type: Conference Paper

References (16)

1. Angluin, D.: Finding common patterns to a set of strings, Proc. 11th Annual ACM Symp. Theory of Computing , 130 – 141, 1979.
2. D. Angluin Inductive inference of formal languages from positive data Inform. Contr. 45 1980 117 135
3. D. Angluin C.H. Smith Inductive inference: Theory and methods Computing Surveys 15 1983 237 269
4. S. Arikawa Elementary formal systems and formal languages - simple formal systems Memoirs of Fac. Sci., Kyushu Univ. Ser. A, Math. 24 1970 47 75
5. Arikawa, S., Shinohara, T. and Yamamoto, A.: Elementary formal system as a unifying framework for language learning, Proc. 2nd Workshop Comput. Learning Theory , 312 – 327, 1989.
6. Arimura, H.: Completeness of depth-bounded resolution in logic programming, Proc. 6th Conf, Japan Soc. Software Sci. Tech. , 61 – 64, 1989.
7. E.M. Gold Language Identification in the Limit Inform. & Contr. 10 1967 447 474
8. J.W. Lloyd Foundations of Logic Programming 1984 Springer - Verlag
9. Shapiro, E.Y.: Inductive Inference of Theories From Facts , YALEU / DCS / TR-192, 1981.
10. E.Y. Shapiro Alternation and the computational complexity of logic programs J. Logic Program. 1 1984 19 33
11. T. Shinohara Polynomial time inference of extended regular pattern languages LNCS 147 1983 115 127
12. T. Shinohara Inferring unions of two pattern languages Bull. Inf. Cybern. 20 1983 83 88
13. T. Shinohara Inductive inference of formal systems from positive data Bull. Inf. Cybern. 22 1986 9 18
14. R.M. Smullyan Theory of Formal Systems 1961 Princeton Univ. Press
15. Wright, K.: Identification of unions of languages drawn from an identifiable class, Proc. 2nd Workshop Comput. Learning Theory , 328 – 333, 1989.
16. Yamamoto, A.: Elementary formal system as a logic programming language, Proc. Logic Program. Conf. 1989 , ICOT, 123 – 132, 1989.