Skip to main content
SpringerLink
Log in

Conniver programs by logical point of view

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 (MFCS 1975)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 32))

  • 1871 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. McDermott,D.V. and Sussman,G.J., The CONNIVER Reference Manual, AI Memo 259a, M.I.T., 1972.

    Google Scholar 

  2. Sussman,G.J. and McDermott,D.V., From PLANNER to CONNIVER-A genetic approach, Proc. FJCC, 1972.

    Google Scholar 

  3. Hayes,P.J., Computation and deduction, Proc. MFCS'73,Czech, 1973.

    Google Scholar 

  4. Bobrow,D.G. and Wegbreit,B., A model for control structures for Artificial Intelligence programming languages, Proc. IJCAI, 1973.

    Google Scholar 

  5. Kowalski,R., Logic for problem solving, DCL Memo 75, University of Edinburgh, 1974.

    Google Scholar 

  6. Kleene,S.C., Introduction to metamathematics, Van Nostrand, 1952.

    Google Scholar 

  7. Levin,M., Mathematical logic for computer scientists, MAC TR-131, M.I.T., 1974.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. McCarthy, J. and Hayes, P.J., Some philosophical problems from standpoint of Artificial Intelligence, Machine Intelligence 4, American Elsevier Publishing Co., New York 1969.

    Google Scholar 

  10. Hayes,P.J., Some problems and non-problems in representation theory Proc. AISB Summer Conference, University of Sussex, 1974.

    Google Scholar 

  11. Hewitt,C. and al., Behavioral semantics of non recursive control structures, Proc. Colloque sur la programmation, Paris, 1974.

    Google Scholar 

  12. Battani,G. and Meloni,H., Interpreteur du language de programmation PROLOG, Université d'Aix-Marseille, 1973.

    Google Scholar 

  13. Gini,G. and Gini,M., Control of intelligent robots and goal oriented languages, Proc. Applied Robotics, Czech, 1975.

    Google Scholar 

  14. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Elettrotecnica ed Elettronica Politecnico, Milano, Italy

    Giuseppina Gini & Maria Gini

Authors
  1. Giuseppina Gini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maria Gini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jíří Bečvář

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation