Skip to main content
Log in

Inductive Programming

  • Published:
Automated Software Engineering Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Michie, D. 1991. Methodologies from machine learning in data analysis and software. The Computer Journal, 34(6):559–565.

    Google Scholar 

  • Minton, S. 1996. Automatically configuring constraint satisfaction programs: A case study. Constraints, 1(1–2):7–43.

    Google Scholar 

  • Partridge, D. 2000. Non–programmed computation. Comm. of the ACM 43(11es):293–302.

    Google Scholar 

  • Partridge, D. 1997. The case for inductive programming. IEEE Computer, 30(1):36–41.

    Google Scholar 

  • Partridge, D. and Galton, A. 1995. The specification of 'specification.' Minds and Machines, 5(2):243–255.

    Google Scholar 

  • 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.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008797606116

Keywords

Navigation