{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:31Z","timestamp":1761597331008},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:09:15Z","timestamp":1330290555000},"page":"19-33","source":"Crossref","is-referenced-by-count":5,"title":["Translating a modal language with embedded implication into Horn clause logic"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Giordano","sequence":"additional","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,6,2]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"M. Abadi","year":"1989","unstructured":"M. Abadi and Z. Manna. Temporal logic programming. J. Symbolic Computation, (8):277\u2013295, 1989.","journal-title":"J. Symbolic Computation"},{"issue":"3","key":"2_CR2","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1093\/logcom\/2.3.247","volume":"2","author":"Y. Auffray","year":"1992","unstructured":"Y. Auffray and P. Enjalbert. Modal theorem proving: An equational viewpoint. Journal of Logic and Computation, 2(3):247\u2013297, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"2_CR3","unstructured":"M. Baldoni, L. Giordano, and A. Martelli. A multimodal logic to define modules in logic programming. In Proc. 1993 International Logic Programming Symposium, pages 473\u2013487, Vancouver, 1993."},{"key":"2_CR4","unstructured":"M. Baldoni, L. Giordano, and A. Martelli. A modal extention of logic programming: modularity, beliefs and hypothetical reasoning. Technical report, Dipartimento di Informatica, University of Turin, 1995."},{"key":"2_CR5","first-page":"324","volume":"2","author":"M. Baldoni","year":"1994","unstructured":"M. Baldoni, L. Giordano, and A. Martelli. A modal extention of logic programming. In Proc. 1994 Joint Conference on Declarative Programming GULP-PRODE 1994, volume 2, pages 324\u2013335, Pe\u00f1iscola, Spain, September, 1994.","journal-title":"Proc. 1994 Joint Conference on Declarative Programming GULP-PRODE 1994"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0304-3975(92)90290-V","volume":"105","author":"F. Debart","year":"1992","unstructured":"F. Debart, P. Enjalbert, and M. Lescot. Multimodal logic programming using equational and order-sorter logic. Theoretical Computer Science, (105):141\u2013166, 1992.","journal-title":"Theoretical Computer Science"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF03037381","volume":"4","author":"L. F. Cerro del","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":"2_CR8","doi-asserted-by":"crossref","unstructured":"L. Fari\u00f1as del Cerro and A. Herzig. Modal deduction with applications in epistemic and temporal logics. In D. M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4, pages 499\u201394. Oxford Science Publications, 1995.","DOI":"10.1093\/oso\/9780198537915.003.0008"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"M. Fitting. Basic modal logic. In D. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic programming, volume 1, pages 365\u2013448. Oxford Science Publications, 1993.","DOI":"10.1093\/oso\/9780198537458.003.0006"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"D. M. Gabbay. Elements of algoritmic proof. In T.S.E. Maibaum S. Abramsky, D.M. Gabbay, editor, Handbook of Logic in Theoretical Computer Science. Oxford University Press, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0003"},{"key":"2_CR11","first-page":"203","volume-title":"volume 928 of LNAI","author":"D. M. Gabbay","year":"1995","unstructured":"D. M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Hypothetical updates, priority and inconsistency in a logic programming language. In Proc. of the Third Int. Conference on Logic Programming and Non-monotonic Reasoning, volume 928 of LNAI, pages 203\u2013216, Lexington, KY, USA, 1995. Springer Verlag."},{"key":"2_CR12","unstructured":"M. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, 1987."},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0743-1066(94)90001-9","volume":"21","author":"L. Giordano","year":"1994","unstructured":"L. Giordano and A. Martelli. Structuring logic programs: a modal approach. Journal of Logic Programming, 21:59\u201394, 1994.","journal-title":"Journal of Logic Programming"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Y. Halpern","year":"1992","unstructured":"J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"key":"2_CR15","unstructured":"B. Jayaraman, K. Know, and G. Nadathur. Scoping constructs in logic programming: Implementation problems and their solution. Technical Report No. CS-1994-35, Duke University, October, 1994. To appear in Journal of Logic Programming, November 1995."},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"D. Miller. A logical analysis of modules in logic programming. Journal of Logic Programming, (6):79\u2013108, 1989.","journal-title":"Journal of Logic Programming"},{"key":"2_CR17","series-title":"volume 838 of LNAI","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BFb0021985","volume-title":"Proc. of the JELIA'94: Logics in Artificial Intelligence","author":"A. Nonnengard","year":"1994","unstructured":"A. Nonnengard. How to use modalities and sorts in Prolog. In Proc. of the JELIA'94: Logics in Artificial Intelligence, volume 838 of LNAI, pages 365\u2013378, York, UK, 1994. Springer Verlag."},{"issue":"5","key":"2_CR18","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H. J. Ohlbach","year":"1991","unstructured":"H. J. Ohlbach. Semantics-based translation method for modal logics. Journal of Logic and Computation, 1(5):691\u2013746, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"2_CR19","unstructured":"D. S. Warren. Database updates in pure Prolog. In Proc. Int. Conf. on Fifth Generation Computer Systems, pages 244\u2013253, Tokyo, 1984."}],"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-60983-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:14:15Z","timestamp":1713633255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}