{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T05:28:16Z","timestamp":1735709296739,"version":"3.32.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1990,9,1]],"date-time":"1990-09-01T00:00:00Z","timestamp":652147200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1990,9]]},"DOI":"10.1007\/bf01531082","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:09:06Z","timestamp":1113869346000},"page":"303-338","source":"Crossref","is-referenced-by-count":13,"title":["Most specific logic programs"],"prefix":"10.1007","volume":"1","author":[{"given":"K.","family":"Marriott","sequence":"first","affiliation":[]},{"given":"L.","family":"Naish","sequence":"additional","affiliation":[]},{"given":"J. -L.","family":"Lassez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1990,9,1]]},"reference":[{"key":"BF01531082_CR1","first-page":"293","volume-title":"Logic and Databases","author":"K. Clark","year":"1978","unstructured":"K. Clark, Negation as failure, in:Logic and Databases, H. Gallaire and J. Minker (eds.) (Plenum Press, New York, 1978) pp. 293\u2013322."},{"key":"BF01531082_CR2","unstructured":"N. Dershowitz, and Y. Lee, Deductive debugging,Proc. 4th IEEE Symp. on Logic Programming (IEEE Comp. Soc. Press, 1987) pp. 298\u2013306."},{"key":"BF01531082_CR3","unstructured":"Y. Futamura, Partial Evaluation of Computation Process \u2014 An approach to a compiler-compiler, Systems, Computers, Controls 2, no. 5 (1971)."},{"key":"BF01531082_CR4","unstructured":"T. Kanamori and K. Horiuchi, Type inference in Prolog and its application,Proc. IJCAI 85 (1985) 704\u2013707."},{"key":"BF01531082_CR5","doi-asserted-by":"crossref","unstructured":"H.J. Komorowski, Partial evaluation as a means for inferencing data structures in an applicative language: A theory and implementation in the case of Prolog,Proc. 9th ACM Symp. on Principles of Programming Languages (1982) pp. 255\u2013267.","DOI":"10.1145\/582153.582181"},{"key":"BF01531082_CR6","doi-asserted-by":"crossref","unstructured":"J.-L. Lassez, M.J. Maher, and K. Marriott, Unification revisited,Foundations of deductive databases and logic programming, J. Minker (ed.) (Morgan Kauffman, 1988).","DOI":"10.1016\/B978-0-934613-40-8.50019-1"},{"key":"BF01531082_CR7","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd,Foundations of Logic Programming (Springer-Verlag, 1984).","DOI":"10.1007\/978-3-642-96826-6"},{"key":"BF01531082_CR8","unstructured":"K. Marriott, L. Naish, and J.-L. Lassez, Most specific logic programs,Proc. 5th Int. Conf. and Symp. on Logic Programming (MIT Press, 1988) pp. 909\u2013923."},{"key":"BF01531082_CR9","unstructured":"K. Marriott and H. S\u00f8ndergaard, Bottom-up abstract interpretation of logic programs,Proc. 5th Int. Conf. and Symp. on Logic Programming (MIT Press, 1988) pp. 733\u2013748."},{"key":"BF01531082_CR10","unstructured":"C.S. Mellish, The automatic generation of mode declarations for Prolog programs, DAI Research Paper no. 163, Dept. of Artificial Intelligence, University of Edinburgh (1981)."},{"key":"BF01531082_CR11","unstructured":"L. Naish, The MU-Prolog 3.2 reference manual, Tech. Rpt. 85\/11, Computer Science Dept., University of Melbourne (1985)."},{"issue":"no. 3","key":"BF01531082_CR12","doi-asserted-by":"crossref","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, J. Logic Programming 2, no. 3 (1985) 167\u2013183.","journal-title":"J. Logic Programming"},{"key":"BF01531082_CR13","doi-asserted-by":"crossref","unstructured":"L. Naish, Specification=program+types,Proc. 7th Conf. on Foundations of Software Technology and Theoretical Computer Science, LNCS 287 (Springer, 1987).","DOI":"10.1007\/3-540-18625-5_58"},{"key":"BF01531082_CR14","unstructured":"L. Naish, Parallelizing NU-Prolog,Proc. 5th Int. Conf. and Symp. on Logic Programming (MIT Press, 1988) pp. 1546\u20131564."},{"key":"BF01531082_CR15","first-page":"55","volume-title":"Logic and Databases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter, On closed world databases, in:Logic and Databases, H. Gallaire and J. Minker (eds.) (Plenum Press, New York, 1978) pp. 55\u201376."},{"key":"BF01531082_CR16","first-page":"135","volume":"5","author":"J.C. Reynolds","year":"1970","unstructured":"J.C. Reynolds, Transformational systems and the algebraic structure of atomic formulas, Machine Intelligence 5 (1970) 135\u2013152.","journal-title":"Machine Intelligence"},{"key":"BF01531082_CR17","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0304-3975(84)90119-1","volume":"34","author":"T. Sato","year":"1984","unstructured":"T. Sato and H. Tamaki, Enumeration of success patterns in logic programs, Theoretical Comp. Sci. 34 (1984) 227\u2013240.","journal-title":"Theoretical Comp. Sci."},{"key":"BF01531082_CR18","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro,Algorithmic Program Debugging (MIT Press, 1983).","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"BF01531082_CR19","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(86)90003-2","volume":"30","author":"D.E. Smith","year":"1986","unstructured":"D.E. Smith, M.R. Genesereth, and M.L. Ginsberg, Controlling recursive inference, Artificial Intelligence 30 (1986) 343\u2013389.","journal-title":"Artificial Intelligence"},{"key":"BF01531082_CR20","unstructured":"A. Takeuchi and K. Furukawa, Partial evaluation of Prolog programs and its application to meta programming,IFIP '86 (North-Holland, 1986) pp. 279\u2013282."},{"key":"BF01531082_CR21","volume-title":"Technical Note 309","author":"D.H.D. Warren","year":"1983","unstructured":"D.H.D. Warren, An abstract Prolog instruction set, Technical Note 309, SRI International, Menlo Park (1983)."},{"key":"BF01531082_CR22","unstructured":"D.A. Wolfram, M.J. Maher, and J.-L. Lassez, A unified treatment of resolution strategies for logic programming,Proc. 2nd Int. Conf. on Logic Programming, Uppsala, Sweden (1984) pp. 263\u2013276."},{"key":"BF01531082_CR23","unstructured":"R. Venken, A Prolog meta-interpreter for partial evaluation and its application to source-to-source transformation and query optimisation,Proc. of ECAI (1984)."},{"key":"BF01531082_CR24","unstructured":"J. Zobel, Derivation of polymorphic types for Prolog programs,Proc. 4th Int. Conf. on Logic Programming (MIT Press, 1987) pp. 817\u2013838."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531082\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531082.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531082\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T19:40:36Z","timestamp":1735674036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01531082"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":24,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["BF01531082"],"URL":"https:\/\/doi.org\/10.1007\/bf01531082","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}