{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:48Z","timestamp":1725663828636},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545354"},{"type":"electronic","value":"9783540384595"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54535-2_28","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:00:45Z","timestamp":1330210845000},"page":"105-119","source":"Crossref","is-referenced-by-count":16,"title":["The extended stable models of contradiction removal semantics"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J.","family":"Alferes","sequence":"additional","affiliation":[]},{"given":"Joaquim N.","family":"Apar\u00edcio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"8_CR1","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. A. Bowen, editors, 5th International Conference on Logic Programming, pages 1070\u20131080. MIT Press, 1988."},{"key":"8_CR2","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In ICLP'90, pages 579\u2013597, 1990."},{"key":"8_CR3","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Top-Down procedures for well founded semantics. Technical report, AI Centre\/Uninova, 1990."},{"key":"8_CR4","unstructured":"L. M. Pereira, J J. Alferes, and J. N. Apar\u00edcio. Contradiction removal within Well Founded Semantics. In LPNMR'91. MIT Press, 1991."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. The extended stable models of contradiction removal semantics. Technical report, AI Centre\/Uninova, 1991.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"8_CR6","unstructured":"L. M. Pereira, J N. Apar\u00edcio, and J. J. Alferes. Counterfactual reasoning based on revising assumptions. Technical report, AI Centre\/Uninova, 1991."},{"key":"8_CR7","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. A derivation procedure for extended stable models. In IJCAI'91. Morgan Kaufmann Publishers, 1991."},{"key":"8_CR8","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Hypothetical reasoning with well founded semantics. In SCAI'91. IOS Press, 1991."},{"key":"8_CR9","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Nonmonotonic reasoning with well founded semantics. In ICLP'91. MIT Press, 1991."},{"key":"8_CR10","unstructured":"L. M. Pereira and M. Calejo. A framework for Prolog debugging. In K. B. R. Kowalski, editor, ICLP'88. MIT Press, 1988."},{"key":"8_CR11","unstructured":"L. M. Pereira, M. Calejo, and J. N. Apar\u00edcio. Refining knowledge base updates. In Simp\u00f3sio Brasileiro de Intelig\u00eancia Artificial, 1990."},{"key":"8_CR12","unstructured":"H. Przymusinska and T. Przymusinski. Semantic Issues in Deductive Databases and Logic Programs. Formal Techniques in Artificial Intelligence. North Holland, 1990."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"T. Przymusinski. Every logic program has a natural stratification and an iterated fixed point model. In 8th Symposium on Principles of Database Systems. ACM SIGACT-SIGMOD, 1989.","DOI":"10.1145\/73721.73723"},{"key":"8_CR14","unstructured":"T. Przymusinski. Extended stable semantics for normal and disjunctive programs. In ICLP'90, pages 459\u2013477. MIT Press, 1990."},{"key":"8_CR15","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of ACM, pages 221\u2013230, 1990."},{"key":"8_CR16","unstructured":"D.S. Warren. The XWAM: A machine that integrats prolog and deductive databases. Technical report, SUNY at Stony Brook, 1989."}],"container-title":["Lecture Notes in Computer Science","EPIA 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54535-2_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:34Z","timestamp":1605646534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54535-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545354","9783540384595"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54535-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}