References
Bishop, C.M. 1995. Neural Networks for Pattern Recognition. Clarendon Press.
Ellman, T., Keane, J., Banerjee, A., and Armhold, G. 1998. A transformation system for interactive reformulation of design optimization strategies. Research in Engineering Design, 10(1):30–61.
Flener, P. 1995. Logic Program Synthesis from Incomplete Information. Kluwer Academic Publishers.
Flener, P. 1997. Inductive logic program synthesis with Dialogs. In S. Muggleton (Ed.), Proc. of ILP'96, pp. 175–198. LNAI 1314, Springer–Verlag.
Flener, P. and Popelínský, L. 1994. On the use of inductive reasoning in program synthesis: Prejudice and prospects. In L. Fribourg and F. Turini (Eds.), Proc. of LOPSTR/META'94, pp. 69–87. LNCS 883, Springer–Verlag.
Flener, P. and Yilmaz, S. 1999. Inductive synthesis of recursive logic programs: Achievements and prospects. Journal of Logic Programming, 41(2–3):141–195.
Jensen, F. 1996. An Introduction to Bayesian Networks. UCL Press.
Le Charlier, B. and Flener, P. 1998. Specifications are necessarily informal, or: Some more myths of formal methods. Journal of Systems and Software, 40(3):275–296.
Michie, D. 1991. Methodologies from machine learning in data analysis and software. The Computer Journal, 34(6):559–565.
Minton, S. 1996. Automatically configuring constraint satisfaction programs: A case study. Constraints, 1(1–2):7–43.
Partridge, D. 2000. Non–programmed computation. Comm. of the ACM 43(11es):293–302.
Partridge, D. 1997. The case for inductive programming. IEEE Computer, 30(1):36–41.
Partridge, D. and Galton, A. 1995. The specification of 'specification.' Minds and Machines, 5(2):243–255.
Pedrycz, W. and Peters, J.F. (Eds.), 1998. Computational Intelligence in Software Engineering. World Scientific.
Tsang, E.P.K. 1993. Foundations of Constraint Satisfaction. Academic Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Flener, P., Partridge, D. Inductive Programming. Automated Software Engineering 8, 131–137 (2001). https://doi.org/10.1023/A:1008797606116
Issue Date:
DOI: https://doi.org/10.1023/A:1008797606116