{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:20Z","timestamp":1725456020287},"publisher-location":"Berlin\/Heidelberg","reference-count":30,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057879X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017473","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:47:11Z","timestamp":1132645631000},"page":"52-67","source":"Crossref","is-referenced-by-count":10,"title":["Compilative constructive negation in constraint logic programs"],"prefix":"10.1007","author":[{"given":"Paola","family":"Bruscoli","sequence":"first","affiliation":[]},{"given":"Francesca","family":"Levi","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Levi","sequence":"additional","affiliation":[]},{"given":"Maria Chiara","family":"Meo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"495","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, pages 495\u2013574. Elsevier, Amsterdam and The MIT Press, Cambridge, 1990."},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"K. R. Apt and M.H. van Emden. Contributions to the theory of logic programming. Journal of the ACM, 29(3):841\u2013862, 1982.","journal-title":"Journal of the ACM"},{"key":"4_CR3","series-title":"volume 250 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/BFb0014975","volume-title":"TAPSOFT '87","author":"R. Barbuti","year":"1987","unstructured":"R. Barbuti, P. Mancarella, D. Pedreschi, and F. Turini. Intensional Negation of Logic Programs: Examples and Implementation Techniques. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, editors, TAPSOFT '87, volume 250 of Lecture Notes in Computer Science, pages 96\u2013110. Springer-Verlag, Berlin, 1987."},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","volume":"8","author":"R. Barbuti","year":"1990","unstructured":"R. Barbuti, P.Mancarella, D. Pedreschi, and F. Turini. A transformational approach to negation in logic programming. Journal of Logic Programming, 8:201\u2013228, 1990.","journal-title":"Journal of Logic Programming"},{"key":"4_CR5","volume-title":"Lecture Notes in Computer Science","author":"A. Bottoni","year":"1993","unstructured":"A. Bottoni and G. Levi. The inverse of Fitting's functional. In Proc. of the 3rd Kurt Goedel Colloquium on Computational Logic and Proof Theory, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1993. To appear."},{"key":"4_CR6","unstructured":"P. Bruscoli, F. Levi, G. Levi, and M. C. Meo. Intensional negation in Constraint Logic Programs. Technical Report 11\/93, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1993."},{"key":"4_CR7","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":"4_CR8","first-page":"477","volume-title":"An Extension of Constructive Negation and its Application in Coroutining","author":"D. Chan","year":"1989","unstructured":"D. Chan. An Extension of Constructive Negation and its Application in Coroutining. In E. Lusk and R. Overbeek, editors, Proc. North American Conf. on Logic Programming'89, pages 477\u2013493. The MIT Press, Cambridge, Mass., 1989."},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"4_CR10","first-page":"82","volume-title":"SLS-resolution without floundering","author":"W. Drabent","year":"1993","unstructured":"W. Drabent. SLS-resolution without floundering. In L. M. Pereira and A. Nerode, editors, Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, pages 82\u201398. The MIT Press, Cambridge, Mass., 1993."},{"key":"4_CR11","unstructured":"W. Drabent. What is Failure? An Approach to Constructive Negation. Acta Informatica, 1993. To appear."},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0743-1066(85)90014-7","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2:295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"key":"4_CR13","first-page":"1054","volume-title":"Stratified and Three-valued Logic Programming Semantics","author":"M. Fitting","year":"1988","unstructured":"M. Fitting and M. Ben-Jacob. Stratified and Three-valued Logic Programming Semantics. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth Int'l Conf. on Logic Programming, pages 1054\u20131069. The MIT Press, Cambridge, Mass., 1988."},{"key":"4_CR14","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":"4_CR15","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":"4_CR16","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. Technical report, Department of Computer Science, Monash University, June 1986.","DOI":"10.1145\/41625.41635"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen. Negation in logic programming. Journal of Logic Programming, 4:289\u2013308, 1987.","journal-title":"Journal of Logic Programming"},{"key":"4_CR18","unstructured":"F. Levi. Negazione e quantificazione universale in programmazione logica. Master's thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1991. in italian."},{"key":"4_CR19","unstructured":"F. Levi, P. Mancarella, and D. Pedreschi. Negazione Costruttiva e Quantificazione Universale in Programmazione Logica con Vincoli. In S. Costantini, editor, Proc. Seventh Italian Conference on Logic Programming, pages 273\u2013287, 1992."},{"key":"4_CR20","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"},{"key":"4_CR21","first-page":"461","volume-title":"Fail Substitutions for Negation as Failure","author":"J. Maluszy\u0144ski","year":"1989","unstructured":"J. Maluszy\u0144ski and T. N\u00e4slund. Fail Substitutions for Negation as Failure. In E. Lusk and R. Overbeek, editors, Proc. North American Conf. on Logic Programming'89, pages 461\u2013476. The MIT Press, Cambridge, Mass., 1989."},{"issue":"3","key":"4_CR22","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0743-1066(88)90013-1","volume":"5","author":"P. Mancarella","year":"1988","unstructured":"P. Mancarella, S. Martini, and D. Pedreschi. Complete Logic Programs with Domain Closure Axiom. Journal of Logic Programming, 5(3):263\u2013276, 1988.","journal-title":"Journal of Logic Programming"},{"key":"4_CR23","first-page":"23","volume-title":"Algebraic Properties of a Class of Logic Programs","author":"P. Mancarella","year":"1990","unstructured":"P. Mancarella, D. Pedreschi, M. Rondinelli, and M. Tagliatti. Algebraic Properties of a Class of Logic Programs. In S. K. Debray and M. Hermenegildo, editors, Proc. North American Conf. on Logic Programming'90, pages 23\u201339. The MIT Press, Cambridge, Mass., 1990."},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0304-3975(92)90287-P","volume":"105","author":"T. Sato","year":"1992","unstructured":"T. Sato. Equivalence-preserving first-order unfold\/fold transformation systems. Theoretical Computer Science, 105:57\u201384, 1992.","journal-title":"Theoretical Computer Science"},{"key":"4_CR25","unstructured":"T. Sato and F. Motoyoshi. A Complete Top-down Interpreter for First Order Programs. In V. Saraswat and K.Ueda, editors, Proc. 1991 Int'l Symposium on Logic Programming, pages 35\u201353, 1991."},{"key":"4_CR26","unstructured":"T. Sato and H. Tamaki. Transformational Logic Programs Synthesis. In Proceedings of the International Conference of Fifth Generation Computer Systems, 1984, pages 195\u2013201, 1984."},{"key":"4_CR27","unstructured":"J. C. Shepherdson. Language and equality theory in logic programming. Technical Report PM-91-02, School of Mathematics, University of Bristol, 1991."},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"P. J. Stuckey. Constructive Negation for Constraint Logic Programming. In Proc. Sixth IEEE Symp. on Logic In Computer Science, pages 328\u2013339. IEEE Computer Society Press, 1991.","DOI":"10.1109\/LICS.1991.151657"},{"key":"4_CR29","unstructured":"P. J. Stuckey. Constructive Negation for Constraint Logic Programming. Technical report, Department of Computer Science, University of Melbourne, 1991."},{"issue":"4","key":"4_CR30","doi-asserted-by":"publisher","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","Trees in Algebra and Programming \u2014 CAAP'94"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017473.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:38:54Z","timestamp":1683297534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057879X"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/bfb0017473","relation":{},"subject":[]}}