{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:39Z","timestamp":1725663519252},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180883"},{"type":"electronic","value":"9783540477471"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18088-5_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:25:59Z","timestamp":1330197959000},"page":"11-20","source":"Crossref","is-referenced-by-count":0,"title":["Logic programming with ions"],"prefix":"10.1007","author":[{"given":"M. A. Nait","family":"Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"2_CR1","unstructured":"Bowen K.A. and Kowalski R.A.: Amalgamating language and metalanguage, in Logic Programming, K.L. Clark and S.-A. Taernlund ed, Academic Press (1982), pp 153\u2013172"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Clark K.L.: Negation as failure, in Logic and Data Bases, H. Gallaire and J. Minker ed, Plenum Press (1978), pp 293\u2013324","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"4","key":"2_CR3","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"van Emden M.H. and Kowalski R.: The semantics of predicate logic as a programming language, JACM 23, 4 (1976), pp. 733\u2013742","journal-title":"JACM"},{"key":"2_CR4","volume-title":"Logic for problem solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski R.: Logic for problem solving, Elsevier North Holland, New York (1979)."},{"key":"2_CR5","unstructured":"Kowalski R.: Logic programming, in IFIP 1983, R.E.A. Mason ed., Elsevier Science Pub. (1983), pp 133\u2013145"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"McCarthy J., Sato M., Hayashi T., Igarashi S.: On the model theory of knowledge, Stanford A.I. Lab. memo AIM-312 (1978)","DOI":"10.21236\/ADA065502"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M.A.: Ions and local definitions in logic programming, Springer LNCS # 210, pp 60\u201372 (1986)","DOI":"10.1007\/3-540-16078-7_65"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M.A.: Procedures in Horn-clause programming, Springer LNCS # 255, pp 433\u2013447 (1986)","DOI":"10.1007\/3-540-16492-8_93"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M.A.: AL-KHOWARIZMI, a formal system for higher-order logic programming, Springer LNCS # 233, pp 545\u2013553 (1986)","DOI":"10.1007\/BFb0016281"},{"key":"2_CR10","unstructured":"Tarski A.: The concept of truth in formalized languages, in Logic, semantics and metamathematics, A. Tarski, trans. J.H. Woodger, Oxford Univ. Press, pp 152\u2013278 (1956)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18088-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:02Z","timestamp":1605644042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18088-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180883","9783540477471"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-18088-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}