{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:13Z","timestamp":1725663253173},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514985"},{"type":"electronic","value":"9783540481805"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51498-8_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:01:14Z","timestamp":1330203674000},"page":"349-361","source":"Crossref","is-referenced-by-count":0,"title":["Logic programming of some mathematical paradoxes"],"prefix":"10.1007","author":[{"given":"M. A.","family":"Nait Abdallah","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"2","key":"34_CR1","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/357162.357170","volume":"4","author":"E. A. Ashcroft","year":"1982","unstructured":"E. A. Ashcroft, W. W. Wadge. Prescription for semantics, ACM TOPLAS 4 (2), (1982) pp. 238\u2013293","journal-title":"ACM TOPLAS"},{"key":"34_CR2","unstructured":"N. Asher, J. Kamp. The knower's paradox and representational theories of attitudes, in Theoretical Aspects of Reasoning about Knowledge, J. Y. Halpern ed, Morgan Kaufmann (1986), pp. 131\u2013147"},{"key":"34_CR3","unstructured":"H. Barendregt. The type free lambda calculus, in Handbook of Mathematical Logic, J. Barwise ed, North Holland (1977), pp. 1091\u20131142."},{"key":"34_CR4","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 logic as a programming language, J. ACM 23, (1976) pp. 733\u2013742","journal-title":"J. ACM"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Guessarian I. Algebraic semantics, Springer LNCS 99, Berlin (1981)","DOI":"10.1007\/3-540-10284-1"},{"key":"34_CR6","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1305\/ndjfl\/1093956549","volume":"1","author":"D. Kaplan","year":"1960","unstructured":"D. Kaplan, R. Montague. A paradox regained, Notre Dame Journal of Formal Logic 1, (1960), pp. 79\u201390","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"34_CR7","first-page":"60","volume":"210","author":"M. A. Nait Abdallah","year":"1986","unstructured":"Nait Abdallah M. A. Ions and local definitions in logic programming, Springer LNCS 210 (1986), pp. 60\u201372","journal-title":"Springer LNCS"},{"key":"34_CR8","first-page":"433","volume":"225","author":"M. A. Nait Abdallah","year":"1986","unstructured":"Nait Abdallah M. A. Procedures in logic programming, Springer LNCS 225 (1986), pp. 433\u2013447","journal-title":"Springer LNCS"},{"key":"34_CR9","first-page":"545","volume":"233","author":"M. A. Nait Abdallah","year":"1986","unstructured":"Nait Abdallah M. A. AL-KHOWARIZMI: A formal system for higher order logic programming, Springer LNCS 233 (1986), pp. 545\u2013553","journal-title":"Springer LNCS"},{"key":"34_CR10","first-page":"11","volume":"267","author":"M. A. Nait Abdallah","year":"1987","unstructured":"Nait Abdallah M.A. Logic programming with ions, Springer LNCS 267 (1987), pp. 11\u201320","journal-title":"Springer LNCS"},{"key":"34_CR11","unstructured":"Nait Abdallah M.A. Heuristic logic and the process of discovery, Proc. Fifth International Conference of Logic Programmaing, Bowen and Kowalski ed., Vol 2. MIT Press (1988)"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M.A. A logico-algebraic approach to the model theory of knowledge, (Theoretical Computer Science, to appear)","DOI":"10.1016\/0304-3975(89)90135-7"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"R. Nozick. Newcomb's problem and two principles of choice, in Essays in Honor of Carl G. Hempel, N. Rescher ed., Humanities Press (1969)","DOI":"10.1007\/978-94-017-1466-2_7"},{"key":"34_CR14","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1093\/mind\/LXII.245.65","volume":"57","author":"W. V. O. O. Quine","year":"1953","unstructured":"W.V.O. Quine, On a so-called paradox, Mind 57, (1953), pp. 65\u201367","journal-title":"Mind"},{"key":"34_CR15","unstructured":"J. Stoy, The Scott-Strachey approach to programming language semantics, MIT Press (1977)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51498-8_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:36Z","timestamp":1605648096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51498-8_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514985","9783540481805"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-51498-8_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}