Inductive functional programming using incremental program transformation

Artificial Intelligence 74 (1):55-81 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)00042-y

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

AI and the Origins of the Functional Programming Language Style.Mark Priestley - 2017 - Minds and Machines 27 (3):449-472.
Functional Programming and Erratic Non-determinism.Corin Steven Pitcher, Chih-hao Ong & Lincoln A. Wallen - 2001
Multiple Predicate Learning in Two Inductive Logic Programming Settings.Luc de Raedt & Nada Lavrac - 1996 - Logic Journal of the IGPL 4 (2):227-254.
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993.Yves Deville - 1994 - Springer.
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991.Timothy P. Clement & Kung-Kiu Lau - 1992 - Springer.
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings.Aart Middeldorp & Taisuke Sato - 1999 - Springer Verlag.
If inductive logic programming leads, will data mining follow?Randy Goebel - forthcoming - Proceedings of the Japanese Society for Artificial Intelligence, Foundations of Ai Special Interest Group Workshop on Inductive Logic Programming.
Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings.Herbert Kuchen & Kazunori Ueda - 2001 - Springer Verlag.
Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings.Yukiyoshi Kameyama & Peter J. Stuckey - 2004 - Springer Verlag.
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings.Zhenjiang Hu & M. Rodríguez Artalejo - 2002 - Springer Verlag.
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings.Laurent Fribourg & Franco Turini - 1994 - Springer Verlag.
Foundations of Logic and Functional Programming Workshop: Trento, Italy, December 15-19, 1986 : Proceedings.Mauro Boscarol, Luigia Carlucci Aiello & Giorgio Levi - 1988 - Springer.
Program Verification.Robert S. Boyer & J. Strother Moore - unknown
Programming Primes : A Paradigmatic Program and Its Incarnations in the Age of Structured Programming.Maarten Bullynck - 2015 - History and Philosophy of Logic 36 (3):229-241.
Concepts of an architectonic approach to transformation morphology.C. D. N. Barel - 1993 - Acta Biotheoretica 41 (4):345-381.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,711,102)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Depth-first iterative-deepening.Richard E. Korf - 1985 - Artificial Intelligence 27 (1):97-109.

Add more references