{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T08:57:28Z","timestamp":1754557048037},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1007\/bf03037525","type":"journal-article","created":{"date-parts":[[2009,4,23]],"date-time":"2009-04-23T23:18:32Z","timestamp":1240528712000},"page":"1-21","source":"Crossref","is-referenced-by-count":17,"title":["Compositional model-theoretic semantics for logic programs"],"prefix":"10.1007","volume":"11","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037525_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K. R., \u201cLogic Programming,\u201d inHandbook of Theoretical Computer Science (J. van Leeuwen, ed.), Vol. B, Elsevier, pp. 493\u2013574, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"issue":"3","key":"BF03037525_CR2","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"Apt, K. R. and van Emden, M. H., \u201cContributions to the Theory of Logic Programming,\u201dJournal of the ACM, 29, 3, pp. 841\u2013862, 1982.","journal-title":"Journal of the ACM"},{"key":"BF03037525_CR3","unstructured":"Bossi, A., Gabbrielli, M., Levi, G., and Meo, M. C., \u201cContribution to the Semantics of Open Logic Programs,\u201d inProceedings of FGCS92 (ICOT, ed.), pp. 570\u2013580, Ohmsha, 1992."},{"key":"BF03037525_CR4","series-title":"Proceedings of the Second Congress of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligences","first-page":"137","volume-title":"Trends in Artificial Intelligence","author":"A. Brogi","year":"1991","unstructured":"Brogi, A., Lamma, E., Mancarella, P., and Mello, P., \u201cAbductive Reasoning in a Multi-Theory Framework,\u201d inTrends in Artificial Intelligence (S. Gaglio, ed.),Proceedings of the Second Congress of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligences, 549, Palermo, Springer-Verlag, pp. 137\u2013146, 1991."},{"key":"BF03037525_CR5","unstructured":"Brogi, A., Lamma, E., Mancarella, P., and Mello, P., \u201cNormal Logic Programs as Open Positive Programs\u201d inProceedings 1992 Joint International Conference on Logic Programming (K. R. Apt and J. Minker, eds.) the MIT Press, 1992."},{"key":"BF03037525_CR6","volume-title":"Proceedings of Second Workshop on Extensions of Logic Programming, Lectures Notes in Artificial Intelligence","author":"A. Brogi","year":"1991","unstructured":"Brogi, A., Lamma, E., and Mello, P., \u201cOpen Logic Theories,\u201d inProceedings of Second Workshop on Extensions of Logic Programming, Lectures Notes in Artificial Intelligence, H.-H. Eriksson, P. Krueger, and P. Schroeder-Heister, eds., Kista, Springer-Verlag, Jan. 1991."},{"key":"BF03037525_CR7","doi-asserted-by":"crossref","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., and Turini, F., \u201cComposition Operators for Logic Theories,\u201d inComputational Logic (J. W. Lloyd, ed.),Symposium Proceedings, Springer-Verlag, 596, pp. 73\u201388 Brussels, pp. 117\u2013134, Nov. 1990.","DOI":"10.1007\/978-3-642-76274-1_7"},{"key":"BF03037525_CR8","unstructured":"Charniak, E. and McDermott, D.,Introduction to Artificial Intelligence, Addison-Wesely, 1985."},{"key":"BF03037525_CR9","doi-asserted-by":"crossref","unstructured":"Clark, K., \u201cNegation as Failure,\u201d inLogic and Data Bases (H. Gallaire and J. Minker, eds.), Plenum, pp. 293\u2013322, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"BF03037525_CR10","unstructured":"Dung, P. M., \u201cNegation as Hypothesis: An Abductive Foundation for Logic Programming,\u201d inProc. 8th International Conference on Logic Programming (K. Furukawa, ed.), The MIT Press, pp. 3\u201317, 1991."},{"key":"BF03037525_CR11","unstructured":"Eshgi, K. and Kowalski, R. A., \u201cAbduction Compared with Negation by Failure,\u201d inProc. Sixth International Conference on Logic Programming (G. Levi and M. Martelli, eds.), The MIT Press, pp. 234\u2013254, 1989."},{"key":"BF03037525_CR12","doi-asserted-by":"crossref","unstructured":"Gaifman, H. and Shapiro, E., \u201cFully Abstract Compositional Semantics for Logic Programs,\u201d inProc. Sixteenth POPL, pp. 134\u2013142, 1989.","DOI":"10.1145\/75277.75289"},{"key":"BF03037525_CR13","unstructured":"Gelfond, M. and Lifschitz, V., \u201cThe Stable Models Semantics for Logic Programs,\u201d inProc. Fifth International Conference on Logic Programming (R. A. Kowalski and K. A. Bowen, eds.), The MIT Press, pp. 1070\u20131080, 1988."},{"key":"BF03037525_CR14","unstructured":"Kakas, A. C. and Mancarella, P., \u201cGeneralized Stable Models: a Semantics for Abduction,\u201d inProceedings of 9th European Conference on Artificial Intelligence (L. Carlucci Aiello, ed.) Pitman, pp. 385\u2013391, 1990."},{"key":"BF03037525_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-76274-1_1","volume-title":"Computational Logic, Symposium Proceedings","author":"R. A. Kowalski","year":"1990","unstructured":"Kowalski, R. A., \u201cProblems and Promises of Computational Logic,\u201d inComputational Logic, Symposium Proceedings (J. W. Lloyd, ed.), Springer-Verlag, Brussels, pp. 1\u201336, Nov. 1990."},{"key":"BF03037525_CR16","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, second edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03037525_CR17","unstructured":"Mancarella, P. and Pedreschi, D., \u201cAn Algebra of Logic Programs,\u201d inProc. Fifth International Conference on Logic Programming (R. A. Kowalski and K. A. Bowen, eds.), The MIT Press, pp. 1006\u20131023, 1988."},{"key":"BF03037525_CR18","unstructured":"Mancarella, P., Pedreschi, D., Rondinelli, M., and Tagliatti, M., \u201cAlgebraic Properties of a Class of Logic Programs,\u201d inProc. NACLP (S. Debray and M. Hermenegildo, eds.), The MIT Press, pp. 23\u201349, 1990."},{"key":"BF03037525_CR19","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"Miller, D., \u201cA Logical Analysis of Modules in Logic Programming,\u201dJournal of Logic Programming, 6, pp. 79\u2013108, 1989.","journal-title":"Journal of Logic Programming"},{"key":"BF03037525_CR20","unstructured":"Monteiro, L. and Porto, A., \u201cContextual Logic Programming,\u201d inProc. Sixth International Conference on Logic Programming (G. Levi and M. Martelli, eds.), The MIT Press, pp. 284\u2013302, 1989."},{"key":"BF03037525_CR21","unstructured":"O\u2019Keefe, R., \u201cTowards an Algebra for Constructing Logic Prograams,\u201d inProceedings of IEEE Symposium on Logic Programming (J. Cohen and J. Conery, eds.), IEEE Computer Society Press, pp. 152\u2013160, 1985."},{"issue":"1","key":"BF03037525_CR22","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF03037149","volume":"9","author":"D. Poole","year":"1991","unstructured":"Poole, D., \u201cCompiling a Default Reasoning System into Prolog,\u201dNew Generation Computing, 9, 1, pp. 3\u201338, 1991.","journal-title":"New Generation Computing"},{"key":"BF03037525_CR23","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. L. Poole","year":"1988","unstructured":"Poole, D. L., \u201cA Logical Framework for Default Reasoning,\u201dArtificial Intelligence, 36, pp. 27\u201347, 1988.","journal-title":"Artificial Intelligence"},{"key":"BF03037525_CR24","unstructured":"Przymusinski, T. C., \u201cExtended Stable Semantics for Normal and Disjunctive Programs,\u201d inProc. 7th International Conference on Logic Programming (D. H. D. Warren and P. Szeredi, eds.), The MIT Press, pp. 459\u2013477, 1990."},{"key":"BF03037525_CR25","doi-asserted-by":"crossref","unstructured":"Przymusinski, T. C., \u201cSemantics of Disjunctive Logic Programs and Deductive Databases,\u201d inProc. DOOD91 (C. Delobel, M. Kifer and Y. Masunaga, eds.), Springer-Verlag, pp. 85\u2013107, 1991.","DOI":"10.1007\/3-540-55015-1_5"},{"key":"BF03037525_CR26","doi-asserted-by":"crossref","unstructured":"Reiter, R., \u201cOn Closed World Data Bases,\u201d inLogic and Data Bases (Gallaire and J. Minker, eds.), Plenum, pp. 293\u2013322, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"BF03037525_CR27","doi-asserted-by":"crossref","unstructured":"Sacca, D. and Zaniolo, C., \u201cStable Models and Nondeterminism in Logic Programs with Negation,\u201d inProc. 9th ACM Symp. on Principles of Database Systems, ACM, pp. 205\u2013217, 1990.","DOI":"10.1145\/298514.298572"},{"key":"BF03037525_CR28","doi-asserted-by":"crossref","unstructured":"Sacca, D. and Zaniolo, C., \u201cPartial Models and Three-Valued Models in Logic Programs with Negation,\u201d inProc. Workshop on Logic Programming and Non-Monotonic Reasoning, The MIT Press, pp. 87\u2013101, 1991.","DOI":"10.1145\/298514.298572"},{"issue":"4","key":"BF03037525_CR29","doi-asserted-by":"crossref","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. A., \u201cThe Semantics of Predicate Logic as a Programming Language,\u201dJournal of the ACM, 23, 4, pp. 733\u2013742, 1976.","journal-title":"Journal of the ACM"},{"key":"BF03037525_CR30","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K. A., and Schlipf, J. S., \u201cUnfounded Sets and the Well-Founded Semantics of General Logic Programs,\u201d inProc. ACM SIGMODSIGACT Symp. on Principles of Database Systems, ACM, pp. 221\u2013230, 1988.","DOI":"10.1145\/308386.308444"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037525.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037525\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:39Z","timestamp":1558558359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["BF03037525"],"URL":"https:\/\/doi.org\/10.1007\/bf03037525","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}