References

• 1. 1)
     • J.J. Hopfield . Neural networks and physical systems with emergent collective properties. Proc. Nat. Acad. Sci. , 2554 - 2558
  2. 2)
     • Cottrell, G.W., Munro, P., Zipser, D.: `Learning internal representations from gray-scale images: an example of extensional programming', Proc. Ninth Annual Conf. of the Cognitive Science Society, 1987, Seattle, p. 461–473.
  3. 3)
     • J.R. Quinlan . Learning logical definitions from relations. Mach. Learn. , 239 - 266
  4. 4)
     • K.J. Lieberherr , P. Bergstein , I. Silva-Lepe . From objects to classes: algorithms for optimal object-oriented design. Softw. Eng. J. , 4 , 205 - 228
  5. 5)
     • R.B. Banerji , A.W. Biermann , G. Guiho , Y. Kodratoff . (1984) Some insights into automatic progamming using a pattern recognition viewpoint, Automatic program construction techniques.
  6. 6)
     • J.R. Quinlan . Induction of decision trees. Mach. Learn. , 81 - 106
  7. 7)
     • M.A. Jackson . (1975) , Principles of program design.
  8. 8)
     • I. Aleksander , H. Morton . (1990) , An introduction to neural computing.
  9. 9)
     • A. Goldberg , D. Robson . (1983) , Smalltalk-80: the language and its implementation.
  10. 10)
      • M.K. Kamani , R.S. Ramakrishna . Predicate-formation for synthesising LISP code. IEEE Trans. , 1 , 530 - 533
  11. 11)
      • J.G. Wolff . Computing, cognition and information compression. Al Commun. , 2 , 107 - 127
  12. 12)
      • D.E. Eckhardt , A.K. Caglayan , J.C. Knight , L.D. Lee , D.F. McAllister , M.A. Vouk , J.P.J. Kelly . An experimental evaluation of software redundancy as a strategy for improving reliability. IEEE Trans. , 7 , 692 - 702
  13. 13)
      • J.G. Wolff , Y. Levy , I.M. Schlesinger , M.D.S. Braine . (1988) Learning syntax and meanings through optimization and distributional analysis, Categories and processes in language acquisition.
  14. 14)
      • Z. Xu , G. Holmes , W.J. Rogers . Automatic generation of frame-based expert systems. New Zealand J. Comput. , 2 , 44 - 51
  15. 15)
      • Hekmatpour, S., Ince, D.: `Rapid software prototyping', 86/4, Open University Technical Report, 1986.
  16. 16)
      • Y. Zhang , M.E. Orlowska . An improvement on the automatic tool for relational database design. Inform. Syst. , 6 , 647 - 651
  17. 17)
      • WOLFF, J.G.: ‘Computing as compression: SP20’.
  18. 18)
      • A.W. Biermann , A.W. Biermann , G. Guiho , Y. Kodratoff . (1984) Dealing with search, Automatic program construction techniques.
  19. 19)
      • G.E. Hinton , T.J. Sejnowski , D.E. Rumelhart , J.L. McLelland . (1986) Learning and relearning in Boltzmann machines, Parallel distributed processing.
  20. 20)
      • J.G. Wolff . Simplicity and power: some unifying ideas in computing. Comput. J. , 6 , 518 - 534
  21. 21)
      • Wolff, J.G.: `On the integration of learning, logical deduction and probabilistic inductive inference', Proc. First Int. Workshop on Inductive Logic Programming, 1991, Vienna do Costello Portugal, p. 177–191.
  22. 22)
      • J.G. Wolff . (1991) , Towards a theory of cognition and computing.
  23. 23)
      • C.M. Cook , A. Rosenfeld , J.C. Simon . (1976) Some experiments in grammatical inference, Computer oriented learning processes.
  24. 24)
      • J. Shrager , P. Langley . (1990) , Computational models of scientific discovery.
  25. 25)
      • J.G. Wolff , A.J. Chipperfield , T.R. Addis , R.M. Muir . (1990) Unifying computing: inductive learning and logic, Research and development in expert systems VII.
  26. 26)
      • F. Nishida , S. Takamatsu , Y. Fujita , T. Tani . Semi-automatic program construction from specifications using library modules. IEEE Trans. , 9 , 853 - 871
  27. 27)
      • A.W. Biermann , G. Guiho , Y. Kodratoff . (1984) , Automatic program construction techniques.
  28. 28)
      • E.B. Kinber , A.N. Brazma . Models of inductive synthesis. J. Logic Program. , 221 - 233
  29. 29)
      • D.S. Bowers . (1988) , From data to database.
  30. 30)
      • D.R. Smith , A.W. Biermann , G. Guiho , Y. Kodratoff . (1984) The synthesis of LISP programs from examples: a survey, Automatic program construction techniques.
  31. 31)
      • P. Langley , H.A. Simon , G.L. Bradshaw , L. Bolc . (1987) Heuristics for empirical discovery, Computational models of learning.
  32. 32)
      • G.M. Birtwistle , O.-J. Dahl , B. Myrhaug , K. Nygaard . (1973) , Simula begin.
  33. 33)
      • M.A. Mahowald , G. Mead . The silicon retina. Scient. Amer. , 5 , 40 - 47
  34. 34)
      • D.R. Smith . KIDS: a semiautomatic program development system. IEEE Trans. , 9 , 1024 - 1043
  35. 35)
      • T.H. Phan , I.H. Witten . Accelerating search in function induction. J. Exp. Theor. Artif. Intell. , 131 - 150
  36. 36)
      • M.C. Moed , G.N. Saridis . A Boltzmann machine for the organization of intelligent machines. IEEE Trans. , 5 , 1094 - 1102
  37. 37)
      • T.A. Sudkamp . (1988) , Languages and machines, an introduction to the theory of computer science.
  38. 38)
      • A.R. Clapham , T.G. Tcjtin , E.F. Warburg . (1968) , Excursion flora of the British Isles.