Automated Software Engineering

, Volume 8, Issue 2, pp 131–137 | Cite as

Inductive Programming

  • Pierre Flener
  • Derek Partridge


Operating System Artificial Intelligence Inductive Programming 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bishop, C.M. 1995. Neural Networks for Pattern Recognition. Clarendon Press.Google Scholar
  2. 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
  3. Flener, P. 1995. Logic Program Synthesis from Incomplete Information. Kluwer Academic Publishers.Google Scholar
  4. Flener, P. 1997. Inductive logic program synthesis with Dialogs. In S. Muggleton (Ed.), Proc. of ILP'96, pp. 175–198. LNAI 1314, Springer–Verlag.Google Scholar
  5. 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.Google Scholar
  6. 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
  7. Jensen, F. 1996. An Introduction to Bayesian Networks. UCL Press.Google Scholar
  8. 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
  9. Michie, D. 1991. Methodologies from machine learning in data analysis and software. The Computer Journal, 34(6):559–565.Google Scholar
  10. Minton, S. 1996. Automatically configuring constraint satisfaction programs: A case study. Constraints, 1(1–2):7–43.Google Scholar
  11. Partridge, D. 2000. Non–programmed computation. Comm. of the ACM 43(11es):293–302.Google Scholar
  12. Partridge, D. 1997. The case for inductive programming. IEEE Computer, 30(1):36–41.Google Scholar
  13. Partridge, D. and Galton, A. 1995. The specification of 'specification.' Minds and Machines, 5(2):243–255.Google Scholar
  14. Pedrycz, W. and Peters, J.F. (Eds.), 1998. Computational Intelligence in Software Engineering. World Scientific.Google Scholar
  15. Tsang, E.P.K. 1993. Foundations of Constraint Satisfaction. Academic Press.Google Scholar

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Pierre Flener
    • 1
  • Derek Partridge
    • 2
  1. 1.Department of Information ScienceUppsala University, BoxUppsalaSweden
  2. 2.Department of Computer ScienceUniversity of ExeterExeterUnited Kingdom

Personalised recommendations