乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:54:40Z","timestamp":1725544480973},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326540"},{"type":"electronic","value":"9783540326564"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11680093_9","type":"book-chapter","created":{"date-parts":[[2006,2,28]],"date-time":"2006-02-28T06:43:40Z","timestamp":1141109020000},"page":"133-146","source":"Crossref","is-referenced-by-count":0,"title":["A Transformational Semantics of Static Embedded Implications of Normal Logic Programs"],"prefix":"10.1007","author":[{"given":"Edelmira","family":"Pasarella","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[]},{"given":"Elvira","family":"Pino","sequence":"additional","affiliation":[]},{"given":"Marisa","family":"Navarro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Arruabarrena, R., Navarro, M.: On extended logic language supporting program structuring. In: Proc. of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE 1996, pp. 191\u2013203 (1996)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-49019-1_5","volume-title":"Foundations of Software Science and Computation Structures","author":"R. Arruabarrena","year":"1999","unstructured":"Arruabarrena, R., Lucio, P., Navarro, M.: A Strong Logic Programming View for Static Embedded Implications. In: Thomas, W. (ed.) ETAPS 1999 and FOSSACS 1999. LNCS, vol.\u00a01578, pp. 56\u201372. Springer, Heidelberg (1999)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-60983-0_2","volume-title":"Extensions of Logic Programming","author":"M. Baldoni","year":"1996","unstructured":"Baldoni, M., Giordano, L., Martelli, A.: Translating a modal Language with embedded implication into Horn clause logic. In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS, vol.\u00a01050, pp. 19\u201333. Springer, Heidelberg (1996)"},{"key":"9_CR4","unstructured":"Bonner, A.J., McCarty, L.T.: Adding negation-as-failure to intuitionistic logic programming. In: Proc. of the North American Conference on Logic Programming, NACLP 1990, pp. 681\u2013703 (1990)"},{"issue":"20","key":"9_CR5","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19","author":"M. Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E., Paola, M.: Modularity in logic programming. Journal of Logic Programming\u00a019(20), 443\u2013502 (1994)","journal-title":"Journal of Logic Programming"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF01185404","volume":"32","author":"W. Drabent","year":"1995","unstructured":"Drabent, W.: What is a failure? An approach to constructive negation. Acta Inform\u00e1tica\u00a032, 27\u201359 (1995)","journal-title":"Acta Inform\u00e1tica"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0743-1066(85)80003-0","volume":"1","author":"M. Gabbay","year":"1985","unstructured":"Gabbay, M.: N\u2013PROLOG: An extension of Prolog with hypothetical implications II. Logical foundations and negation as failure. Journal of Logic Programming\u00a01(4), 251\u2013283 (1985)","journal-title":"Logical foundations and negation as failure. Journal of Logic Programming"},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"1","author":"M. Gabbay","year":"1985","unstructured":"Gabbay, M., Reyle, U.: N\u2013PROLOG: An extension of Prolog with hypothetical implications. I. Journal of Logic Programming\u00a01(4), 319\u2013355 (1985)","journal-title":"I. Journal of Logic Programming"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0304-3975(92)90066-O","volume":"95","author":"L. Giordano","year":"1992","unstructured":"Giordano, L., Martelli, A., Rossi, G.: Extending Horn clause logic with implication goals. Theoretical Computer Science\u00a095(1), 43\u201374 (1992)","journal-title":"Theoretical Computer Science"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0743-1066(94)90001-9","volume":"21","author":"L. Giordano","year":"1994","unstructured":"Giordano, L., Martelli, A.: Structuring Logic Programs: A Modal Approach. Journal of Logic Programming\u00a021, 59\u201394 (1994)","journal-title":"Journal of Logic Programming"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0743-1066(97)10014-0","volume":"36","author":"L. Giordano","year":"1998","unstructured":"Giordano, L., Olivetti, N.: Combining negation as failure and embedded implication in logic programs. Journal of Logic Programming\u00a036, 91\u2013147 (1998)","journal-title":"Journal of Logic Programming"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/10720084_7","volume-title":"Frontiers of Combining Systems","author":"P. Lucio","year":"2000","unstructured":"Lucio, P.: Structured sequent calculi for combining intuitionistic and classical first-order logic. In: Kirchner, H. (ed.) FroCos 2000. LNCS, vol.\u00a01794, pp. 88\u2013104. Springer, Heidelberg (2000)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","volume":"5","author":"L.T. McCarty","year":"1988","unstructured":"McCarty, L.T.: Clausal intuitionistic logic I. Fixed point semantics. Journal of Logic Programming\u00a05, 1\u201331 (1988)","journal-title":"Journal of Logic Programming"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0743-1066(88)90014-3","volume":"5","author":"L.T. McCarty","year":"1988","unstructured":"McCarty, L.T.: Clausal intuitionistic logic II. Tableau proof procedures. Journal of Logic Programming\u00a05, 93\u2013132 (1988)","journal-title":"Journal of Logic Programming"},{"issue":"1-2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"Miller, D.: A logical analysis of modules in logic programming. Journal of Logic Programming\u00a06(1-2), 79\u2013108 (1989)","journal-title":"Journal of Logic Programming"},{"key":"9_CR16","first-page":"115","volume-title":"Logic Programming Languages: constraints, functions and objects","author":"L. Monteiro","year":"1993","unstructured":"Monteiro, L., Porto, A.: A language for contextual logic programming. In: Logic Programming Languages: constraints, functions and objects, pp. 115\u2013147. MIT Press, Cambridge (1993)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Nadathur, G., Miller, D.: Higher\u2013order logic programming. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 499\u2013590. Clarendon Press (1998)","DOI":"10.1093\/oso\/9780198537922.003.0011"},{"key":"9_CR18","unstructured":"Navarro, M.: From modular Horn programs to flat ones: a formal proof for the propositional case. In: Proc. of the Second International Symposium on Innovation in Information and Communication Technology, ISIICT (2004) Technical Report UPV-EHU\/ LSI\/ TR 01-2004. (2004), http:\/\/www.sc.ehu.es\/marisa"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/3-540-45635-X_25","volume-title":"Logic Programming","author":"F. Orejas","year":"2001","unstructured":"Orejas, F., Pasarella, E., Pino, E.: Semantics of normal logic programs with embeddded implications. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 255\u2013268. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11680093_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,24]],"date-time":"2021-07-24T10:03:43Z","timestamp":1627121023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11680093_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326540","9783540326564"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11680093_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}