{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:39Z","timestamp":1747548339531},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540628439"},{"type":"electronic","value":"9783540687023"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023803","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:12:36Z","timestamp":1132384356000},"page":"91-109","source":"Crossref","is-referenced-by-count":6,"title":["Nonmonotonic reasoning by monotonic inferences with priority constraints"],"prefix":"10.1007","author":[{"given":"Xianchang","family":"Wang","sequence":"first","affiliation":[]},{"given":"Jia-Huai","family":"You","sequence":"additional","affiliation":[]},{"given":"Li Yan","family":"Yuan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"5_CR1","unstructured":"Jr. Allen L. Brown, Surya Mantha, and Toshiro Wakayama. Constraint optimization using preference logics: A new role for modal logic. In Isabel F. Cruz, editor, Using a Visual Constraint Language for Data Display Specification, pages 22\u201323, 1993."},{"key":"5_CR2","unstructured":"Jr. Allen L. Brown, Surya Mantha, and Toshiro Wakayama. Preference logics: Towards a unified approach to non-monotonicity in deductive reasoning. Annals of Mathematics and Artificial Intelligence, pages 10: 233\u2013280, 1994."},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00881830","volume":"15","author":"F. Baader","year":"1995","unstructured":"F. Baader and B. Hollunder. Priorities on default with prerequisite and their application in treating specificity in terminological default logic. Journal of Automata Reasoning, 15:41\u201368, 1995.","journal-title":"Journal of Automata Reasoning"},{"key":"5_CR4","unstructured":"G. Brewka. Nonmonotonic reasoning: Logical Foundations of Commonsense. Cambridge University Press, 1991."},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1613\/jair.284","volume":"4","author":"G. Brewka","year":"1996","unstructured":"G. Brewka. Well-founded semantics for extended logic programming with dynamic preference. Journal of Artificial Intelligence Research, 4:19\u201336, 1996.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0743-1066(95)00076-3","volume":"27","author":"F. Buccafurri","year":"1995","unstructured":"F. Buccafurri, N. Leone, and P. Rullo. Stable models and their computation for logic programming with inheritance and true negation. J. Logic Programming, pages 27: 5\u201344, 1995.","journal-title":"J. Logic Programming"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(94)90106-6","volume":"70","author":"J. Delgrande","year":"1994","unstructured":"J. Delgrande, T. Schaub, and W. Jackson. Alternative approach to default logic. Artificial Intelligence, 70:167\u2013237, 1994.","journal-title":"Artificial Intelligence"},{"key":"5_CR9","unstructured":"V. Dimopoulos and A. Kakas. Logic programming without negation as failure. In Proc. ILPS '95, MIT Press, 1995."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0743-1066(95)94697-X","volume":"22","author":"P. Dung","year":"1995","unstructured":"P. Dung. An argumentation theoretic foundation for logic programming. J. Logic Programming, 22:151\u2013177, 1995.","journal-title":"J. Logic Programming"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"P. Dung and T. Son. Nonmonotonic inheritance, argumentation and logic programming. In Proc. 3rd International conference on LPNMR, pages 316\u2013329. MIT Press, 1995.","DOI":"10.1007\/3-540-59487-6_23"},{"key":"5_CR12","unstructured":"K. Eshghi and R.A. Kowalski. Abduction compared with negation by failure. In Proc. 6th ICLP, pages 234\u2013254. MIT Press, 1989."},{"key":"5_CR13","unstructured":"D. Etherington and R. Reiter. On inheritance hierarchies with exceptions. In AAAI-83, pages 104\u2013108. Morgan Kaufmann, 1983."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"K. Govindarajan, B. Jayaraman, and S. Mantha. Preference logic programming. In Proc. 12th ICLP, pages 731\u2013746. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0070"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"J.F. Horty. Some direct theories of nonmonotonic inheritance. In M. Cabbay and C. Hogger, editors, Handbook of Logic and Artificial Intelligence, pages 111\u2013187. Oxford University, 1991.","DOI":"10.1093\/oso\/9780198537472.003.0003"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0004-3702(87)90064-6","volume":"32","author":"T. Imielinski","year":"1987","unstructured":"T. Imielinski. Results on translating defaults to circumscription. Artificial Intelligence, 32:131\u2013146, 1987.","journal-title":"Artificial Intelligence"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"H. Jagadish, A. Mendelzon, and I. Mumick. Managing conflicts between rules. In Proc. ACM PODS. Montreal Quebec, Canada, 1996.","DOI":"10.1145\/237661.237710"},{"key":"5_CR18","unstructured":"A. Kakas, P. Mancarella, and P.M. Dung. The acceptability semantics for logic programs. In Proc. 11th ICLP, pages 504\u2013519, 1994."},{"key":"5_CR19","unstructured":"S. Mantha. first-Order Preference Theories and their Applications. PhD thesis, University of Utah, 1991."},{"key":"5_CR20","unstructured":"V. Marek and V.S. Subrahmanian. The relationship between logic program semantics and non-monotonic reasoning. In Proc. 6th International Conference on Logic Programming, 1989."},{"key":"5_CR21","unstructured":"V. Marek and M. Truszcynski. Relating autoepistemic and default logic. In Proc. Principles of Knowledge Representation and Reasoning, pages 276\u2013288. Morgan Kaufmann, 1989."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"V. Marek and M. Truszczybski. Nonmonotonic Logic, Context-Dependent Reasoning. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Circumscription \u2014 a form of non-monotonic reasoning. Artificial Intelligence, 13:27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"R. Moore. Semantical consideration on nonmonotonic logic. Artificial Intelligence, 25(1):234\u2013252, 1985.","journal-title":"Artificial Intelligence"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"R. Reiter. On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 55\u201376. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"81","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:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"5_CR27","unstructured":"R. Reiter and G. Cirscuolo. On interacting defaults. In Proc. 7th IJCAI, pages 270\u2013276, 1981."},{"key":"5_CR28","unstructured":"C. Sakama and K. Inous. Representing priorities in logic programs. In Proc. Int'l Conference and Symposium on Logic Programming, 1996."},{"key":"5_CR29","unstructured":"Y. Shoham. A semantics approach to non-monotonic logics. In Proc. IJCAI, pages 388\u2013392, 1987."},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"R.H. Thomason and J.F. Horty. Logics for inheritance theory. In 2nd International Workshop for Non-Monotonic Reasoning, pages 220\u2013237, 1988.","DOI":"10.1007\/3-540-50701-9_30"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"F. Toni and A.C. Kakas. Computing the acceptability semantics. In Proc. 3rd International Conference on Logic Programming and Non-monotonic Reasoning, pages 401\u2013415, 1995.","DOI":"10.1007\/3-540-59487-6_29"},{"key":"5_CR32","unstructured":"X. Wang, J. You, and L. Yuan. Circumscription by inference rules with priority. In Proc. 12th European Conf. on Artificial Intelligence, pages 110\u2013115, 1996."},{"key":"5_CR33","unstructured":"X. Wang, J. You, and L. Yuan. Logic programming without default negation revised. TR96-25, Department of Computing Science, University of Alberta, 1996."}],"container-title":["Lecture Notes in Computer Science","Non-Monotonic Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T23:01:43Z","timestamp":1706742103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540628439","9783540687023"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0023803","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}