{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:07:53Z","timestamp":1725890873133},"publisher-location":"London","reference-count":22,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_9","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T01:49:46Z","timestamp":1356832186000},"page":"118-131","source":"Crossref","is-referenced-by-count":1,"title":["A Rationalisation of the ATMS in Terms of Partial Evaluation"],"prefix":"10.1007","author":[{"given":"Evelina","family":"Lamma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"570","volume-title":"Proceedings Int. Conf. on Fifth Generation Computer Systems","author":"A Bossi","year":"1992","unstructured":"A. Bossi, M. Gabbrielli, G. Levi, and M.C. Meo. Contributions to the Semantics of Open Logic Programs. In Proceedings Int. Conf. on Fifth Generation Computer Systems. ICOT, Tokyo (J), pages 570\u2013580, 1992."},{"key":"9_CR2","first-page":"88","volume-title":"Proceedings of Second Workshop on Extensions of Logic Programming","author":"A Brogi","year":"1992","unstructured":"A. Brogi, E. Lamma, and P. Mello. Open Logic Theories. In L.-H. Eriksson, P. Krueger, and P. Schroeder-Heister, editors, Proceedings of Second Workshop on Extensions of Logic Programming, Lectures Notes in Artificial Intelligence, n. 596, pages 73\u201388, Springer-Verlag, 1992."},{"key":"9_CR3","first-page":"114","volume-title":"Proceedings 10th European Conference on Artificial Intelligence","author":"A Brogi","year":"1992","unstructured":"A. Brogi, E. Lamma, and P. Mello. ATMS for Implementing Logic Programming. Proceedings 10th European Conference on Artificial Intelligence, B. Neumann, editor, Vienna, Austria, John Wiley & Sons, pages 114\u2013118, 1992."},{"unstructured":"M. Bugliesi, E. Lamma, and P. Mello. Partial Deduction for Structured Logic Programming. To appear in Journal of Logic Programming, North- Holland, Special issue on Partial Deduction and Partial Evaluation, J. Komorowski, editor.","key":"9_CR4"},{"key":"9_CR5","volume-title":"Proceedings LOPSTR92","author":"G Giacomo De","year":"1992","unstructured":"G. De Giacomo. Intensional Query Answering: An Application of Partial Evaluation. In Proceedings LOPSTR92, Manchester, UK, July 1992. To appear."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J Kleer De","year":"1986","unstructured":"J. de Kleer. An Assumption-based TMS. Artificial Intelligence, 28: 127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J Doyle","year":"1979","unstructured":"J. Doyle. A Truth Maintenance System. Artificial Intelligence, 12: 231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"9_CR8","first-page":"134","volume-title":"Proc. sixteenth Popl","author":"H Gaifman","year":"1989","unstructured":"H. Gaifman and E. Shapiro. Fully abstract compositional semantics for logic programs. In Proc. sixteenth POPL, pages 134\u2013142, 1989."},{"key":"9_CR9","first-page":"643","volume-title":"Proceedings Int. Conf on Fifth Generation Computer Systems","author":"AC Kim","year":"1992","unstructured":"A.C. Kim, S.H Lee, S.R. Maeng and J.W. Cho. A New Algorithm for Subsumption Test. In Proceedings Int. Conf on Fifth Generation Computer Systems. ICOT, Tokyo (J), pages 643\u2013649, 1992."},{"key":"9_CR10","first-page":"438","volume-title":"Proc. Pricai","author":"AC Kakas","year":"1991","unstructured":"A.C. Kakas and P. Mancarella. On the Relation between Truth Maintenance and Abduction. In Proc. PRICAI, pages 438\u2013443, 1991."},{"key":"9_CR11","volume-title":"Technical Report","author":"AC Kakas","year":"1992","unstructured":"A.C. Kakas, R.A. Kowalski and F. Toni. Ab duct ive Logic Programming. Technical Report, Imperial College, London, UK, 1992."},{"key":"9_CR12","volume-title":"A specification of an abstract Prolog machine and its application to Partial Evaluation","author":"HJ Komorowski","year":"1981","unstructured":"H. J. Komorowski. A specification of an abstract Prolog machine and its application to Partial Evaluation. Technical Report Dissertation, Linkop-ing University, 1981."},{"key":"9_CR13","first-page":"404","volume-title":"Proceedings 9th European Conference on Artificial Intelligence, pages 404-409. Pitman Publishing","author":"HJ Komorowski","year":"1990","unstructured":"H. J. Komorowski. Towards a Programming Methodology Founded on Partial Deduction. In L. Carlucci Aiello, editor, Proceedings 9th European Conference on Artificial Intelligence, pages 404\u2013409. Pitman Publishing, 1990."},{"key":"9_CR14","volume-title":"Department of Computer Science","author":"HJ Kugler","year":"1990","unstructured":"H.J. Kugler, K. Benkerimi and J. Shepherdson. Partial evaluation of dynamic programs. Technical Report CS-90\u201327, Department of Computer Science, University of Bristol, England, 1990."},{"key":"9_CR15","first-page":"119","volume-title":"Proceedings 10th European Conference on Artificial Intelligence","author":"E Lamma","year":"1992","unstructured":"E. Lamma, and P. Mello. An Assumption-based Truth Maintenance System dealing with Non-ground Justifications. Proceedings 10th European Conference on Artificial Intelligence, B, Neumann, editor, Vienna, Austria, John Wiley & Sons, pages 119\u2013123, 1992."},{"key":"9_CR16","volume-title":"Springer- Verlag","author":"J Lloyd","year":"1987","unstructured":"J. Lloyd. Foundations of Logic Programming. Second edition. Springer- Verlag, 1987."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"3\u20134","author":"J Lloyd","year":"1991","unstructured":"J. Lloyd and J. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, Vol. 11, No. 3 and. 4, pages 217\u2013242, 1991.","journal-title":"Ournal of Logic Programming"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D Miller","year":"1989","unstructured":"D. Miller. A logical analysis of modules in logic programming. Journal of Logic Programming, 6: 79\u2013108, 1989.","journal-title":"Journal of Logic Programming"},{"key":"9_CR19","first-page":"377","volume-title":"Proc","author":"D Sahlin","year":"1990","unstructured":"D. Sahlin. The Mixtus Approach to Automatic Partial Evaluation of Full Prolog. In S. Debray and M. Hermenegildo, editors, Proc. NACLP, pages 377\u2013398. The MIT Press, 1990."},{"key":"9_CR20","first-page":"415","volume-title":"Its Application to Meta Programming","author":"A Takeuchi","year":"1986","unstructured":"A. Takeuchi, and K. Furukawa. Partial Evaluation of Prolog Programs and its Application to Meta Programming. In Proceedings 10th World Computer Congress IFIP86, pages 415\u2013420. North-Holland, 1986."},{"key":"9_CR21","first-page":"127","volume-title":"Unfold\/fold Transformation of Logic Programs","author":"H Tamaki","year":"1984","unstructured":"H. Tamaki, and T. Sato. Unfold\/Fold Transformation of Logic Programs. In Proceedings 2nd..Int.I Logic Programming Conference, pages 127\u2013138. Uppsala, 1984."},{"issue":"4","key":"9_CR22","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MH 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":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T23:09:35Z","timestamp":1557443375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_9","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}