An experiment in knowledge-based automatic programming

Artificial Intelligence 12 (2):73-119 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(79)90013-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

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

Automatic Generation of Cognitive Theories using Genetic Programming.Enrique Frias-Martinez & Fernand Gobet - 2007 - Minds and Machines 17 (3):287-309.
On Evolving of Recursive Functions using λ-abstraction and Higher-order Functions.Martin Dostál - 2005 - Logic Journal of the IGPL 13 (5):515-524.
What is answer set programming?Vladimir Lifschitz - unknown
Perlis A. J. and Samelson K.. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April 1959, edited by Goodman Richard, Pergamon Press, New York-Oxford-London-Paris 1960, pp. 268–290. , pp. 8–22.). [REVIEW]Karel Culik - 1972 - Journal of Symbolic Logic 37 (3):620-622.
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings.Harald Ganzinger, David McAllester & Andrei Voronkov - 1999 - Springer.
System description: The tableaux work bench.Rajeev Gore - manuscript
Automatic programming of behavior-based robots using reinforcement learning.Sridhar Mahadevan & Jonathan Connell - 1992 - Artificial Intelligence 55 (2-3):311-365.
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I.Antonis C. Kakas & Robert Kowalski - 2002 - Springer.
Programming or Problem Solving with Computers?Maciej M. Sysło - 2019 - Constructivist Foundations 14 (3):373-376.
Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings.Frank Pfenning - 1994 - Springer Verlag.
The Uses of Genetic Programming in Social Simulation: A Review of Five Books. [REVIEW]Bruce Edmonds - unknown
Towards Fuzzy Linguistic Logic Programming.Clemente Rubio-Manzano & Pascual Julian-Iranzo - 2014 - Archives for the Philosophy and History of Soft Computing 2014 (2).
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings.Michel Parigot & Andrei Voronkov - 2000 - Springer.
Automatic Constructive Appraisal as a Candidate Cause of Emotion.Agnes Moors - 2010 - Emotion Review 2 (2):139-156.
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings.Moshe Vardi & Andrei Voronkov - 2003 - Springer Verlag.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,809,554)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Learning to Program in LISP1.John R. Anderson, Robert Farrell & Ron Sauers - 1984 - Cognitive Science 8 (2):87-129.
Automated design of specialized representations.Jeffrey Van Baalen - 1992 - Artificial Intelligence 54 (1-2):121-198.

Add more citations

References found in this work

The ubiquity of discovery.Douglas B. Lenat - 1977 - Artificial Intelligence 9 (3):257-285.
On program synthesis knowledge.Cordell Green & David Barstow - 1978 - Artificial Intelligence 10 (3):241-279.

Add more references