{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:46Z","timestamp":1725663406974},"publisher-location":"Berlin, Heidelberg","reference-count":54,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540542339"},{"type":"electronic","value":"9783540475163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54233-7_121","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:37:10Z","timestamp":1330191430000},"page":"1-19","source":"Crossref","is-referenced-by-count":1,"title":["On the semantics of logic programs"],"prefix":"10.1007","author":[{"given":"Maurizio","family":"Gabbrielli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Levi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"K. R. Apt. Introduction to Logic Programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics. Elsevier, Amsterdam and The MIT Press, Cambridge, 1990.","key":"1_CR1","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"doi-asserted-by":"crossref","unstructured":"K. R. Apt, H. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013148. Morgan Kaufmann, Los Altos, Ca., 1988.","key":"1_CR2","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"unstructured":"R. Barbuti and R. Giacobazzi. A bottom-up polymorphic type inference in logic programming. Technical Report TR 27\/89, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1989.","key":"1_CR3"},{"unstructured":"R. Barbuti, R. Giacobazzi, and G. Levi. A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs. Technical Report TR 20\/89, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1989. Revised version 1990.","key":"1_CR4"},{"unstructured":"A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. Contributions to the Semantics of Open Logic Programs. Technical report, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1991.","key":"1_CR5"},{"unstructured":"A. Bossi and M. Menegus. Una Semantica Composizionale per Programmi Logici Aperti. In P. Asirelli, editor, Proc. Sixth Italian Conference on Logic Programming, 1991.","key":"1_CR6"},{"doi-asserted-by":"crossref","unstructured":"F. Bry. Logic Programming as Constructivism: A Formalization and its Application to Databases. In Proc. Eighth ACM Symp. on Principles of Database Systems, 1989.","key":"1_CR7","DOI":"10.1145\/73721.73725"},{"doi-asserted-by":"crossref","unstructured":"F. Bry. Negation in Logic Programming: A Formalization in Constructive Logic. In Proc. First Workshop on Information Systems and Artificial Intelligence, Ulm, West Germany, 1990.","key":"1_CR8","DOI":"10.1007\/3-540-53557-8_20"},{"key":"1_CR9","first-page":"111","volume-title":"Proc. Fifth Int'l Conf. on Logic Programming","author":"D. Chan","year":"1988","unstructured":"D. Chan. Constructive Negation Based on the Completed Database. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth Int'l Conf. on Logic Programming, pages 111\u2013125. The MIT Press, Cambridge, Mass., 1988."},{"key":"1_CR10","volume-title":"Predicate logic as a computational formalism. Res. Report DOC 79\/59","author":"K. L. Clark","year":"1979","unstructured":"K. L. Clark. Predicate logic as a computational formalism. Res. Report DOC 79\/59, Imperial College, Dept. of Computing, London, 1979."},{"key":"1_CR11","series-title":"Technical report","volume-title":"Bottom-up Abstract Interpretation of Logic Programs","author":"M. Codish","year":"1990","unstructured":"M. Codish, D. Dams, and E. Yardeni. Bottom-up Abstract Interpretation of Logic Programs. Technical report, Dept. of Computer Science, The Weizmann Institute, Rehovot, 1990."},{"key":"1_CR12","first-page":"99","volume-title":"Proc. North American Conf. on Logic Programming'90","author":"F. S. Boer de","year":"1990","unstructured":"F. S. de Boer and C. Palamidessi. Concurrent logic languages: Asynchronism and language comparison. In S. Debray and M. Hermenegildo, editors, Proc. North American Conf. on Logic Programming'90, pages 99\u2013114. The MIT Press, Cambridge, Mass., 1990."},{"key":"1_CR13","first-page":"175","volume-title":"Proc. of Concur 90","author":"F. S. Boer de","year":"1990","unstructured":"F. S. de Boer and C. Palamidessi. On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences. In J.C.M. Baeten and J.W. Klop, editors, Proc. of Concur 90, volume 458 of Lecture Notes in Computer Science, pages 175\u2013194. Springer-Verlag, Berlin, 1990."},{"doi-asserted-by":"crossref","unstructured":"F. Denis and J.-P. Delahaye. Unfolding, Procedural and Fixpoint Semantics of Logic Programs. In Proc. STACS'91, 1991.","key":"1_CR14","DOI":"10.1007\/BFb0020825"},{"unstructured":"P. Deransart and G. Ferrand. Programmation en logique avec negation: presentation formelle. Technical Report No. 87\/3, Lab. d'Informatique, D\u00e9partement de Math\u00e9matiques et d'Informatique, Universit\u00e9 d'Orl\u00e9ans, 1987.","key":"1_CR15"},{"key":"1_CR16","volume-title":"Proc. Eight Int'l Conf. on Logic Programming","author":"M. D. Phan","year":"1991","unstructured":"Phan Minh Dung. Negation as Hypotheses: an Abductive Foundation for Logic Programming. In K. Furukawa, editor, Proc. Eight Int'l Conf. on Logic Programming. The MIT Press, Cambridge, Mass., 1991."},{"key":"1_CR17","first-page":"604","volume-title":"Proc. North American Conf. on Logic Programming'89","author":"P. Minh Dung","year":"1989","unstructured":"Phan Minh Dung and K. Kanchanasut. A Fixpoint Approach to Declarative Semantics of Logic Programs. In E. Lusk and R. Overbeck, editors, Proc. North American Conf. on Logic Programming'89, pages 604\u2013625. The MIT Press, Cambridge, Mass., 1989."},{"key":"1_CR18","first-page":"234","volume-title":"Proc. Sixth Int'l Conf. on Logic Programming","author":"K. Eshghi","year":"1989","unstructured":"K. Eshghi and R. A. Kowalski. Abduction compared with Negation by Failure. In G. Levi and M. Martelli, editors, Proc. Sixth Int'l Conf. on Logic Programming, pages 234\u2013254. The MIT Press, Cambridge, Mass., 1989."},{"issue":"3","key":"1_CR19","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1142\/S0129054190000187","volume":"1","author":"M. Falaschi","year":"1990","unstructured":"M. Falaschi, M. Gabbrielli, G. Levi, and M. Murakami. Nested Guarded Horn Clauses. International Journal of Foundations of Computer Science, 1(3):249\u2013263, 1990.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"1_CR20","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(90)90061-L","volume":"75","author":"M. Falaschi","year":"1990","unstructured":"M. Falaschi and G. Levi. Finite failures and partial computations in concurrent logic languages. Theoretical Computer Science, 75:45\u201366, 1990.","journal-title":"Theoretical Computer Science"},{"key":"1_CR21","first-page":"993","volume-title":"Proc. Fifth Int'l Conf. on Logic Programming","author":"M. Falaschi","year":"1988","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A new Declarative Semantics for Logic Languages. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth Int'l Conf. on Logic Programming, pages 993\u20131005. The MIT Press, Cambridge, Mass., 1988."},{"issue":"3","key":"1_CR22","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Computer Science, 69(3):289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Technical Report TR 32\/89, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1989. To appear in Information and Computation.","key":"1_CR23"},{"issue":"1","key":"1_CR24","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(84)80021-2","volume":"60","author":"M. Falaschi","year":"1984","unstructured":"M. Falaschi, G. Levi, and C. Palamidessi. A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses. Information and Control, 60(1):36\u201369, 1984.","journal-title":"Information and Control"},{"unstructured":"G. Ferrand. A reconstruction of Logic Programming with Negation. Technical Report No. 86\/5, Lab. d'Informatique, D\u00e9partement de Math\u00e9matiques et d'Informatique, Universit\u00e9 d'Orl\u00e9ans, 1986.","key":"1_CR25"},{"key":"1_CR26","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/3-540-53162-9_40","volume-title":"Proc. Second Int'l Conf. on Algebraic and Logic Programming","author":"M. Gabbrielli","year":"1990","unstructured":"M. Gabbrielli and G. Levi. Unfolding and Fixpoint Semantics of Concurrent Constraint Programs. In H. Kirchner and W. Wechler, editors, Proc. Second Int'l Conf. on Algebraic and Logic Programming, volume 463 of Lecture Notes in Computer Science, pages 204\u2013216. Springer-Verlag, Berlin, 1990."},{"key":"1_CR27","volume-title":"Proc. Eighth Int'l Conf. on Logic Programming","author":"M. Gabbrielli","year":"1991","unstructured":"M. Gabbrielli and G. Levi. Modeling Answer Constraints in Constraint Logic Programs. In K. Furukawa, editor, Proc. Eighth Int'l Conf. on Logic Programming. The MIT Press, Cambridge, Mass., 1991."},{"unstructured":"M. Gabbrielli and G. Levi. Unfolding and Fixpoint Semantics of Concurrent Constraint Programs. Technical Report TR 2\/91, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1991.","key":"1_CR28"},{"unstructured":"M. Gabbrielli, G. Levi, and D. Turi. An Incremental Semantics for Logic Programs with Negation. Technical report, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1991.","key":"1_CR29"},{"key":"1_CR30","first-page":"553","volume-title":"Proc. North American Conf. on Logic Programming'89","author":"H. Gaifman","year":"1989","unstructured":"H. Gaifman, M. J. Maher, and E. Y. Shapiro. Reactive Behavior Semantics for Concurrent Constraint Logic Programs. In E. Lusk and R. Overbeck, editors, Proc. North American Conf. on Logic Programming'89, pages 553\u2013572. The MIT Press, Cambridge, Mass., 1989."},{"doi-asserted-by":"crossref","unstructured":"H. Gaifman and E. Shapiro. Fully abstract compositional semantics for logic programs. In Proc. Sixteenth Annual ACM Symp. on Principles of Programming Languages, pages 134\u2013142. ACM, 1989.","key":"1_CR31","DOI":"10.1145\/75277.75289"},{"doi-asserted-by":"crossref","unstructured":"H. Gaifman and E. Shapiro. Proof theory and semantics of logic programs. In Proc. Fourth IEEE Symp. on Logic In Computer Science, pages 50\u201362. IEEE Computer Society Press, 1989.","key":"1_CR32","DOI":"10.1109\/LICS.1989.39158"},{"unstructured":"R. Giacobazzi and G. Levi. Compositional Abstract Interpretation of Constraint Logic Programs. Technical report, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1991.","key":"1_CR33"},{"key":"1_CR34","first-page":"291","volume-title":"Proc. Seventh Int'l Conf. on Logic Programming","author":"R. Giacobazzi","year":"1990","unstructured":"R. Giacobazzi and L. Ricci. Pipeline optimizations in and-parallelism by abstract interpretation. In D. H. D. Warren and P. Szeredi, editors, Proc. Seventh Int'l Conf. on Logic Programming, pages 291\u2013305. The MIT Press, Cambridge, Mass., 1990."},{"doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In Proc. Fourteenth Annual ACM Symp. on Principles of Programming Languages, pages 111\u2013119. ACM, 1987.","key":"1_CR35","DOI":"10.1145\/41625.41635"},{"doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. Technical report, Department of Computer Science, Monash University, June 1986.","key":"1_CR36","DOI":"10.1145\/41625.41635"},{"key":"1_CR37","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-53162-9_41","volume-title":"Proc. Second Int'l Conf. on Algebraic and Logic Programming","author":"K. Kanchanasut","year":"1990","unstructured":"K. Kanchanasut and P. Stuckey. Eliminating Negation from Normal Logic Programs. In H. Kirchner and W. Wechler, editors, Proc. Second Int'l Conf. on Algebraic and Logic Programming, volume 463 of Lecture Notes in Computer Science, pages 217\u2013231. Springer-Verlag, Berlin, 1990."},{"key":"1_CR38","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","volume":"29","author":"J.-L. Lassez","year":"1984","unstructured":"J.-L. Lassez and M. J. Maher. Closures and Fairness in the Semantics of Programming Logic. Theoretical Computer Science, 29:167\u2013184, 1984.","journal-title":"Theoretical Computer Science"},{"key":"1_CR39","first-page":"1649","volume-title":"Proc. Fifth Int'l Conf. on Logic Programming","author":"G. Levi","year":"1988","unstructured":"G. Levi. Models, Unfolding Rules and Fixpoint Semantics. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth Int'l Conf. on Logic Programming, pages 1649\u20131665. The MIT Press, Cambridge, Mass., 1988."},{"unstructured":"G. Levi and P. Mancarella. The Unfolding Semantics of Logic Programs. Technical Report TR-13\/88, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1988.","key":"1_CR40"},{"key":"1_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987. Second edition."},{"unstructured":"J. W. Lloyd and J. C. Shepherdson. Partial Evaluation in Logic Programming. Technical Report CS-87-09, Computer Science Department, University of Bristol, 1987. Revised version 1989, to appear in Journal of Logic Programming.","key":"1_CR42"},{"key":"1_CR43","first-page":"858","volume-title":"Proc. Fourth Int'l Conf. on Logic Programming","author":"M. J. Maher","year":"1987","unstructured":"M. J. Maher. Logic semantics for a class of committed-choice programs. In J.-L. Lassez, editor, Proc. Fourth Int'l Conf. on Logic Programming, pages 858\u2013876. The MIT Press, Cambridge, Mass., 1987."},{"doi-asserted-by":"crossref","unstructured":"M. J. Maher. Equivalences of Logic Programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 627\u2013658. Morgan Kaufmann, Los Altos, Ca., 1988.","key":"1_CR44","DOI":"10.1016\/B978-0-934613-40-8.50020-8"},{"key":"1_CR45","first-page":"733","volume-title":"Proc. Fifth Int'l Conf. on Logic Programming","author":"K. Marriott","year":"1988","unstructured":"K. Marriott and H. S\u00f8ndergaard. Bottom-up abstract interpretation of logic programs. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth Int'l Conf. on Logic Programming, pages 733\u2013748. The MIT Press, Cambridge, Mass., 1988."},{"unstructured":"K. Marriott and H. S\u00f8ndergaard. Semantics-based dataflow analysis of logic programs. In G. Ritter, editor, Information Processing 89. North-Holland, 1989.","key":"1_CR46"},{"key":"1_CR47","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"J. Minker and A. Rajasekar. A Fixpoint Semantics for Disjunctive Logic Programs. Journal of Logic Programming, 9:45\u201374, 1990.","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"V. A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1989.","key":"1_CR48","DOI":"10.1145\/96709.96733"},{"doi-asserted-by":"crossref","unstructured":"V. A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. Seventeenth Annual ACM Symp. on Principles of Programming Languages. ACM, 1990.","key":"1_CR49","DOI":"10.1145\/96709.96733"},{"doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangadnen. Semantic foundation of concurrent constraint programming. In Proc. Eighteenth Annual ACM Symp. on Principles of Programming Languages. ACM, 1990.","key":"1_CR50","DOI":"10.1145\/96709.96733"},{"issue":"3","key":"1_CR51","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Y. Shapiro","year":"1989","unstructured":"E. Y. Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):412\u2013510, 1989.","journal-title":"ACM Computing Surveys"},{"unstructured":"H. Tamaki and T. Sato. Unfold\/Fold Transformations of Logic Programs. In Sten-\u00c5ke Tarnlund, editor, Proc. Second Int'l Conf. on Logic Programming, pages 127\u2013139, 1984.","key":"1_CR52"},{"key":"1_CR53","volume-title":"Proc. Eighth Int'l Conf. on Logic Programming","author":"D. Turi","year":"1991","unstructured":"D. Turi. Extending S-Models to Logic Programs with Negation. In K. Furukawa, editor, Proc. Eighth Int'l Conf. on Logic Programming. The MIT Press, Cambridge, Mass., 1991."},{"issue":"4","key":"1_CR54","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733\u2013742, 1976.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54233-7_121.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T14:08:42Z","timestamp":1687270122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54233-7_121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540542339","9783540475163"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/3-540-54233-7_121","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}