Preview
Unable to display preview. Download preview PDF.
References
MANNA Z., WALDINGER R.: Synthesis: Dreams → Programs. Technical Note 156. Menlo Park. SRI International 1977, 96pp.
MOLNÁR Ľ, NÁVRAT P., VOJTEK V.: A New Algorithm for Heuristic Search Which Uses Hints. In: Proc. Int. Symposium System Analysis and Simulation, Part I, A. Sydow (ed.), Berlin, Akademie Verlag 1985, pp. 177–181.
MOLNÁR Ľ., NÁVRAT P.: System of Automatic Synthesis of Programs with Abstract Data Types. In: Tagungsbuch 30. Int. Wiss. Kolloquium TH Ilmenau, Vortragsreihe Informatik, 1985, pp. 155–158.
MOLNÁR Ľ., NÁVRAT P., VOJTEK V.: Heuristic Search with Global and Local Heuristics. Computers and Artificial Intelligence, Vol.5, 1986, No.5, pp. 417–427.
MOLNÁR Ľ., NÁVRAT P., VOJTEK V.: Automatic Program Synthesis with Abstract Data Types. Computers and Artificial Intelligence, Vol.6, 1987, No.1, pp. 51–58.
SUSSMAN G.J.: A Computational Model of Skill Acquisition. Ph.D. Thesis. M.I.T. Cambridge 1973. 199 pp.
VOJTEK V.: Contribution to the Automatic Program Synthesis. Ph.D. Thesis, Slovak Technical University, Bratislava 1985. 99 pp.
VOJTEK V., MOLNÁR Ľ., NÁVRAT P.: Automatic Program Synthesis Using Heuristics and Interaction. Computers and Artificial Intelligence, Vol. 5, 1986, No. 5, pp. 429–442.
WARREN D.H.D.: WARPLAN: A System for Generating Plans. Res. Report 76, Edinburgh, University of Edinburgh 1974, 23 pp.
HRIVÍK P.: Automatic regressive planning of robot's activity. Ph.D.Thesis, Slovak Academy of Sciences, Bratislava 1983. 101 pp.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Návrat, P., Molnár, Ľ., Vojtek, V. (1989). Using automatic program synthesizer as a problem solver: Some interesting experiments. In: Davenport, J.H. (eds) Eurocal '87. EUROCAL 1987. Lecture Notes in Computer Science, vol 378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51517-8_146
Download citation
DOI: https://doi.org/10.1007/3-540-51517-8_146
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51517-3
Online ISBN: 978-3-540-48207-9
eBook Packages: Springer Book Archive