{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:38:56Z","timestamp":1725457136630},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540604367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0034803","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:56:10Z","timestamp":1134284170000},"page":"101-111","source":"Crossref","is-referenced-by-count":0,"title":["PROMAL: Programming in modal action logic"],"prefix":"10.1007","author":[{"given":"Odinaldo","family":"Rodrigues","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Benevides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"A. Colmerauer, H. Kanoui, P. Roussel, and R. Pasero. Un syst\u00e8me de communication homme-machine en fran\u00e7ais. Technical report, Universit\u00e9 d'Aix-Marseille, 1973. Groupe de Recherche en Intelligence Artificielle."},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF03037381","volume":"4","author":"L. Fari\u00f1as del Cerro","year":"1986","unstructured":"L. Fari\u00f1as del Cerro. Molog: A system that extends prolog with modal logic. New Generation Computing, 4:35\u201350, 1986.","journal-title":"New Generation Computing"},{"key":"11_CR3","volume-title":"STRIPS: A new approach to the application of theorem proving to problem solving","author":"R. E. Fikes","year":"1971","unstructured":"R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. In Proceedings of 2\nnd\nIJCAI, Imperial College, London, England, 1971."},{"key":"11_CR4","volume-title":"Lecture Notes in Computer Science","author":"R. Goldblatt","year":"1982","unstructured":"R. Goldblatt. Axiomatizing the Logic of Computer Programming. Lecture Notes in Computer Science. Springer-Verlag, New York, Heidelberg, Berlin, 1982."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"D. Harel. First Order Dynamic Logic, volume 68 of Lectures Notes in Computer Science. Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"11_CR6","unstructured":"R. A. Kowalski. Predicate logic as a programming language. In IFIP-74, pages 569\u2013574, 1974."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Symbolic Computation. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"11_CR8","volume-title":"Technical report","author":"T.S.E. Maibaum","year":"1987","unstructured":"T.S.E. Maibaum. A logic for the formal requirements specification of real-time \/ embedded systems. Technical report, Dept. of Computing, Imperial College, London, 1987."},{"key":"11_CR9","volume-title":"Master's thesis","author":"O. T. Rodrigues","year":"1993","unstructured":"Odinaldo Teixeira Rodrigues. Prolog modal de a\u00e7\u00e3o e revis\u0101o de cren\u00e7as em conjuntos definidos. Master's thesis, COPPE \u2014 Universidade Federal do Rio de Janeiro-Brazil, 1993. In Portuguese."},{"key":"11_CR10","unstructured":"David H. D. Warren. A system for generating plans. Technical report, Department of Artificial Intelligence, Edinburgh University, June 1974. Memo 76."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0034803.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:12:51Z","timestamp":1607551971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0034803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540604367"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0034803","relation":{},"subject":[]}}