{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T04:20:53Z","timestamp":1768450853790,"version":"3.49.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,8,1]],"date-time":"1991-08-01T00:00:00Z","timestamp":681004800000},"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":[[1991,8]]},"DOI":"10.1007\/bf03037172","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:52:58Z","timestamp":1240368778000},"page":"425-443","source":"Crossref","is-referenced-by-count":35,"title":["A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics"],"prefix":"10.1007","volume":"9","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF03037172_CR1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. R. Apt","year":"1987","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, Los Altos, 1987."},{"issue":"3","key":"BF03037172_CR2","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"Apt, K. R. and Van Emden, M. H., \u201cContributions to the Theory of Logic Programming,\u201dJACM, 29, 3, pp. 841\u2013862, 1982.","journal-title":"JACM"},{"key":"BF03037172_CR3","doi-asserted-by":"crossref","unstructured":"Batarekh, A., \u201cFixpoint Techniques for Non-Monotone Maps,\u201dProc. of the 2nd Int. Conf. on Algebraic and Logic Programming, Nancy, 1990.","DOI":"10.1007\/3-540-53162-9_35"},{"key":"BF03037172_CR4","unstructured":"Brough, D. R., Walker, A., \u201cSome Practical Properties of Logic Programming Interpreters,\u201dProc. of FGCS\u201984, Tokyo, 1984."},{"key":"BF03037172_CR5","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."},{"issue":"3","key":"BF03037172_CR6","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(89)90020-4","volume":"7","author":"L. Cavedon","year":"1989","unstructured":"Cavedon, L. and Lloyd, J. W., \u201cA Completeness Theorem for SLDNF-Resolution,\u201dJournal of Logic Programming, 7, 3, pp. 177\u2013192, 1989.","journal-title":"Journal of Logic Programming"},{"key":"BF03037172_CR7","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(80)90013-2","volume":"13","author":"M. Davis","year":"1980","unstructured":"Davis, M., \u201cThe Mathematics of Non-Monotonic Reasoning,\u201dArtificial Intelligence, 13, pp. 73\u201380, 1980.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"BF03037172_CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J., \u201cAn Assumption-Based Truth Maintenance System,\u201dArtificial Intelligence, 28, 2, pp. 127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"key":"BF03037172_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J., \u201cA Truth Maintenance System,\u201dArtificial Intelligence, 12, pp. 231\u2013272, 1979","journal-title":"Artificial Intelligence"},{"key":"BF03037172_CR10","unstructured":"Dung, P. M. and Kanchanasut, K., \u201cA Fixpoint Approach to Declarative Semantics of Logic Programs,\u201dNACLP\u201989, MIT Press, 1989."},{"key":"BF03037172_CR11","unstructured":"Eshghi, K. and Kowalski, R. A., Abduction Compared with Negation by Failure,6th Intern. Conference on Logic Programming, Lisbonne, 1989."},{"key":"BF03037172_CR12","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"Elkan, C., \u201cA Rational Reconstruction of Nonmonotonic Truth Maintenance Systems,\u201dJournal of Artificial Intelligence, 43, pp. 219\u2013234, 1990.","journal-title":"Journal of Artificial Intelligence"},{"key":"BF03037172_CR13","unstructured":"Fages, F., \u201cConsistency of Clark\u2019s Completion and Existence of Stable Models,\u201dWorkshop on non-monotonic reasoning and logic programming, NACLP\u201990, Austin, Research Report, 90-15, LIENS, Ecole Normale Superieure, 1990. To apper in methods of Logic in Computer Science."},{"key":"BF03037172_CR14","unstructured":"Fages, F., \u201cOn the Proceduralization of Rules in Expert Systems,\u201d inProgramming of Future Generation Computers (M. Nivat and K. Fuchi, eds.), North-Holland, 1988."},{"key":"BF03037172_CR15","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M.R. Fitting","year":"1985","unstructured":"Fitting, M.R., \u201cA Kripke-Kleene semantics for Logic Programs,\u201dJournal of Logic Programming, 2, pp. 295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"key":"BF03037172_CR16","doi-asserted-by":"crossref","DOI":"10.21236\/ADA106558","volume-title":"OPS5 Users Manual","author":"C. L. Forgy","year":"1981","unstructured":"Forgy, C. L.,OPS5 Users Manual, Dept. of Cognitive Sciences, Carnegie Mellon Univ., Pittsburgh 1981."},{"key":"BF03037172_CR17","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C., \u201cRete: A Fast Algorithm for the Many Pattern-Many Object Pattern Match Problem,\u201dArtificial Intelligence, 19, pp. 17\u201337, 1982.","journal-title":"Artificial Intelligence"},{"key":"BF03037172_CR18","unstructured":"Gelfond, M. and Lifschitz, V., \u201cThe Stable Model Semantics for Logic Programming,\u201dProc. of the 5th Logic Programming Symposium, pp. 1070\u20131080, MIT press, 1988."},{"key":"BF03037172_CR19","unstructured":"Gelfond, M. and Lifschitz, V., \u201cLogic Programs with Classical Negation,\u201dProc. of the 7th Logic Programming Symposium, pp. 579\u2013597, MIT press, 1990."},{"key":"BF03037172_CR20","doi-asserted-by":"crossref","first-page":"387","DOI":"10.3233\/FI-1987-10405","volume":"X","author":"I. Guessarian","year":"1987","unstructured":"Guessarian, I., \u201cSome Fixpoint Techniques in Algebraic Structures and Applications to Computer Science,\u201dFundamentica Informatica, X, pp. 387\u2013414, 1987.","journal-title":"Fundamentica Informatica"},{"issue":"3","key":"BF03037172_CR21","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"Kunen, K., \u201cSigned Data Dependencies in Logic Programs,\u201dJournal of Logic Programming, 7, 3, pp. 231\u2013245, 1989.","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"BF03037172_CR22","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen, K., \u201cNegation in Logic Programming,\u201dJournal of Logic Programming, 4, 4, pp. 289\u2013308, 1987.","journal-title":"Journal of Logic Programming"},{"key":"BF03037172_CR23","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"3","key":"BF03037172_CR24","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1016\/0020-0190(82)90065-5","volume":"14","author":"J. L. Lassez","year":"1982","unstructured":"Lassez, J. L., Nguyen, V. L. and Sonenberg, E. A., \u201cFixed Point Theorems and Semantics: A Folk Tale,\u201dInformation Processing Letters, 14, 3, pp. 112\u2013116, 1982.","journal-title":"Information Processing Letters"},{"key":"BF03037172_CR25","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J., \u201cCircumscription: A Form of Non-Monotonic Reasoning,\u201dArtificial Intelligence, 13, pp. 27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"BF03037172_CR26","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"Moore, R. C., \u201cSemantic Considerations on Non-Monotonic Logic,\u201dArtificial Intelligence, 25, pp. 75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"BF03037172_CR27","unstructured":"Marek, W. and Truszcynski, M., \u201cStable Semantics for Logic Programs and Default Theories,\u201dNACLP\u201989, MIT Press, 1989."},{"key":"BF03037172_CR28","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00243002","volume":"5","author":"T. Przymusinski","year":"1989","unstructured":"Przymusinski, T., \u201cOn the Declarative and Procedural Semantics of Logic Programs,\u201dJournal of Automated Reasoning, 5, pp. 167\u2013205, 1989.","journal-title":"Journal of Automated Reasoning"},{"key":"BF03037172_CR29","unstructured":"Przymusinski, T., \u201cNon-Monotonic Formalisms and Logic Programming,\u201dIntern. Conference on Logic Programming, Lisbonne, 1989."},{"key":"BF03037172_CR30","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. Przymusinski","year":"1987","unstructured":"Przymusinski, T., \u201cOn the Declarative Semantics of Stratified Deductive Databases and Logic Programming,\u201d inFoundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann, Los Altos, 1987."},{"key":"BF03037172_CR31","unstructured":"Ramakrishnan, R., \u201cMagic Templates: A Spellbinding Approach to Logic Programming,\u201dProc. of the 5th International Conference on Logic Programming, Seattle, 1988."},{"key":"BF03037172_CR32","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., \u201cA Logic for Default Reasoning,\u201dArtificial Intelligence, 13, pp. 81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"BF03037172_CR33","doi-asserted-by":"crossref","unstructured":"Schlipf, J. S., \u201cThe Expressive Powers of the Logic Programming Semantics,\u201dProc. of PODS\u201990, pp. 196\u2013204, 1990.","DOI":"10.1145\/298514.298564"},{"key":"BF03037172_CR34","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0304-3975(89)90106-0","volume":"65","author":"J. C. Shepherdson","year":"1989","unstructured":"Shepherdson, J. C., \u201cA Sound and Complete Semantics for a Version of Negation as Failure,\u201dJournal of Theoretical Computer Science, 65, pp. 343\u2013371, 1989.","journal-title":"Journal of Theoretical Computer Science"},{"key":"BF03037172_CR35","doi-asserted-by":"crossref","unstructured":"Sacca, D. and Zaniolo, C., \u201cStable Models and Non-Determinism in Logic Programs with Negation,\u201dPODS\u201990, pp. 205\u2013217, 1990.","DOI":"10.1145\/298514.298572"},{"key":"BF03037172_CR36","doi-asserted-by":"crossref","unstructured":"Tamaki, H. and Sato, T., \u201cOLD-Resolution with Tabulation,\u201dProc. of the 3rd Int. Conf. on Logic Programming, pp. 84\u201398, London, 1986.","DOI":"10.1007\/3-540-16492-8_66"},{"issue":"4","key":"BF03037172_CR37","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden Van","year":"1976","unstructured":"Van Emden, M. H. and Kowalski, R. H., \u201cThe Semantics of Predicate Logique as a Programming Language,\u201dJACM, 23, 4, pp. 733\u2013742, 1976.","journal-title":"JACM"},{"key":"BF03037172_CR38","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"A. Gelder Van","year":"1987","unstructured":"Van Gelder, A., \u201cNegation as Failure Using Tight Derivations for General Logic Programs,\u201d inFoundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann, Los Altos, 1987. Revised version inJournal of Logic Programming, pp. 109\u2013133, 1989."},{"key":"BF03037172_CR39","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K. and Schlipf, J. S., \u201cUnfounded Sets and Well-Founded Semantics for General Logic Programs,\u201dProc. of the Symp. on Principles of Databases Systems, ACM-SIGACT-SIGCOM, 1988.","DOI":"10.1145\/308386.308444"},{"key":"BF03037172_CR40","series-title":"Technical Report","volume-title":"The XWAM: A Machine That Integrates Prolog and Deductive Database Query Evaluation","author":"D. S. Warren","year":"1989","unstructured":"Warren, D. S., \u201cThe XWAM: A Machine That Integrates Prolog and Deductive Database Query Evaluation,\u201dTechnical Report, 89\/25, Suny at Stony Brook, NY, 1989."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037172.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037172\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,4]],"date-time":"2021-10-04T10:37:47Z","timestamp":1633343867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,8]]},"references-count":40,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991,8]]}},"alternative-id":["BF03037172"],"URL":"https:\/\/doi.org\/10.1007\/bf03037172","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,8]]}}}