{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:13Z","timestamp":1725662893504},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540073895"},{"type":"electronic","value":"9783540375852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07389-2_202","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:54:55Z","timestamp":1330167295000},"page":"238-245","source":"Crossref","is-referenced-by-count":0,"title":["Conniver programs by logical point of view"],"prefix":"10.1007","author":[{"given":"Giuseppina","family":"Gini","sequence":"first","affiliation":[]},{"given":"Maria","family":"Gini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"25_CR1","unstructured":"McDermott,D.V. and Sussman,G.J., The CONNIVER Reference Manual, AI Memo 259a, M.I.T., 1972."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Sussman,G.J. and McDermott,D.V., From PLANNER to CONNIVER-A genetic approach, Proc. FJCC, 1972.","DOI":"10.1145\/1480083.1480156"},{"key":"25_CR3","unstructured":"Hayes,P.J., Computation and deduction, Proc. MFCS'73,Czech, 1973."},{"key":"25_CR4","unstructured":"Bobrow,D.G. and Wegbreit,B., A model for control structures for Artificial Intelligence programming languages, Proc. IJCAI, 1973."},{"key":"25_CR5","unstructured":"Kowalski,R., Logic for problem solving, DCL Memo 75, University of Edinburgh, 1974."},{"key":"25_CR6","unstructured":"Kleene,S.C., Introduction to metamathematics, Van Nostrand, 1952."},{"key":"25_CR7","unstructured":"Levin,M., Mathematical logic for computer scientists, MAC TR-131, M.I.T., 1974."},{"key":"25_CR8","unstructured":"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."},{"key":"25_CR9","series-title":"Machine Intelligence","volume-title":"Some philosophical problems from standpoint of Artificial Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J. and Hayes, P.J., Some philosophical problems from standpoint of Artificial Intelligence, Machine Intelligence 4, American Elsevier Publishing Co., New York 1969."},{"key":"25_CR10","unstructured":"Hayes,P.J., Some problems and non-problems in representation theory Proc. AISB Summer Conference, University of Sussex, 1974."},{"key":"25_CR11","unstructured":"Hewitt,C. and al., Behavioral semantics of non recursive control structures, Proc. Colloque sur la programmation, Paris, 1974."},{"key":"25_CR12","unstructured":"Battani,G. and Meloni,H., Interpreteur du language de programmation PROLOG, Universit\u00e9 d'Aix-Marseille, 1973."},{"key":"25_CR13","unstructured":"Gini,G. and Gini,M., Control of intelligent robots and goal oriented languages, Proc. Applied Robotics, Czech, 1975."},{"key":"25_CR14","unstructured":"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."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07389-2_202.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:57:24Z","timestamp":1605625044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_202","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}