Conniver programs by logical point of view

  • Giuseppina Gini
  • Maria Gini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 32)


Programming Language Theorem Prover Control Information Predicate Logic Conniver Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    McDermott,D.V. and Sussman,G.J., The CONNIVER Reference Manual, AI Memo 259a, M.I.T., 1972.Google Scholar
  2. 2.
    Sussman,G.J. and McDermott,D.V., From PLANNER to CONNIVER-A genetic approach, Proc. FJCC, 1972.Google Scholar
  3. 3.
    Hayes,P.J., Computation and deduction, Proc. MFCS'73,Czech, 1973.Google Scholar
  4. 4.
    Bobrow,D.G. and Wegbreit,B., A model for control structures for Artificial Intelligence programming languages, Proc. IJCAI, 1973.Google Scholar
  5. 5.
    Kowalski,R., Logic for problem solving, DCL Memo 75, University of Edinburgh, 1974.Google Scholar
  6. 6.
    Kleene,S.C., Introduction to metamathematics, Van Nostrand, 1952.Google Scholar
  7. 7.
    Levin,M., Mathematical logic for computer scientists, MAC TR-131, M.I.T., 1974.Google Scholar
  8. 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. 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. 10.
    Hayes,P.J., Some problems and non-problems in representation theory Proc. AISB Summer Conference, University of Sussex, 1974.Google Scholar
  11. 11.
    Hewitt,C. and al., Behavioral semantics of non recursive control structures, Proc. Colloque sur la programmation, Paris, 1974.Google Scholar
  12. 12.
    Battani,G. and Meloni,H., Interpreteur du language de programmation PROLOG, Université d'Aix-Marseille, 1973.Google Scholar
  13. 13.
    Gini,G. and Gini,M., Control of intelligent robots and goal oriented languages, Proc. Applied Robotics, Czech, 1975.Google Scholar
  14. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Giuseppina Gini
    • 1
  • Maria Gini
    • 1
  1. 1.Istituto di Elettrotecnica ed Elettronica PolitecnicoMilanoItaly

Personalised recommendations