Preview
Unable to display preview. Download preview PDF.
References
McDermott,D.V. and Sussman,G.J., The CONNIVER Reference Manual, AI Memo 259a, M.I.T., 1972.
Sussman,G.J. and McDermott,D.V., From PLANNER to CONNIVER-A genetic approach, Proc. FJCC, 1972.
Hayes,P.J., Computation and deduction, Proc. MFCS'73,Czech, 1973.
Bobrow,D.G. and Wegbreit,B., A model for control structures for Artificial Intelligence programming languages, Proc. IJCAI, 1973.
Kowalski,R., Logic for problem solving, DCL Memo 75, University of Edinburgh, 1974.
Kleene,S.C., Introduction to metamathematics, Van Nostrand, 1952.
Levin,M., Mathematical logic for computer scientists, MAC TR-131, M.I.T., 1974.
Hewitt,C., Description and theoretical analysis (using schemata) of PLANNER: a language for proving theorems and manipulating models in a robot, AI Memo 251, M.I.T., 1972.
McCarthy, J. and Hayes, P.J., Some philosophical problems from standpoint of Artificial Intelligence, Machine Intelligence 4, American Elsevier Publishing Co., New York 1969.
Hayes,P.J., Some problems and non-problems in representation theory Proc. AISB Summer Conference, University of Sussex, 1974.
Hewitt,C. and al., Behavioral semantics of non recursive control structures, Proc. Colloque sur la programmation, Paris, 1974.
Battani,G. and Meloni,H., Interpreteur du language de programmation PROLOG, Université d'Aix-Marseille, 1973.
Gini,G. and Gini,M., Control of intelligent robots and goal oriented languages, Proc. Applied Robotics, Czech, 1975.
Montangero,C., Pacini,G. and Turini,F., MAGMA-LISP: a machine language for Artificial Intelligence, I.E.I. and I.S.I. internal note, Pisa, 1975.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gini, G., Gini, M. (1975). Conniver programs by logical point of view. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975. MFCS 1975. Lecture Notes in Computer Science, vol 32. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07389-2_202
Download citation
DOI: https://doi.org/10.1007/3-540-07389-2_202
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07389-5
Online ISBN: 978-3-540-37585-2
eBook Packages: Springer Book Archive