{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T23:40:10Z","timestamp":1684971610283},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf03038308","type":"journal-article","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T04:03:39Z","timestamp":1240805019000},"page":"45-74","source":"Crossref","is-referenced-by-count":9,"title":["Partial deduction of logic programs wrt well-founded semantics"],"prefix":"10.1007","volume":"13","author":[{"given":"Chandrabose","family":"Aravindan","sequence":"first","affiliation":[]},{"given":"Phan Minh","family":"Dung","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03038308_CR1","unstructured":"Komorowski, J., \u201cTowards a Programming Methodology Founded on Partial Deduction,\u201d inProc. of the ECAI\u201990, Stockholm, Sweden, 1990."},{"key":"BF03038308_CR2","series-title":"Technical Report, TR-LP-54-00","volume-title":"Automatic Partial Evaluation","author":"S. D. Prestwich","year":"1990","unstructured":"Prestwich, S. D., \u201cAutomatic Partial Evaluation,\u201dTechnical Report, TR-LP-54-00, ECRC, Germany, 1990."},{"key":"BF03038308_CR3","unstructured":"Sahlin, D., \u201cAn Automatic Partial Evaluator for Full Prolog,\u201dPh.D. dissertation, Department of Telecommunication and Computer Systems, The Royal Institute of Technology, Stockholm, Sweden, 1991."},{"key":"BF03038308_CR4","unstructured":"Furukawa, K., Fujita, H., and Shintani, T., \u201cDeriving an Efficient Production System by Partial Evaluation,\u201d inProc. of the 1989 North American Conference on Logic Programming, Vol. 1 (Ewing L. Lusk and Ross A. Overbeek, eds.), MIT Press, pp. 661\u2013674, 1989."},{"key":"BF03038308_CR5","series-title":"Technical Report, No. CS-87-09","volume-title":"Partial Evaluation in Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W. and Shepherdson, J. C., \u201cPartial Evaluation in Logic Programming,\u201dTechnical Report, No. CS-87-09, University of Bristol, U. K., 1987."},{"key":"BF03038308_CR6","doi-asserted-by":"crossref","unstructured":"New Generation Computing, 6 (Special Issue\u2014Selected papers from Workshop on Partial Evaluation and Mixed Computation), 1988.","DOI":"10.1007\/BF03037145"},{"key":"BF03038308_CR7","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","volume":"36","author":"F. Harmelen van","year":"1989","unstructured":"van Harmelen, F. and Bundy, A., \u201cExplanation-Based Generalization=Partial Evaluation,\u201dArtificial Intelligence, 36, pp. 401\u2013412, 1989.","journal-title":"Artificial Intelligence"},{"key":"BF03038308_CR8","first-page":"293","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"Clark, K. L., \u201cNegation as Failure,\u201d inLogic and Databases (H. Gallaire and J. Minker, eds.), Plenum Press, New York, pp. 293\u2013322, 1978."},{"key":"BF03038308_CR9","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, second extended edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03038308_CR10","unstructured":"Sato, T. and Tamaki, H., \u201cTransformational Logic Program Synthesis,\u201d inProc. of the International Conference on Fifth Generation Computer Systems, ICOT, Japan, pp. 195\u2013201, 1984."},{"key":"BF03038308_CR11","unstructured":"Chan, D. and Wallace, M., \u201cA Treatment of Negation during Partial Evaluation,\u201d inMeta-Programming in Logic Programming (H. Abramson and M. H. Rogers, eds.), MIT Press, pp. 299\u2013317, 1988."},{"key":"BF03038308_CR12","doi-asserted-by":"crossref","unstructured":"Bol, R. N., \u201cLoop Checking in Partial Deduction,\u201dThe Journal of Logic Programming, 16, 1&2, pp. 25\u201346, 1993.","DOI":"10.1016\/0743-1066(93)90022-9"},{"key":"BF03038308_CR13","unstructured":"Chan, D., \u201cConstructive Negation Based on the Completed Database,\u201d inProc. of the Fifth International Conference and Symposium on Logic Programming (R. A. Kowalski and K. A. Bowen, eds.), MIT Press, pp. 111\u2013125, 1988."},{"key":"BF03038308_CR14","unstructured":"Chan, D., \u201cAn Extension of Constructive Negation and Its Application in Coroutining,\u201d inProc. of the 1989 North American Conference on Logic Programming, Vol. 1 (Ewing L. Lusk and Ross A. Overbeek, eds.), MIT Press, pp. 477\u2013493, 1989."},{"key":"BF03038308_CR15","unstructured":"Wallace, M., \u201cNegation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases,\u201dTechnical Report, ECRC, Germany, 1987."},{"key":"BF03038308_CR16","doi-asserted-by":"crossref","unstructured":"Bol, R. N., Apt, K. R. and Klop, J. W., \u201cAn Analysis of Loop Checking Mechanisms for Logic Programs,\u201dTheoretical Computer Science, 86, 1, pp. 35\u201379, 1991.","DOI":"10.1016\/0304-3975(91)90004-L"},{"key":"BF03038308_CR17","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Blair, H. A., and Walker, A., \u201cTowards a Theory of Declarative Knowledge,\u201d inFoundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann Publisher Inc., pp. 89\u2013148, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"BF03038308_CR18","doi-asserted-by":"crossref","unstructured":"Dung, P. M., \u201cOn the Relations between Stable and Well-Founded Semantics of Logic Programs,\u201dTheoretical Computer Science, 105, pp. 7\u201325, 1992.","DOI":"10.1016\/0304-3975(92)90285-N"},{"key":"BF03038308_CR19","unstructured":"Gelfond, M. and Lifschitz, V., \u201cThe Stable Model Semantics for Logic Programs,\u201d inProc. of the 5th International Conf. Symp. on Logic Programming (R. A. Kowalski and K. A. Bowen, eds.), MIT Press, pp. 1070\u20131080, 1988."},{"key":"BF03038308_CR20","doi-asserted-by":"crossref","unstructured":"Przymusinski, T. C., \u201cOn the Declarative Semantics of Deductive Databases and Logic Programs,\u201d inFoundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann Publisher Inc., pp. 193\u2013216, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"BF03038308_CR21","doi-asserted-by":"crossref","unstructured":"van Gelder, A., Ross, K. A., and Schlipf, J. S., \u201cUnfounded Sets and Well-Founded Semantics for General Logic Programs,\u201d inACM Symposium on Principles of Database Systems, ACM Press, pp. 221\u2013230, 1988.","DOI":"10.1145\/308386.308444"},{"key":"BF03038308_CR22","unstructured":"Przymusinski, T. C., \u201cOn Constructive Negation in Logic Programming,\u201d inProc. of the 1989 North Amerian Conference on Logic Programming (Ewing L. Lusk and Ross A. Overbeek, eds.), Addendum, MIT Press, 1989."},{"key":"BF03038308_CR23","series-title":"Technical Report, No. PM\/88\/08","volume-title":"Language and Equality Theory in Logic Programming","author":"J. C. Shepherdson","year":"1988","unstructured":"Shepherdson, J. C., \u201cLanguage and Equality Theory in Logic Programming,\u201dTechnical Report, No. PM\/88\/08. School of Mathematics, University of Bristol, U. K., 1988."},{"key":"BF03038308_CR24","doi-asserted-by":"crossref","unstructured":"Gallagher, J., Codish, M., and Shapiro, E., \u201cSpecialisation of Prolog and FCP Programs Using Abstract Interpretation,\u201dNew Generation Computing, 6 (Special Issue \u2014Selected papers from Workshop on Partial Evaluation and Mixed Computation), pp. 159\u2013186, 1988.","DOI":"10.1007\/BF03037136"},{"key":"BF03038308_CR25","unstructured":"Benkerimi, K. and Lloyd, J. W., \u201cA Partial Evaluation Procedure for Logic Programs,\u201d inProc. of the 1990 North American Conference on Logic Programming (S. Debray and M. Hermenegildo, eds.), MIT Press, pp. 343\u2013358, 1990."},{"key":"BF03038308_CR26","series-title":"Technical Report, No. STAN-CS-88-1233","volume-title":"A Procedural Semantics for Well Founded Negation in Logic Programs","author":"K. A. Ross","year":"1988","unstructured":"Ross, K. A., \u201cA Procedural Semantics for Well Founded Negation in Logic Programs,\u201dTechnical Report, No. STAN-CS-88-1233, Stanford University, U.S.A., 1988."},{"issue":"1","key":"BF03038308_CR27","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0743-1066(93)90021-8","volume":"16","author":"H. Seki","year":"1993","unstructured":"Seki, H., \u201cUnfold\/Fold Transformation of Logic Programs for the Well-Founded Semantics,\u201dThe Journal of Logic Programming, 16, 1&2, pp. 5\u201323, 1993.","journal-title":"The Journal of Logic Programming"},{"key":"BF03038308_CR28","doi-asserted-by":"crossref","unstructured":"Przymusinska, H., Przymusinski, T., and Seki, H., \u201cSoundness and Completeness of Partial Deductions for Well-Founded Semantics,\u201d inLogic Programming and Automated Reasoning (A. Voronkov, ed.), St. Petersburg, Russia, July 1192. (Lecture Notes in Artificial Intelligence, Vol. 624, Springer-Verlag, pp. 1\u201312, 1992).","DOI":"10.1007\/BFb0013044"},{"issue":"1&2","key":"BF03038308_CR29","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0743-1066(93)90017-B","volume":"15","author":"R. N. Bol","year":"1993","unstructured":"Bol, R. N., \u201cLoop Checking and Negation,\u201dThe Journal of Logic Programming, 15, 1&2, pp. 147\u2013175, 1993.","journal-title":"The Journal of Logic Programming"},{"key":"BF03038308_CR30","doi-asserted-by":"crossref","unstructured":"Kanchanasut, K. and Stuckey, P. J., \u201cEliminating Negation from Normal Logic Programs,\u201d inProc. of the Second Internatinal Conference on Algebraic and Logic Programming (H. Kirchner and W. Wechler, eds.), (LNCS 463), Springer-Verlag, pp. 217\u2013231, 1990.","DOI":"10.1007\/3-540-53162-9_41"},{"key":"BF03038308_CR31","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","volume":"8","author":"R. Barbuti","year":"1990","unstructured":"Barbuti, R., Mancarella, P., Pedreschi, D., and Turini, F., \u201cA Transformational Approach to Negation in Logic Programming,\u201dThe Journal of Logic Programming, 8, pp. 201\u2013228, 1990.","journal-title":"The Journal of Logic Programming"},{"key":"BF03038308_CR32","unstructured":"Lugiez, D., \u201cA Deduction Procedure for First Order Programs,\u201d inProc. of the 6th International Conference on Logic Programming (G. Levi and M. Martelli, eds.), MIT Press, pp. 585\u2013599, 1989."},{"key":"BF03038308_CR33","unstructured":"Mancarella, P., Pedreschi, D., Rondinelli, M., and Tagliatti, M., \u201cAlgebraic Properties of a Class of Logic Programs,\u201d inProc. of the 1990 North American Conference on Logic Programming (S. Debray and M. Hermenegildo, eds.), MIT Press, pp. 23\u201339, 1990."},{"key":"BF03038308_CR34","unstructured":"Dung, P. M., \u201cNegation as Hypotheses: An Abductive Foundation for Logic Programming,\u201d inProc. of the 8th International Conference on Logic Programming (K. Furukawa, ed.), MIT Press, pp. 3\u201317, 1991."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03038308.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03038308\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03038308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T23:02:38Z","timestamp":1684969358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03038308"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF03038308"],"URL":"https:\/\/doi.org\/10.1007\/bf03038308","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}