{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:45Z","timestamp":1725456405284},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055727X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013070","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:02:07Z","timestamp":1132729327000},"page":"297-308","source":"Crossref","is-referenced-by-count":1,"title":["A two steps semantics for logic programs with negation"],"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"}]},{"given":"Daniele","family":"Turi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics","author":"K. R. Apt","year":"1990","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":"27_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. R. Apt","year":"1988","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."},{"issue":"2","key":"27_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1142\/S0129054190000126","volume":"1","author":"R. Barbuti","year":"1990","unstructured":"R. Barbuti and M. Martelli. Recognizing Non-Floundering Logic Programs and Goals. International Journal on Foundations of Computer Science, 1(2):151\u2013163, 1990.","journal-title":"International Journal on Foundations of Computer Science"},{"key":"27_CR4","unstructured":"A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. Contributions to the Semantics of Open Logic Programs. In Proceedings of the International Conference on Fifth Generation Computer Systems 1992, 1992. To appear."},{"key":"27_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, pages 95\u2013109, 1991."},{"key":"27_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.","DOI":"10.1145\/73721.73725"},{"key":"27_CR7","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.","DOI":"10.1007\/3-540-53557-8_20"},{"key":"27_CR8","first-page":"111","volume-title":"Constructive Negation Based on the Completed Database","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":"27_CR9","first-page":"604","volume-title":"A Fixpoint Approach to Declarative Semantics of Logic Programs","author":"P. M. 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":"27_CR10","first-page":"70","volume-title":"volume 405 of Lecture Notes in Computer Science","author":"P. M. Dung","year":"1989","unstructured":"Phan Minh Dung and K. Kanchanasut. A Natural Semantics of Logic Programs with Negation. In Proc. of the Ninth Int'l Conf. on Foundations of Software Technology and Theoretical Computer Science, volume 405 of Lecture Notes in Computer Science, pages 70\u201380. Springer-Verlag, Berlin, 1989."},{"issue":"3","key":"27_CR11","doi-asserted-by":"publisher","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"},{"key":"27_CR12","first-page":"238","volume-title":"Modeling Answer Constraints in Constraint Logic Programs","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, pages 238\u2013252. The MIT Press, Cambridge, Mass., 1991."},{"key":"27_CR13","first-page":"1","volume-title":"volume 510 of Lecture Notes in Computer Science","author":"M. Gabbrielli","year":"1991","unstructured":"M. Gabbrielli and G. Levi. On the Semantics of Logic Programs. In J. Leach Albert, B. Monien, and M. Rodriguez-Artalejo, editors, Automata, Languages and Programming, 18th International Colloquium, volume 510 of Lecture Notes in Computer Science, pages 1\u201319. Springer-Verlag, Berlin, 1991."},{"key":"27_CR14","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.","DOI":"10.1145\/41625.41635"},{"key":"27_CR15","first-page":"217","volume-title":"volume 463 of Lecture Notes in Computer Science","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":"27_CR16","first-page":"1649","volume-title":"Models, Unfolding Rules and Fixpoint Semantics","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."},{"key":"27_CR17","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":"27_CR18","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.","edition":"Second edition"},{"issue":"1","key":"27_CR19","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J. W. Lloyd","year":"1986","unstructured":"J. W. Lloyd and R. W. Topor. A Basis for Deductive Database Systems II. Journal of Logic Programming, 3(1):55\u201367, 1986.","journal-title":"Journal of Logic Programming"},{"key":"27_CR20","first-page":"661","volume-title":"A Characterization of Non-Floundering Logic Programs","author":"K. Marriott","year":"1990","unstructured":"K. Marriott, H. S\u00f8ndergaard, and P. Dart. A Characterization of Non-Floundering Logic Programs. In S. Debray and M. Hermenegildo, editors, Proc. North American Conf. on Logic Programming'90, pages 661\u2013680. The MIT Press, Cambridge, Mass., 1990."},{"key":"27_CR21","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. Przymusinski","year":"1988","unstructured":"T. Przymusinski. On the Declarative Semantics of Deductive Databases and Logic Programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193\u2013216. Morgan Kaufmann, Los Altos, Ca., 1988."},{"issue":"3","key":"27_CR22","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(85)90018-4","volume":"2","author":"J. C. Shepherdson","year":"1985","unstructured":"J. C. Shepherdson. Negation as Failure II. Journal of Logic Programming, 2(3):185\u2013202, 1985.","journal-title":"Journal of Logic Programming"},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"P. J. Stuckey. Constructive Negation for Constraint Logic Programming. In Proc. Sixth IEEE Symp. on Logic In Computer Science. IEEE Computer Society Press, 1991.","DOI":"10.1109\/LICS.1991.151657"},{"key":"27_CR24","first-page":"397","volume-title":"Extending S-Models to Logic Programs with Negation","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, pages 397\u2013411. The MIT Press, Cambridge, Mass., 1991."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:30:07Z","timestamp":1586579407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055727X"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0013070","relation":{},"subject":[]}}