{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:36Z","timestamp":1725455916173},"publisher-location":"Berlin\/Heidelberg","reference-count":33,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055873X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013839","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:24:11Z","timestamp":1132730651000},"page":"384-402","source":"Crossref","is-referenced-by-count":3,"title":["Partial deduction of logic programs WRT well-founded semantics"],"prefix":"10.1007","author":[{"given":"Chandrabose","family":"Aravindan","sequence":"first","affiliation":[]},{"given":"Phan Minh","family":"Dung","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"APT, K.R., BLAIR, H.A., & WALKER, A. (1988), Towards a theory of declarative knowledge, In: Foundations of deductive databases and logic programming, (Ed.) Minker, J., pp. 89\u2013148, Morgan Kaufmann Publisher Inc.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"25_CR2","volume-title":"Technical Report","author":"C. Aravindan","year":"1992","unstructured":"ARAVINDAN, C. & DUNG, P.M. (1992), Partial deduction of logic programs wrt well-founded semantics, Technical Report, Division of computer science, Asian Institute of Technology, Bangkok, Thailand."},{"key":"25_CR3","volume-title":"Technical Report CS-R9075","author":"R.N. Bol","year":"1990","unstructured":"BOL, R.N. (1990), Loop checking and negation, Technical Report CS-R9075, Centre for mathematics and computer science, Amsterdam, The Netherlands."},{"key":"25_CR4","volume-title":"Technical Report","author":"R.N. Bol","year":"1991","unstructured":"BOL, R.N. (1991), Loop checking in partial deduction, Technical Report, Centre for mathematics and computer science, Amsterdam, The Netherlands."},{"key":"25_CR5","volume-title":"Technical Report CS-R8942","author":"R.N. Bol","year":"1991","unstructured":"BOL, R.N., APT, K.R., & KLOP, J.W. (1991), An analysis of loop checking mechanisms for logic programs, Technical Report CS-R8942, Centre for mathematics and computer science, Amsterdam, The Netherlands."},{"key":"25_CR6","volume-title":"Tech. Rep. No. TR-89-04","author":"K. Benkerimi","year":"1989","unstructured":"BENKERIMI, K. & LLOYD, J. W. (1989), A Procedure for the Partial Evaluation of Logic Programs, Tech. Rep. No. TR-89-04, University of Bristol, U.K."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"BARBUTI, R., MANCARELLA, P., PEDRESCHI, D., and TURINI, F. (1990), A Transformational Approach to Negation in Logic Programming, The Journal of Logic Programming 8, pp. 201\u2013228, Elsevier Science Publishing Co.","DOI":"10.1016\/0743-1066(90)90023-X"},{"key":"25_CR8","first-page":"293","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"CLARK, K.L. (1978), Negation as Failure, In: Logic and Databases, (Eds.) Gallaire, H. & Minker, J., pp. 293\u2013322, Plenum press, New York."},{"key":"25_CR9","volume-title":"Technical Report TR-LP-31","author":"D. Chan","year":"1988","unstructured":"CHAN, D. (1988), Constructive Negation Based On The Completed Database, Technical Report TR-LP-31, ECRC, Germany."},{"key":"25_CR10","volume-title":"Technical Memo HPL-ISC-TM-89-037","author":"D. Chan","year":"1989","unstructured":"CHAN, D. (1989), An extension of Constructive negation and its application in coroutining, Technical Memo HPL-ISC-TM-89-037, Hewlett-Packard Laboratories, Bristol, U.K."},{"key":"25_CR11","unstructured":"CHAN, D. & WALLACE, M. (1988), A treatment of Negation during Partial Evaluation, In: Meta-programming in Logic Programming, (Eds.) Abramson, H. & Rogers, M.H., pp. 299\u2013317, MIT Press."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"DUNG, P.M. (1992), On the relations between stable and well-founded semantics of logic programs, To appear in Theoretical Computer Science (Vol. 105, Feb, 1993).","DOI":"10.1016\/0304-3975(92)90285-N"},{"key":"25_CR13","unstructured":"FURUKAWA, K., FUJITA, H., & SHINTANI, T. (1989), Deriving an Efficient Production System by Partial Evaluation, In: Proc. of North American Conference on Logic Programming (Vol. 1), (Eds.) Ewing L. Lusk & Ross A. Overbeek, MIT Press."},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"GALLAGHER, J., CODISH, M.,& SHAPIRO, E. (1988), Specialization of Prolog and FCP programs using abstract interpretation, NGC: Special Issue \u2014 Selected papers from workshop on Partial Evaluation and Mixed Computation, 1987, pp. 159\u2013186, OHMSHA Ltd. and Springer-Verlag.","DOI":"10.1007\/BF03037136"},{"key":"25_CR15","unstructured":"GELFOND, M. & LIFSCHITZ, V. (1988), The stable model semantics for logic programs, In: Proc. of the 5th International Conf\/Symp on Logic Programming, (Eds.) Kowalski, R.A. & Bowen, K.A., pp. 1070\u20131080, MIT Press."},{"key":"25_CR16","unstructured":"komorowski, J. (1990), Towards a Programming Methodology Founded on Partial Deduction, In: Proc. of the ECAI'90, Stockholm, Sweden."},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"KANCHANASUT, K. & STUCKEY, P.J. (1990), Eliminating Negation from Normal Logic Programs, In: Proc. of the Second International Conference on Algebraic and Logic Programming, (Eds.) Kirchner, H. & Wechler, W., LNCS 463, pp. 217\u2013231, Springer-Verlag.","DOI":"10.1007\/3-540-53162-9_41"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"LLOYD, J.W. (1987), Foundations of Logic Programming, Second Extended Edition, Springer-Verlag.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"25_CR19","unstructured":"LUGIEZ, D. (1989), A deduction procedure for first order programs, In: Proc. of the 6th International Conference on Logic Programming, (Eds.) Levi, G. and Martelli, M., pp. 585\u2013599, MIT Press."},{"key":"25_CR20","volume-title":"Tech. Rep. No. CS-87-09","author":"J.W. Lloyd","year":"1987","unstructured":"LLOYD, J.W. & SHEPHERDSON, J.C. (1987), Partial Evaluation in Logic Programming, Tech. Rep. No. CS-87-09, University of Bristol, U.K."},{"key":"25_CR21","unstructured":"MANCARELLA,P., PEDRESCHI,D., RONDINELLI,M., & TAGLIATTI,M. (1990), Algebraic Properties of a class of logic programs, In: Proc. of the 1990 North American Conference on Logic Programming, (Eds.) Debray, S. & Hermenegildo, M., pp. 23\u201339, MIT Press."},{"key":"25_CR22","unstructured":"New Generation Computing: Special Issue \u2014 Selected papers from workshop on Partial Evaluation and Mixed Computation, 1987, OHMSHA Ltd. and Springer-Verlag."},{"key":"25_CR23","volume-title":"Technical Report TR-LP-54-00","author":"S.D. Prestwich","year":"1990","unstructured":"PRESTWICH, S.D. (1990), Automatic Partial Evaluation,Technical Report TR-LP-54-00, ECRC, Germany."},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"PRZYMUSINSKI, T.C. (1988), On the declarative semantics of deductive databases and logic programs, In: Foundations of deductive databases and logic programming, (Ed.) Minker, J., pp. 193\u2013216, Morgan Kaufmann Publisher Inc.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"25_CR25","volume-title":"Technical Report","author":"T.C. Przymusinski","year":"1990","unstructured":"PRZYMUSINSKI, T.C. (1990), On Constructive Negation in Logic Programming, Technical Report, University of Texas at El Paso, U.S.A."},{"key":"25_CR26","unstructured":"PRZYMUSINSKA, H. & PRZYMUSINSKI, T.C. (1988), Weakly perfect model semantics for logic programs, In: Proc. of the 5th International Conf\/Symp on Logic Programming, (Eds.) Kowalski, R.A. & Bowen, K.A., pp. 1106\u20131120, MIT Press."},{"key":"25_CR27","volume-title":"Tech. Rep. No. STAN-CS-88-1233","author":"K.A. Ross","year":"1988","unstructured":"ROSS, K.A. (1988), A Procedural Semantics for Well Founded Negation in Logic Programs, Tech. Rep. No. STAN-CS-88-1233, Stanford University, U.S.A."},{"key":"25_CR28","volume-title":"Ph.D. Dissertation","author":"D. Sahlin","year":"1991","unstructured":"SAHLIN, D. (1991), An automatic partial evaluator for full Prolog, Ph.D. Dissertation, Dept. of Telecommunication and Computer Systems, The Royal Institute of Technology, Stockholm, Sweden."},{"key":"25_CR29","volume-title":"Technical Report No. PM\/88\/08, School of Mathematics","author":"J. C. Shepherdson","year":"1988","unstructured":"SHEPHERDSON, J. C. (1988), Language and Equality Theory in Logic Programming, Technical Report No. PM\/88\/08, School of Mathematics, University of Bristol, U.K."},{"key":"25_CR30","first-page":"195","volume-title":"Transformational Logic Program Synthesis","author":"T. Sato","year":"1984","unstructured":"SATO, T. & TAMAKI, H. (1984), Transformational Logic Program Synthesis, In: Proc. of the International Conference on Fifth Generation Computer Systems, (Eds.) ICOT, pp. 195\u2013201, ICOT, Japan."},{"key":"25_CR31","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","volume":"36","author":"F. Harmelen Van","year":"1988","unstructured":"VAN HARMELEN, F. & BUNDY, A. (1988), Explanation-Based Generalization = Partial Evaluation, Artificial Intelligence 36, pp. 401\u2013412.","journal-title":"Artificial Intelligence"},{"key":"25_CR32","volume-title":"Technical Report UCSC-CRL-89-38","author":"A. Gelder Van","year":"1989","unstructured":"VAN GELDER, A., ROSS, K.A & SCHLIPF, J.S. (1989), Unfounded Sets and Well-Founded Semantics for General Logic Programs, Technical Report UCSC-CRL-89-38, University of California at Santa Cruz, U.S.A."},{"key":"25_CR33","volume-title":"Technical Report","author":"M. Wallace","year":"1987","unstructured":"WALLACE, M. (1987), Negation By Constraints: A Sound and Efficient Implementation of negation in Deductive Databases, Technical Report, ECRC, Germany."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013839","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:33:17Z","timestamp":1586579597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013839"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055873X"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0013839","relation":{},"subject":[]}}