{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:41:58Z","timestamp":1747546918888},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649588"},{"type":"electronic","value":"9783540498728"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054795","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:52:33Z","timestamp":1153979553000},"page":"164-223","source":"Crossref","is-referenced-by-count":28,"title":["Reasoning with prioritized defaults"],"prefix":"10.1007","author":[{"given":"Michael","family":"Gelfond","sequence":"first","affiliation":[]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00881830","volume":"15","author":"F. Baader","year":"1995","unstructured":"Baader, F. and Hollunder, B.: Priorities on Defaults with Prerequisite and their Application in Treating Specificity in Terminological Default Logic, Journal of Automated Reasoning, 15:41\u201368, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C. and Gelfond M.: Logic Programming and Knowledge Representation, Journal of Logic Programming, 19,20: 73\u2013148, 1994.","journal-title":"Journal of Logic Programming"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Brass, S. and Dix, J.: A disjunctive semantics based on unfolding and bottom-up evaluation, in Bernd Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen, (IFIP '94-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83\u201391, 1994, Springer.","DOI":"10.1007\/978-3-642-51136-3_13"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(96)00115-X","volume":"32","author":"S. Brass","year":"1997","unstructured":"Brass, S. and Dix, J.: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation, Journal of Logic Programming, 32(3):207\u2013228, 1997.","journal-title":"Journal of Logic Programming"},{"key":"8_CR5","unstructured":"Brewka, G.: Reasoning about Priorities in Default Logic, Proc. AAAI-94, Seattle, 1994"},{"key":"8_CR6","first-page":"247","volume":"838","author":"G. Brewka","year":"1994","unstructured":"Brewka, G.: Adding Priorities and Specificity to Default Logic, Proc. JELIA 94, Springer LNAI 838, 247\u2013260, 1994","journal-title":"Springer LNAI"},{"key":"8_CR7","unstructured":"Brewka, G.: Preferred Answer Sets, Proc. ILPS'97 Postconference Workshop, 76\u201388, 1997."},{"key":"8_CR8","volume-title":"Prolog Programming in Depth","author":"M.A. Covington","year":"1997","unstructured":"Covington M.A., Nute D., and Vellino A.: Prolog Programming in Depth, Prentice Hall, NJ, 1997."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Chen, W. and Warren, D.S.: Query Evaluation under the Well-Founded Semantics, The Twelfth ACM Symposium on Principles of Database System, 1993.","DOI":"10.1145\/153850.153865"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Chen, W.: Extending Prolog with Nonmonotonic Reasoning, Journal of LP, 169\u2013183, 1996.","DOI":"10.1016\/0743-1066(95)00151-4"},{"key":"8_CR11","unstructured":"Delgrande, J.P., Schaub, T.H.: Compiling Reasoning with and about Preferences into Default Logic, IJCAi'97, (1997)."},{"key":"8_CR12","unstructured":"Dix, J.: Classifying Semantics of Logics Programs. In Proc. of the International Workshop in Logic Programming and Nonmonotonic Reasoning, 166\u2013180, Washington, DC, 1991."},{"issue":"3","key":"8_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties, Fundamenta Informaticae, XXII(3):227\u2013255, 1995.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"8_CR14","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties, Fundamenta Informaticae, XXII(3):257\u2013288, 1995.","journal-title":"Fundamenta Informaticae"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0304-3975(92)90285-N","volume":"105","author":"P.M. Dung","year":"1992","unstructured":"Dung, P.M.: On the Relations Between Stable and Well-Founded Semantics of Logic Programming, Theoretical Computer Science 105:7\u201325 (1992).","journal-title":"Theoretical Computer Science"},{"key":"8_CR16","first-page":"321","volume":"2","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming and N-person game. AI (77) 2:321\u2013357 (1995).","journal-title":"AI (77)"},{"key":"8_CR17","unstructured":"Fages, F.: Consistency of Clark's Completion and Existence of Stable Models, Technical Report 90-15, Ecole Normale Superieure, 1990."},{"key":"8_CR18","volume-title":"Nonlinear Preference and Utility Theory","author":"P.C. Fishburn","year":"1988","unstructured":"Fishburn, P.C.: Nonlinear Preference and Utility Theory (Johns Hopkins University Press, Baltimore, 1988)."},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-642-82453-1_15","volume-title":"Logics and models of Concurrent Systems","author":"D. Gabbay","year":"1985","unstructured":"Gabbay, D.: Theoretical Foundation for Nonmonotonic Reasoning in Experts System. In K. Apt, editor, Logics and models of Concurrent Systems, 439\u2013457, Springer Verlag, NY, 1985."},{"key":"8_CR20","unstructured":"Gelfond, M., Gabaldon, A.: From Functional Specifications to Logic Programs, 355\u2013370, Proc. of ILPS'97, 1997."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases, New Generation of Computing 365\u2013387, 1991.","DOI":"10.1007\/BF03037169"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"H. Geffner","year":"1992","unstructured":"Geffner, H., Pearl, J.: Conditional Entailment: Bridging two Approaches to Default Reasoning, Artificial Intelligence 53, 209\u2013244, 1992.","journal-title":"Artificial Intelligence"},{"key":"8_CR23","unstructured":"Grosof, B.N: Prioritized Conflict Handling for Logic Programs, 197\u2013212, Proc. of ILPS'97, 1997."},{"key":"8_CR24","unstructured":"Gordon, T.: The Pleadings Game: An Artificial Intelligence Model of Procedural Justice. Ph.D. Dissertation, TU Darmstadt."},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0165-4896(91)90042-P","volume":"21","author":"O.M. Kosheleva","year":"1991","unstructured":"Kosheleva, O.M. and Kreinovich, V.Ya.: Algorithm Problems of Nontransitive (SSB) Utilities, Mathematical Social Sciences 21 (1991) 95\u2013100.","journal-title":"Mathematical Social Sciences"},{"key":"8_CR26","first-page":"167","volume":"1","author":"D. Lehnmann","year":"1990","unstructured":"Lehnmann, D., Kraus, S., and Magidor, M.: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, AI (44) 1: 167\u2013207, 1990.","journal-title":"AI (44)"},{"key":"8_CR27","unstructured":"Lifschitz, V., Turner, H.: Splitting a Logic Program, Proc. of ICLP, MIT Press, 1994."},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Marek, W. and Truszczynski, M.: Nonmonotonic Logic: Context-Dependent Reasoning, Springer, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"8_CR29","first-page":"16","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson, D.: Constructible Falsity, JSL 14 (1949), 16\u201326.","journal-title":"JSL"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Nute, D.: A Decidable Quantified Defeasible Logic. In Prawitz, D., Skyrms, B., and Westerstahl, D. (eds): Logic, Methodology and Philosophy of Science IX. Elsevier Science B.V., 263\u2013284, 1994.","DOI":"10.1016\/S0049-237X(06)80048-0"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Pearce, D.: A New Logical Characterization of Stable Models and Answer Sets, NMELP'96, Springer, 57\u201370, 1997.","DOI":"10.1007\/BFb0023801"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Prakken, H. and Sartor, G,: On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities. Proc. of the Fifth International Conference on AI and Law, Maryland, College Park, MD USA, 1\u201310, 1995.","DOI":"10.1145\/222092.222096"},{"issue":"7","key":"8_CR33","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"1","author":"H. Prakken","year":"1997","unstructured":"Prakken, H. and Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of applied non-classical logics, 1,2 (7), 25\u201377, 1997.","journal-title":"Journal of applied non-classical logics"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and data bases, 55\u201376, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"8_CR35","first-page":"68","volume-title":"A Logic for Default Reasoning in Readings in Nonmonotonic Reasoning","author":"R. Reiter","year":"1987","unstructured":"Reiter R.: A Logic for Default Reasoning in Readings in Nonmonotonic Reasoning, Edited by M. L. Ginsberg, Morgan Kaufmann Publishers, Inc., Los Altos, California (1987) 68\u201393"},{"key":"8_CR36","unstructured":"Zhang, Y. and Foo, N.Y.: Answer Sets for Prioritized Logic Programs, 69\u201384, Proc. of ILPS'97, 1997."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Knowledge Representation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T13:55:07Z","timestamp":1587131707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649588","9783540498728"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/bfb0054795","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}