{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:25Z","timestamp":1725663565670},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564546"},{"type":"electronic","value":"9783540475620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56454-3_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:11:00Z","timestamp":1330254660000},"page":"168-186","source":"Crossref","is-referenced-by-count":0,"title":["A modal framework for structured logic programs"],"prefix":"10.1007","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"9_CR1","unstructured":"Bowen K.A., Kowalski R.A.: \u201cAmalgamating Language and Metalanguage in Logic Programming\u201d, in Logic Programming (Clark and Tarnlund, eds.), Academic Press, 1982, 153\u2013172."},{"key":"9_CR2","unstructured":"Brogi A., Lamma E., Mello P.: \u201cA General Framework for Structuring Logic Programs\u201d, Technical Report Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, 1990."},{"key":"9_CR3","unstructured":"Fari\u00f1as del Cerro L., Herzig A., Metaprogramming through Intensional Deduction: some examples, in: Proc. META92, Stockholm, 1992."},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"no.4","author":"D. M. Gabbay","year":"1984","unstructured":"Gabbay D.M., Reyle N.: \u201cN-Prolog: An Extension of Prolog with Hypothetical Implications.I.\u201d, Journal of Logic Programming, no.4 1984, 319\u2013355.","journal-title":"Journal of Logic Programming"},{"key":"9_CR5","unstructured":"Giordano L., Martelli A.: \u201cA Modal Reconstruction of blocks and modules in logic programming\u201d, in Proc. 1991 Int. Logic Programming Symposium, San Diego, October 1991, 239\u2013253."},{"key":"9_CR6","unstructured":"Giordano L., Martelli A.: \u201cStructuring Logic Programs: A Modal Approach\u201d, submitted for publication."},{"key":"9_CR7","unstructured":"Giordano L., Martelli A., Rossi G.F., \u201cLocal Definitions with static Scope Rules in Logic Programming\u201d, in Proc. Int. Conf. on Fifth Generation Computer Systems, Tokyo, 1988, 389\u2013396."},{"key":"9_CR8","unstructured":"Giordano L., Martelli A., Rossi G.F.: \u201cExtending Horn Clause Logic with Module Costructs\u201d, Research Report 04-90-RR, Dipartimento di Matematica e Informatica, Universita\u2019 di Udine, 1990."},{"key":"9_CR9","doi-asserted-by":"crossref","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.F.: \u201cExtending Horn Clause Logic with Implication Goals\u201d, Theoretical Computer Science, 95 (1992) 43\u201374.","journal-title":"Theoretical Computer Science"},{"key":"9_CR10","unstructured":"Mc Cabe F.G.: \u201cLogic and Objects: Language, Applications and Implementation\u201d, Doctorate Thesis, University of London, 1988."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Miller D.A.: \u201cA Theory of Modules for Logic Programming\u201d, IEEE Symp. on Logic Programming, Sept.1986, 106\u2013114.","DOI":"10.1007\/3-540-16492-8_94"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"n.6","author":"D. A. Miller","year":"1989","unstructured":"Miller D.A.: \u201cA Logica Analysis of Modules in Logic Programming\u201d, in Journal of Logic Programming, n.6, 1989, pp.79\u2013108.","journal-title":"Journal of Logic Programming"},{"key":"9_CR13","unstructured":"Monteiro L., Porto A.: \u201cContextual Logic Programming\u201d, in Proc. Sixth Int. Conf. of Logic Programming, Lisbon, 1989, 284\u2013299."},{"key":"9_CR14","unstructured":"Moscowitz Y., Shapiro E.: \u201cLexical Logic Programs\u201d, Proc. 8th Int. Conf. on Logic Programming, Paris, 1991, 349\u2013363."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56454-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:47:39Z","timestamp":1640926059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56454-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564546","9783540475620"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56454-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}