{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T04:14:50Z","timestamp":1649132090090},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540594673","type":"print"},{"value":"9783540492726","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0030661","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:24:12Z","timestamp":1133414652000},"page":"85-100","source":"Crossref","is-referenced-by-count":1,"title":["Logic programming with assumption denial"],"prefix":"10.1007","author":[{"given":"Jia-Huai","family":"You","sequence":"first","affiliation":[]},{"given":"Li Yan","family":"Yuan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"6_CR1","unstructured":"J. Alferes, P. Dung, and L. Pereira. Scenario semantics of extended logic programs. In Proc. Second Workshop on Logic Programming and Nonmonotonic Reasoning, 1993."},{"key":"6_CR2","unstructured":"J. Alferes and L. Pereira. On logic programs with two kinds of negation. In Proc. Joint International Conference and Symposium on Logic Programming, pages 574\u2013588. MIT Press, 1992."},{"key":"6_CR3","unstructured":"C. Baral and V.S. Subrahmanian. Dualities between alternative semantics for logic programming and nonmonotonic reasoning. In Proc. First Workshop on Logic Programming and Nonmonotonic Reasoning, pages 69\u201386, 1991."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"C. Baral and V.S. Subrahmanian. Stable and extension class theory for logic programs and default logic. J. Automated Reasoning, pages 345\u2013366, 1992.","DOI":"10.1007\/BF02341854"},{"key":"6_CR5","unstructured":"A. Bondarenko, F. Toni, and R.A. Kowalski. An assumption-based frame-work for nonmonotonic reasoning. In Proc. Second Workshop on Logic Programming and Nonmonotonic Reasoning, July, 1993. Invited talk."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"J. Dix. A classification theory of semantics of normal logic programs: I. strong properties. Foundamenta Informaticae (to appear), 1994.","DOI":"10.3233\/FI-1995-2233"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"J. Dix. A classification theory of semantics of normal logic programs: Ii. weak properties. Foundamenta Informaticae (to appear), 1994.","DOI":"10.3233\/FI-1995-2234"},{"key":"6_CR8","unstructured":"P. Dung. Negations as hypotheses: An abductive foundation for logic programming. In Proc. 8th ICLP, pages 3\u201317, 1991."},{"key":"6_CR9","unstructured":"P. Dung. Acyclic disjunctive logic programs with abductive procedures as proof procedure. In Proc. International Conference on Fifth Generation Computer System, pages 555\u2013561, 1992."},{"key":"6_CR10","unstructured":"P. Dung. An argumentation semantics for logic programming with explicit negation. In Proc. 10th ICLP, pages 615\u2013630, 1993."},{"key":"6_CR11","unstructured":"K. Eshghi and R.A. Kowalski. Abduction compared with negation by failure. In Proc. 6th ICLP, pages 234\u2013254, 1988."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. The alternating fixpoint of logic programs with negation. In Proc. 8th ACM PODS, 1989.","DOI":"10.1145\/73721.73722"},{"key":"6_CR13","unstructured":"M. Gelfond and V. Lifschitz. Logical programs with classical negation. In Proc. 7th International Conference and Symposium on Logic Programming, pages 579\u2013597, 1990."},{"key":"6_CR14","unstructured":"L. Giordano and A. Martelli. Generalized stable models, truth maintenance and conflict resolution. In Proc. 7th ICLP, pages 427\u2013441, 1990."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K. Ross, and J.S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proc. 7th ACM PODS, 1988.","DOI":"10.1145\/308386.308444"},{"key":"6_CR16","unstructured":"K. Inoue and C. Sakama. Transforming abductive logic programs to disjunctive programs. In Proc. 10th ICLP, 1993."},{"key":"6_CR17","unstructured":"R.A. Kowalski and F. Dadri. Logic programs with exceptions. In Proc. 7th ICLP, pages 490\u2013504, 1990."},{"key":"6_CR18","unstructured":"A. Kakas and P. Mancarella. Generalized stable models: a semantics for abduction. In Proc. 9th European Conf. for AI, 1990."},{"key":"6_CR19","unstructured":"A. Kakas, P. Mancarella, and P.M. Dung. The acceptability semantics for logic programs. In Proc. 11th ICLP, pages 504\u2013519, 1994."},{"key":"6_CR20","unstructured":"L. Pereira and J. Alferes. Well-founded semantics with explicit negation. In Proc. 10th ECAI, pages 102\u2013106, 1992."},{"key":"6_CR21","unstructured":"L. Pereira and J. Alferes. Optative reasoning with scenario semantics. In Proc. 10th ICLP, pages 601\u2013615, 1993."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"L. Pereira, J. Alferes, and J. Apar\u00edcio. Contradiction removal within well-founded semantics. In Proc. First Workshop on Logic Programming and Nonmonotonic Reasoning, pages 105\u2013119, 1991.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"6_CR23","unstructured":"L. Pereira, J. Alferes, and J. Apar\u00edcio. Counterfactual reasoning based on revising assumptions. In Proc. International Symposium on Logic Programming, pages 566\u2013580, 1991."},{"key":"6_CR24","volume-title":"Technical report","author":"H. Przymusinska","year":"1991","unstructured":"H. Przymusinska and T.C. Przymusinski. Stationary default extensions. Technical report, California State Polytechnic and University of California at Riverside, 1991."},{"key":"6_CR25","unstructured":"T.C. Przymusinski. Extended stable semantics for normal and disjunctive logic programs. In Proc. 7th International Conference and Symposium on Logic Programming, pages 459\u2013477, 1990."},{"key":"6_CR26","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"13","author":"T.C. Przymusinski","year":"1990","unstructured":"T.C. Przymusinski. Well-founded semantics coincides with three-valued stable semantics. Foundamenta Informaticae, 13:445\u2013463, 1990.","journal-title":"Foundamenta Informaticae"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"T.C. Przymusinski. Semantics of disjunctive logic programs and deductive databases. In Proc. 2nd International Conference on Object Oriented and Deductive Databases, pages 87\u2013107, 1991.","DOI":"10.1007\/3-540-55015-1_5"},{"key":"6_CR28","unstructured":"T. C. Przymusinski. Static semantics of logic programs. Annals of Mathematics and Artificial Intelligence, 1995. (A short version in this volume)."},{"key":"6_CR29","unstructured":"C. Sakama and K. Inoue. Negation in disjunctive logic programs. In Proc. 10th ICLP, 1993."},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"D. Sacc\u00e0 and C. Zaniolo. Stable models and non-determinism in logic programs with negation. In Proc. 9th ACM PODS, pages 205\u2013217, 1990.","DOI":"10.1145\/298514.298572"},{"key":"6_CR31","unstructured":"D. Sacc\u00e0 and C. Zaniolo. Partial models and three-valued stable models in logic programs with negation. In Proc. First Workshop on Logic Programming and Nonmonotonic Reasoning, pages 87\u2013101, 1991."},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(93)90090-X","volume":"61","author":"C. Witteveen","year":"1993","unstructured":"C. Witteveen and G. Brewka. Skeptical reason maintenance and belief revision. Artificial Intelligence, 61:1\u201336, 1993.","journal-title":"Artificial Intelligence"},{"key":"6_CR33","unstructured":"C. Witteveen and C. M. Jonker. Revision by expansion in logic programs. Technical Report Report 93-02, Faculty of Mathematics and Computer Science, Delft University of Technology, 1993."},{"issue":"1","key":"6_CR34","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/BF00881912","volume":"13","author":"L. Yuan","year":"1994","unstructured":"L. Yuan. Autoepistemic logic of first order and its expressive power. J. Automated Reasoning, 13(1):88\u2013116, 1994.","journal-title":"J. Automated Reasoning"},{"issue":"2","key":"6_CR35","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1016\/S0022-0000(05)80053-4","volume":"49","author":"J. You","year":"1994","unstructured":"J. You and L. Yuan. A three-valued semantics for deductive databases and logic programs. J. Computer and System Sciences, 49(2):334\u2013361, 1994. An extended abstract appeared in Proc. ACM PODS '90.","journal-title":"J. Computer and System Sciences"},{"issue":"3","key":"6_CR36","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0743-1066(94)00023-Y","volume":"22","author":"J. You","year":"1995","unstructured":"J. You and L. Yuan. On the equivalence of semantics for normal logic programs. Journal of Logic Programming, 22(3):209\u2013219, 1995.","journal-title":"Journal of Logic Programming"}],"container-title":["Non-Monotonic Extensions of Logic Programming","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T20:11:57Z","timestamp":1626811917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030661"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594673","9783540492726"],"references-count":36,"URL":"http:\/\/dx.doi.org\/10.1007\/bfb0030661","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1995]]}}}