{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:43Z","timestamp":1725455683507},"publisher-location":"Berlin\/Heidelberg","reference-count":46,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540583327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021967","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T01:17:26Z","timestamp":1131844646000},"page":"106-121","source":"Crossref","is-referenced-by-count":1,"title":["Belief, provability, and logic programs"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. Top-down query evaluation for well-founded semantics with explicit negation. In A. Cohn, editor, European Conf. on AI, pages 140\u2013144. Morgan Kaufmann, 1994. To appear."},{"key":"7_CR2","unstructured":"J. J. Alferes, P. M. Dung, and L. M. Pereira. Scenario semantics of extended logic programs. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 334\u2013348. MIT Press, 1993."},{"key":"7_CR3","unstructured":"J. J. Alferes and L. M. Pereira. On logic program semantics with two kinds of negation. In K. Apt, editor, Int. Joint Conf. and Symp. on LP, pages 574\u2013588. MIT Press, 1992."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L. M. Pereira. Contradiction: when avoidance equal removal. In R. Dyckhoff, editor, 4th Int. Ws. on Extensions of LP, volume 798 of LNAI. Springer-Verlag, 1994. To appear.","DOI":"10.1007\/3-540-58025-5_47"},{"key":"7_CR5","unstructured":"Jos\u00e9 J\u00falio Alferes. Semantics of Logic Programs with Explicit Negation. PhD thesis, Universidade Nova de Lisboa, October 1993."},{"key":"7_CR6","unstructured":"N. Bidoit and C. Froidevaux. Minimalism subsumes default logic and circumscription in stratified logic programming. In Symp. on Principles of Database Systems. ACM SIGACT-SIGMOD, 1987."},{"key":"7_CR7","unstructured":"P. Bonatti. Autoepistemic logics as a unifying framework for the semantics of logic programs. In K. Apt, editor, Int. Joint Conf. and Symp. on LP, pages 417\u2013430. MIT Press, 1992."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"B. Chellas. Modal Logic: An introduction. Cambridge Univ. Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"7_CR9","unstructured":"J. Chen. Minimal knowledge + negation as failure-only knowing (sometimes). In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 132\u2013150. MIT Press, 1993."},{"key":"7_CR10","unstructured":"J. Dix. Classifying semantics of logic programs. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 166\u2013180. MIT Press, 1991."},{"key":"7_CR11","unstructured":"J. Dix. A framework for representing and characterizing semantics of logic programs. In B. Nebel, C. Rich, and W. Swartout, editors, 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 1992."},{"key":"7_CR12","unstructured":"P. M. Dung. Negation as hypotheses: An abductive framework for logic programming. In K. Furukawa, editor, 8th Int. Conf. on LP, pages 3\u201317. MIT Press, 1991."},{"key":"7_CR13","unstructured":"P. M. Dung and P. Ruamviboonsuk. Well founded reasoning with classical negation. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 120\u2013132. MIT Press, 1991."},{"key":"7_CR14","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In 6th Int. Conf. on LP. MIT Press, 1989."},{"issue":"3","key":"7_CR15","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"7_CR16","unstructured":"M. Gelfond. On stratified autoepistemic theories. In AAAI'87, pages 207\u2013211. Morgan Kaufmann, 1987."},{"key":"7_CR17","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, 5th Int. Conf. on LP, pages 1070\u20131080. MIT Press, 1988."},{"key":"7_CR18","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th Int. Conf. on LP, pages 579\u2013597. MIT Press, 1990."},{"key":"7_CR19","unstructured":"G. Hughes and M. Cresswell. A companion to modal logic. Methuen, 1984."},{"key":"7_CR20","unstructured":"K. Jonker. On the semantics of conflit resolution in truth maintenance systems. Technical report, Univ. of Utrecht, 1991."},{"key":"7_CR21","unstructured":"R. Kowalski and F. Sadri. Logic programs with exceptions. In Warren and Szeredi, editors, 7th Int. Conf. on LP. MIT Press, 1990."},{"key":"7_CR22","unstructured":"P. Lamarre and Y. Shoham. On knowledge, certainty, and belief (draft). Personal communication of the second author, Stanford Univ., 1993."},{"key":"7_CR23","volume-title":"Technical report","author":"V. Lifschitz","year":"1992","unstructured":"V. Lifschitz. Minimal belief and negation as failure. Technical report, Dep. of Computer Science and Dep. of Philisophy, Univ. of Texas at Austin, 1992."},{"key":"7_CR24","unstructured":"V. Lifschitz and G. Schwarz. Extended logic programs as autoepistemic theories. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 101\u2013114. MIT Press, 1993."},{"key":"7_CR25","unstructured":"V. Marek and M. Truszczynski. Reflexive autoepistemic logic and logic programming. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 115\u2013131. MIT Press, 1993."},{"key":"7_CR26","unstructured":"J. Minker. On indefinite databases and the closed world assumption. In M. Ginsberg, editor, Readings in Nonmonotonic Reasoning, pages 326\u2013333. Morgan Kaufmann, 1987."},{"key":"7_CR27","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"R. Moore. Semantics considerations on nonmonotonic logic. Artificial Intelligence, 25:75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"7_CR28","first-page":"16","volume":"14","author":"D. Nelson","year":"1949","unstructured":"D. Nelson. Constructible falsity. JSL, 14:16\u201326, 1949.","journal-title":"JSL"},{"key":"7_CR29","unstructured":"D. Pearce. Answer sets and constructive logic, II: Extended logic programs and related nonmonotonic formalisms. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 457\u2013475. MIT Press, 1993."},{"key":"7_CR30","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, European Conf. on AI, pages 102\u2013106. John Wiley & Sons, 1992."},{"key":"7_CR31","unstructured":"L. M. Pereira and J. J. Alferes. Optative reasoning with scenario semantics. In D. S. Warren, editor, 10th Int. Conf. on LP, pages 601\u2013615. MIT Press, 1993."},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. Contradiction Removal within Well Founded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 105\u2013119. MIT Press, 1991.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. Default theory for well founded semantics with explicit negation. In D. Pearce and G. Wagner, editors, Logics in AI. Proceedings of the European Ws. JELIA'92, volume 633 of LNAI, pages 339\u2013356. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0023437"},{"key":"7_CR34","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Nonmonotonic reasoning with well founded semantics. In Koichi Furukawa, editor, 8th Int. Conf. on LP, pages 475\u2013489. MIT Press, 1991."},{"issue":"2","key":"7_CR35","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0743-1066(93)90032-C","volume":"17","author":"L. M. Pereira","year":"1993","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Non-monotonic reasoning with logic programming. Journal of Logic Programming. Special issue on Nonmonotonic reasoning, 17(2, 3 & 4):227\u2013263, November 1993.","journal-title":"Journal of Logic Programming. Special issue on Nonmonotonic reasoning"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, C. Dam\u00e1sio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 316\u2013330. MIT Press, 1993.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"7_CR37","unstructured":"H. Przymusinska and T. Przymusinski. Semantic issues in deductive databases and logic programs. In R. Banerji, editor, Formal Techniques in AI, a Sourcebook, pages 321\u2013367. North Holland, 1990."},{"key":"7_CR38","unstructured":"T. Przymusinski. Extended stable semantics for normal and disjunctive programs. In Warren and Szeredi, editors, 7th Int. Conf. on LP, pages 459\u2013477. MIT Press, 1990."},{"key":"7_CR39","unstructured":"T. Przymusinski. Autoepistemic logic of closed beliefs and logic programming. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 3\u201320. MIT Press, 1991."},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"T. Przymusinski. A semantics for disjunctive logic programs. In Loveland, Lobo, and Rajasekar, editors, ILPS'91 Ws. in Disjunctive Logic Programs, 1991.","DOI":"10.1007\/3-540-55015-1_5"},{"key":"7_CR41","unstructured":"T. Przymusinski. Static semantics for normal and disjunctive programs. Technical report, Dep. of Computer Science, Univ. of California at Riverside, 1993."},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"R. Reiter. On closed-world data bases. In H. Gallaire and J. Minker, editors, Logic and DataBases, pages 55\u201376. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"7_CR43","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:68\u201393, 1980.","journal-title":"Artificial Intelligence"},{"key":"7_CR44","unstructured":"G. Schwarz. Autoepistemic logic of knowledge. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 260\u2013274. MIT Press, 1991."},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"G. Wagner. A database needs two kinds of negation. In B. Thalheim, J. Demetrovics, and H-D. Gerhardt, editors, Mathematical Foundations of Database Systems, volume 495 of LNCS, pages 357\u2013371. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54009-1_25"},{"key":"7_CR46","unstructured":"G. Wagner. Reasoning with inconsistency in extended deductive databases. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 300\u2013315. MIT Press, 1993."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021967.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T12:13:58Z","timestamp":1626696838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021967"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540583327"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/bfb0021967","relation":{},"subject":[]}}