{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:52:55Z","timestamp":1725605575889},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642642494"},{"type":"electronic","value":"9783642600852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_8","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"195-208","source":"Crossref","is-referenced-by-count":1,"title":["Assessment of Some Issues in CL-Theory and Program Development"],"prefix":"10.1007","author":[{"given":"Danny","family":"Schreye","sequence":"first","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\u201320","author":"KR Apt","year":"1994","unstructured":"K.R. Apt and R.N. Bol. Logic Programming and negation: a survey. The Journal of Logic Programming, 19\u201320:9\u201372, 1994.","journal-title":"The Journal of Logic Programming"},{"key":"8_CR2","first-page":"185","volume-title":"Technology of Object-Oriented Languages and Systems TOOLS 13","author":"S Baelen Van","year":"1994","unstructured":"S. Van Baelen, J. Lewi, and E. Steegmans. Constraints in object-oriented analysis and design. In B. Magnusson, B. Meyer, J.-M. Nerson, and J.-F. Perrot, editors, Technology of Object-Oriented Languages and Systems TOOLS 13, pages 185\u2013199. Prentice-Hall, 1994."},{"volume-title":"The Journal of Logic Programming, Tenth Anniversary Issue","year":"1994","key":"8_CR3","unstructured":"M. Bruynooghe, S. Debray, M. Hermenegildo, and M. Maher, editors. The Journal of Logic Programming, Tenth Anniversary Issue, Vol.19\/20. Elsevier Science Publishers, 1994."},{"key":"8_CR4","first-page":"1624","volume-title":"Proceedings of the fifth International Conference and Symposium on Logic Programming","author":"A Bundy","year":"1988","unstructured":"A. Bundy. A broader interpretation of Logic in Logic Programming. In K.Bowen, R. Kowalski, editors, Proceedings of the fifth International Conference and Symposium on Logic Programming, pages 1624\u20131648. MIT-press, 1988."},{"key":"8_CR5","unstructured":"Y. Deville. Logic Programming: Systematic Program Development Addison- Wesley, 1990."},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0743-1066(94)90029-9","volume":"19\u201320","author":"Y Deville","year":"1994","unstructured":"Y. Deville and K.-K. Lau. Logic program synthesis. The Journal of Logic Programming, 19\u201320:321\u2013350, 1994.","journal-title":"The Journal of Logic Programming"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-58402-1_13","volume-title":"Programming Languages: Implementations, Logics and Programs","author":"R Glueck","year":"1994","unstructured":"R. Glueck and M. H. Soerensen. Partial deduction and driving are equivalent. In M. Hermenegildo and J. Penjam, editors, Programming Languages: Implementations, Logics and Programs, pages 165\u2013181. Springer-Verlag, Lecture Notes in Computer Science, Volume 844, 1994."},{"key":"8_CR8","unstructured":"M. Hermenegildo, G. Puebla, and F. Bueno. Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. This volume."},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\u201320","author":"J Jaffar","year":"1994","unstructured":"J. Jaffar and M. Maher. Constraint Logic Programming: a survey. The Journal of Logic Programming 19\u201320:503\u2013582, 1994.","journal-title":"The Journal of Logic Programming"},{"key":"8_CR10","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming 5","author":"AC Kakas","year":"1998","unstructured":"A. C. Kakas, R. Kowalski, and F. Toni. The role of abduction in Logic Programming. In D. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming 5 pages 235\u2013324. Oxford University Press, 1998."},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"RA Kowalski","year":"1979","unstructured":"R.A. Kowalski. Algorithm = logic + control. Communications of the ACM 22:424\u2013431, 1979.","journal-title":"Communications of the ACM"},{"key":"8_CR12","first-page":"1","volume-title":"Symposium on Computational Logic","author":"RA Kowalski","year":"1990","unstructured":"R.A. Kowalski. Problems and promises of Computational Logic. In J.W. Lloyd, editor, Symposium on Computational Logic pages 1\u201336. Springer-Verlag, 1990."},{"key":"8_CR13","volume-title":"What is a Logical System?","author":"RA Kowalski","year":"1995","unstructured":"R.A. Kowalski. Logic without model theory. In D. Gabbay, editor, What is a Logical System? Oxford University Press, 1995."},{"key":"8_CR14","first-page":"221","volume-title":"A hyperresolution-based proof procedure and its implementation in Prolog","author":"R Manthey","year":"1987","unstructured":"R. Manthey and F. Bry. A hyperresolution-based proof procedure and its implementation in Prolog. In Proceedings of the 11th German Workshop on Artificial Intelligence pages 221\u2013230, 1987."},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19\u201320","author":"S Muggleton","year":"1994","unstructured":"S. Muggleton and L. De Raedt. Inductive Logic Programming: theory and methods. The Journal of Logic Programming 19\u201320:629\u2013680, 1994.","journal-title":"The Journal of Logic Programming"},{"issue":"3","key":"8_CR16","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0743-1066(85)90017-2","volume":"2","author":"L Naish","year":"1985","unstructured":"L. Naish. Automating control for logic programs. The Journal of Logic Programming 2(3):167\u2013183, 1985.","journal-title":"The Journal of Logic Programming"},{"key":"8_CR17","unstructured":"D. Pearce. Report on the CLN strategic planning workshop, Rome, June 20\u201321. Technical report, Compulog Network of Excellence, available at http:\/\/www.cs.ucy.ac.cy\/compulog\/newpage5.htm, 1997."},{"key":"8_CR18","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","volume":"16(3\u20134)","author":"T Provost Le","year":"1993","unstructured":"T. Le Provost and M. Wallace.Constraint satisfaction over the CLP schemeThe Journal of Logic Programming, Special Issue on Constraint Logic Programming, 16(3\u20134):319\u2013359, 1993","journal-title":"The Journal of Logic Programming, Special Issue on Constraint Logic Programming"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"G. Puebla and M. Hermenegildo. Abstract multiple specialization and its application to program parallelization. Journal of Logic Programming. Special Issue on Synthesis, Transformation and Anaalysis of Logic Programs, 1999. To appear.","DOI":"10.1016\/S0743-1066(99)00031-X"},{"key":"8_CR20","first-page":"395","volume":"19\u201320","author":"P Roy Van","year":"1994","unstructured":"Peter Van Roy. The wonder years of sequential Prolog implementation. The Journal of Logic Programming, 19\u201320:395\u2013442, 1994","journal-title":"The Journal of Logic Programming"},{"key":"8_CR21","first-page":"442","volume-title":"XSB as an efficient deductive database engine. In Proceedings of the ACM SIGMOND International Conference on the Management of Data","author":"K Sagonas","year":"1994","unstructured":"Konstantinos Sagonas, Terrance Swift, and David S. Warren. XSB as an efficient deductive database engine. In Proceedings of the ACM SIGMOND International Conference on the Management of Data, pages 442\u2013453, Minneapolis, Minnesota, May 1994. ACM Press"}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T22:30:57Z","timestamp":1638570657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_8","relation":{},"ISSN":["1431-0066"],"issn-type":[{"type":"print","value":"1431-0066"}],"subject":[],"published":{"date-parts":[[1999]]}}}