{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:36:52Z","timestamp":1771472212855,"version":"3.50.1"},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf00883931","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T23:31:36Z","timestamp":1104190296000},"page":"93-147","source":"Crossref","is-referenced-by-count":44,"title":["A logic programming system for nonmonotonic reasoning"],"prefix":"10.1007","volume":"14","author":[{"given":"Jos\ufffd J\ufffdlio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Carlos Viegas","family":"Dam\ufffdsio","sequence":"additional","affiliation":[]},{"given":"Lu\ufffds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Alferes, J. J., Dam\u00e1sio, C. V., and Pereira, L. M.: SLX?A top-down derivation procedure for programs with explicit negation, in M. Bruynooghe (ed.),ILPS, MIT Press, 1994 (to appear)."},{"key":"CR2","unstructured":"Alferes, J. J., Dam\u00e1sio, C. V., and Pereira, L. M.: Top-down query evaluation for well-founded semantics with explicit negation, in A. Cohn (ed.),Proc. ECAI'94, Morgan Kaufmann, 1994, pp. 140?144."},{"key":"CR3","unstructured":"Alferes, J. J. and Pereira, L. M.: On logic program semantics with two kinds of negation, in K. Apt (ed.),Int. Joint Conf. and Symp. on LP, MIT Press, 1992, pp. 574?588."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Alferes, J. J. and Pereira, L. M.: Belief, provability, and logic programs, in C. MacNish, D. Pearce, and L. M. Pereira (eds),JELIA'94, Lecture Notes in AI 838 (798), Springer-Verlag, 1994, pp. 106?121.","DOI":"10.1007\/BFb0021967"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Alferes, J. J. and Pereira, L. M.: Contradiction: When avoidance equals removal, in R. Dyckhoff (ed.),4th Int. Ws. on Extensions of LP, Lecture Notes in AI 839 (798), Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58025-5_47"},{"key":"CR6","unstructured":"Alferes, Jos\u00e9 J\u00falio:Semantics of Logic Programs with Explicit Negation, Ph.D. Thesis, Universidade Nova de Lisboa, 1993."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K. Apt","year":"1994","unstructured":"Apt, K. and Bol, R.: Logic programming and negation: A survey,J. Logic Programming 19\/20 (1994), 9?72.","journal-title":"J. Logic Programming"},{"key":"CR8","unstructured":"Apt, K., Bol, R., and Klop, J.: On the safe termination of Prolog programs, in Levi and Marteli (eds),Proc. LCLP'89, MIT Press, 1989, pp. 353?368."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","author":"C. Baral","year":"1994","unstructured":"Baral, C. and Gelfond, M.: Logic programming and knowledge representation,J. Logic Programming 19\/20 (1994), 73?148.","journal-title":"J. Logic Programming"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Bidoit, N. and Legay, P.: Well!: An evaluation procedure for all logic programs, inInt. Conf. on Database Technology, 1990, pp. 335?348.","DOI":"10.1007\/3-540-53507-1_87"},{"key":"CR11","unstructured":"Bol, R. and Degerstedt, L.: Tabulated resolution for well founded semantics, inProc, ILPS'93, MIT Press, 1993."},{"key":"CR12","unstructured":"Chen, W. and Warren, D. S.: A goal-oriented approach to computing well-founded semantics, in K. Apt (ed.),Int. Joint Conf. on Logic Programming, MIT Press, 1992, pp. 589?603."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Chen, W. and Warren, D. S.: Query evaluation under the well founded semantics, inPODS'93, 1993.","DOI":"10.1145\/153850.153865"},{"issue":"2","key":"CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00881886","volume":"12","author":"T. S.-C. Chou","year":"1994","unstructured":"Chou, T. S.-C. and Winslett, M.: A model-based belief revision system,Journal of Automated Reasoning 12(2) (1994), 157?208.","journal-title":"Journal of Automated Reasoning"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Clark, K.: Negation as failure, in H. Gallaire and J. Minker (eds),Logic and Data Bases, Plenum Press, 1978, pp. 293?322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"CR16","unstructured":"Colmerauer, A., Kanoui, H., Roussel, P., and Pasero, R.: Un syst\u00e9me de communication hommemachine en fran\u00e7ais. Technical report, Groupe de Recherche en Intelligence Artificielle, Universit\u00e9 d'Aix-Marseille II, 1973."},{"key":"CR17","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report, in7th AAAI, 1988, pp. 475?479."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C. V., Nejdl, W., and Pereira, L. M.: REVISE: An extended logic programming system for revising knowledge bases, inKR'94, Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50151-2"},{"key":"CR19","unstructured":"Denecker, M. and De Schreye, D.: SLDNFA: An abductive procedure for normal abductive programs, in K. Apt (ed.),Int. Joint Conf. and Symp. on LP, MIT Press, 1992, pp. 686?700."},{"key":"CR20","unstructured":"Dix, J.: Classifying semantics of logic programs, in A. Nerode, W. Marek, and V. S. Subrahmanian (eds),LP & NMR, MIT Press, 1991, pp. 166?180."},{"key":"CR21","unstructured":"Dix, J.: A framework for representing and characterizing semantics of logic programs, in B. Nebel, C. Rich, and W. Swartout (eds),KR'92, Morgan Kaufmann, 1992."},{"key":"CR22","unstructured":"Dung, P. M.: Negation as hypotheses: An abductive framework for logic programming, in K. Furukawa (ed.),8th Int. Conf. on LP, MIT Press, 1991, pp. 3?17."},{"key":"CR23","unstructured":"Eshghi, K. and Kowalski, R.: Abduction compared with negation by failure, inProc. 6th Int. Conf. on LP, MIT Press, 1989."},{"issue":"3","key":"CR24","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K. A., and Schlipf, J. S.: The well-founded semantics for general logic programs,Journal of the ACM 38(3) (1991), 620?650.","journal-title":"Journal of the ACM"},{"key":"CR25","unstructured":"Gelfond, M. and Lifschitz, V.: The stable model semantics for logic programming, in R. Kowalski and K. A. Bowen (eds),5th Int. Conf. on LP, MIT Press, 1988, pp. 1070?1080."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Gelfond, M. and Lifschitz, V.: Compiling circumscriptive theories into logic programs, in M. Reinfrank, J. de Kleer, M. Ginsberg, and E. Sandewall (eds),2nd Int. Ws.on NMR, LNAI 346, Springer-Verlag, 1989, pp. 74?99.","DOI":"10.1007\/3-540-50701-9_21"},{"key":"CR27","unstructured":"Gelfond, M. and Lifschitz, V.: Logic programs with classical negation, in Warren and Szeredi (eds),Proc. 7th Int. Conf. on LP, MIT Press, 1990, pp. 579?597."},{"key":"CR28","unstructured":"Gelfond, M. and Lifschitz, V.: Representing actions in extended logic programs, in K. Apt (ed.),Int. Joint Conf. and Symp. on LP, MIT Press, 1992, pp. 559?573."},{"key":"CR29","unstructured":"HMSO:British Nationality Act, Her Majesty's Stationery Office, 1981."},{"key":"CR30","unstructured":"Kakas, A. C. and Mancarella, P.: Generalized stable models: A semantics for abduction, inProc. ECAI'90, 1990, pp. 401?405."},{"key":"CR31","unstructured":"Katsuno, H. and Mendelzon, A. O.: On the difference between updating a knowledge base revising it, in J. A. Allenet al. (eds),2nd KRR, Morgan Kaufmann, 1991, pp. 387?394."},{"key":"CR32","unstructured":"Kemp, D. B., Stuckey, P. J., and Srivastava, D.: Query restricted bottom-up evaluation of normal logic programs, inProc. JICSLP'92, MIT Press, 1992, pp. 288?302."},{"key":"CR33","unstructured":"Kowalski, R.:Logic for Problem Solving, North Holland, 1978."},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: The treatment of negation in logic programs for representing legislation, in2nd Int. Conf. on AI and Law, 1989, pp. 11?15.","DOI":"10.1145\/74014.74016"},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: Problems and promises of computational logic, in John Lloyd (ed.),Computational Logic, Basic Research Series, Springer-Verlag, 1990, pp. 1?36.","DOI":"10.1007\/978-3-642-76274-1_1"},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: Legislation as logic programs, inLogic Programming in Action, Springer-Verlag, 1992, pp. 203?230.","DOI":"10.1007\/3-540-55930-2_15"},{"key":"CR37","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"5","author":"R. Kowalski","year":"1971","unstructured":"Kowalski, R. and Khuener, D.: Linear resolution with selection function,Artificial Intelligence 5 (1971), 227?260.","journal-title":"Artificial Intelligence"},{"key":"CR38","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., and Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics,Artificial Intelligence 44 (1990), 167?207.","journal-title":"Artificial Intelligence"},{"key":"CR39","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.: Negation in logic programming,Journal of Logic Programming 4 (1987), 289?308.","journal-title":"Journal of Logic Programming"},{"key":"CR40","doi-asserted-by":"crossref","unstructured":"Lloyd, J.: Declarative error diagnosis,New Generation Computing 5(2) (1987).","DOI":"10.1007\/BF03037396"},{"key":"CR41","doi-asserted-by":"crossref","unstructured":"Lloyd, J.:Foundations of Logic Programming, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"CR42","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J. Lloyd","year":"1985","unstructured":"Lloyd, J. and Topor, R.: A basis for deductive database systems,Journal of Logic Programming,2 (1985), 93?109.","journal-title":"Journal of Logic Programming"},{"key":"CR43","doi-asserted-by":"crossref","unstructured":"Nebel, B.: Syntax based approaches to belief revision, in: P. G\u00e4rdenfors (ed.),Belief Revision, Cambridge University Press, 1992, pp. 52?88.","DOI":"10.1017\/CBO9780511526664.003"},{"key":"CR44","unstructured":"Pearce, D. and Wagner, G.: Reasoning with negative information I: Strong negation in logic programs, in L. Haaparanta, M. Kusch, and I. Niiniluoto (eds),Language, Knowledge and Intentionality, Acta Philosophica Fennica 49, 1990, pp. 430?453."},{"key":"CR45","unstructured":"Pereira, L. M. and Alferes, J. J.: Well founded semantics for logic programs with explicit negation, in B. Neumann (ed.),European Conf. on AI, John Wiley & Sons, 1992, pp. 102?106."},{"key":"CR46","doi-asserted-by":"crossref","unstructured":"Pereira, L. M., Alferes, J. J., and Aparicio, J. N.: Contradiction removal within well founded semantics, in A. Nerode, W. Marek, and V. S. Subrahmanian (eds),LP & NMR, MIT Press, 1991, pp. 105?119.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"CR47","unstructured":"Pereira, L. M., Aparicio, J. N., and Alferes, J. J.: A derivation procedure for extended stable models, inInt. Joint Conf. on AI, Morgan Kaufmann, 1991."},{"issue":"2?4","key":"CR48","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0743-1066(93)90032-C","volume":"17","author":"L. M. Pereira","year":"1993","unstructured":"Pereira, L. M., Aparicio, J. N., and Alferes, J. J.: Non-monotonic reasoning with logic programming,Journal of Logic Programming. Special issue on Nonmonotonic Reasoning,17(2?4) (1993), 227?263.","journal-title":"Journal of Logic Programming. Special issue on Nonmonotonic Reasoning"},{"key":"CR49","doi-asserted-by":"crossref","unstructured":"Pereira, L. M., Dam\u00e1sio, C., and Alferes, J. J.: Debugging by diagnosing assumptions, in P. A. Fritzson (ed.),1st Int. Workshop on Automatic Algorithmic Debugging, AADEBUG'93, LNCS, vol. 749, Springer-Verlag, 1993, pp. 58?74.","DOI":"10.1007\/BFb0019400"},{"key":"CR50","doi-asserted-by":"crossref","unstructured":"Pereira, L. M., Dam\u00e1sico, C., and Alferes, J. J.: Diagnosis and debugging as contradiction removal, in L. M. Pereira and A. Nerode (eds),2nd Int. Workshop on Logic Programming & NMR, MIT Press, 1993, pp. 316?330.","DOI":"10.7551\/mitpress\/4307.003.0026"},{"key":"CR51","doi-asserted-by":"crossref","unstructured":"Pereira, L. M., Dam\u00e1sio, C., and Alferes, J. J.: Diagnosis and debugging as contradiction removal in logic programs, in L. Damas and M. Filgueiras (eds),6th Portuguese AI Conf., Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"CR52","unstructured":"G\u00e4rdenfors, P.:Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, 1988."},{"key":"CR53","unstructured":"Przymusinska, H., Przymusinski, T. C., and Seki, H.: Soundness and completeness of partial deductions for well-founded semantics, in A. Voronkov (ed.),Proc. of the Int. Conf. on Automated Reasoning, LNAI 624, 1992."},{"key":"CR54","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.: Every logic program has a natural stratification and an interated fixed point model, in8th Symp. on Principles of Database Systems, ACM SIGACT-SIGMOD, 1989.","DOI":"10.1145\/73721.73723"},{"key":"CR55","unstructured":"Przymusinski, T.: Extended stable semantics for normal and disjunctive programs, in Warren and Szeredi (eds),7th Int. Conf. on LP, MIT Press, 1990, pp. 459?477."},{"key":"CR56","unstructured":"Przymusinski, T.: Static semantics for normal and disjunctive programs, Technical report, Dept. of Computer Science, Univ. of California at Riverside, 1993."},{"key":"CR57","unstructured":"Przymusinski, T. and Warren, D. S.: Well-founded semantics: Theory and implementation, 1992."},{"key":"CR58","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On closed-world data bases, in H. Gallaire and J. Minker (eds),Logic and Data Bases, Plenum Press, 1978, pp. 55?76.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"CR59","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory, in M. Brodie, and J. Mylopoulos (eds),On Conceptual Modelling, Springer-Verlag, 1984, pp. 191?233.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"CR60","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On asking what a database knows, in John Lloyd (ed.),Computational Logic, Basic Research Series, Springer-Verlag, 1990, pp. 96?113.","DOI":"10.1007\/978-3-642-76274-1_4"},{"key":"CR61","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(92)90019-Y","volume":"13","author":"K. A. Ross","year":"1992","unstructured":"Ross, K. A.: A procedural semantics for well-founded negation in logic programs,Journal of Logic Programming 13 (1992), 1?22.","journal-title":"Journal of Logic Programming"},{"key":"CR62","unstructured":"Teusink, F.: A proof procedure for extended logic programs, inProc. ILPS'93, MIT Press, 1993."},{"key":"CR63","doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation, inProc. of the Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, 1989, pp. 1?10.","DOI":"10.1145\/73721.73722"},{"key":"CR64","doi-asserted-by":"crossref","unstructured":"Wagner, G.: A database needs two kinds of negation, in B. Thalheim, J. Demetrovics and H.-D. Gerhardt (eds),Mathematical Foundations of Database Systems, LNCS 495, Springer-Verlag, 1991, pp. 357?371.","DOI":"10.1007\/3-540-54009-1_25"},{"issue":"6","key":"CR65","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1093\/logcom\/1.6.835","volume":"1","author":"G. Wagner","year":"1991","unstructured":"Wagner, G.: Logic programming with strong negation and innexact predicates,J. of Logic and Computation 1(6) (1991), 835?861.","journal-title":"J. of Logic and Computation"},{"key":"CR66","series-title":"Technical report","volume-title":"Neutralization and preemption in extended logic programs","author":"G. Wagner","year":"1993","unstructured":"Wagner, G.: Neutralization and preemption in extended logic programs, Technical report, Freien Universitat, Berlin, 1993."},{"key":"CR67","doi-asserted-by":"crossref","unstructured":"Wagner, G.: Reasoning with inconsistency in extended deductive databases, in L. M. Pereira and A. Nerode (eds),2nd Int. Ws. on LP & NMR, MIT Press, 1993, pp. 300?315.","DOI":"10.7551\/mitpress\/4307.003.0025"},{"key":"CR68","unstructured":"Winslett, M.: Reasoning about action using a possible model approach, in7th AAAI, 1988, pp. 89?93."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00883931.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00883931\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00883931","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,17]],"date-time":"2024-01-17T12:30:58Z","timestamp":1705494658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00883931"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":68,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF00883931"],"URL":"https:\/\/doi.org\/10.1007\/bf00883931","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}