{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:05:04Z","timestamp":1760169904916},"reference-count":53,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":4282,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1016\/s0004-3702(01)00134-5","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T09:01:41Z","timestamp":1034586101000},"page":"35-85","source":"Crossref","is-referenced-by-count":22,"title":["An argument-based approach to reasoning with specificity"],"prefix":"10.1016","volume":"133","author":[{"given":"Phan Minh","family":"Dung","sequence":"first","affiliation":[]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(01)00134-5_BIB001","series-title":"Reasoning with Logic Programming","volume":"1111","author":"Alferes","year":"1996"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB002","series-title":"Proc. IJCAI-93, Chamb\u00e9ry, France","first-page":"669","article-title":"How to prefer more specific defaults in terminological default logic","author":"Baader","year":"1993"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB003","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","article-title":"An abstract, argumentation-theoretic approach to default reasoning","volume":"97","author":"Bondarenko","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB004","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","article-title":"Cumulative default logic: In defense of nonmonotonic inference rules","volume":"50","author":"Brewka","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB005","series-title":"Proc. European Workshop on Logics in AI (JELIA'94)","first-page":"247","article-title":"Adding priorities and specificity to default logic","volume":"838","author":"Brewka","year":"1994"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB006","series-title":"Proc. AAAI-94, Seattle, WA","first-page":"940","article-title":"Reasoning about priorities in default logic","author":"Brewka","year":"1994"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB007","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","article-title":"Preferred answer sets for extended logic programs","volume":"109","author":"Brewka","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB008","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/S0004-3702(96)00045-8","article-title":"Compiling specificity into approaches to nonmonotonic reasoning","volume":"90","author":"Delgrande","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB009","series-title":"Proc. 4th International Conference on Knowledge Representation and Reasoning (KR-94), Bonn, Germany","first-page":"47","article-title":"A general approach to specificity in default reasoning","author":"Delgrande","year":"1994"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB010","series-title":"Proc. IJCAI-99, Stockholm, Sweden","first-page":"36","article-title":"Preferred arguments are harder to compute than stable extensions","author":"Dimopoulos","year":"1999"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB011","series-title":"Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR-2000), Breckenridge, CO","first-page":"53","article-title":"Finding admissible and preferred arguments can be very hard","author":"Dimopoulos","year":"2000"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB012","series-title":"Proceedings of the 8th International Conference on Logic Programming (ICLP'91)","first-page":"3","article-title":"Negation as hypothesis: An abductive foundation for logic programming","author":"Dung","year":"1991"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB013","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB014","series-title":"Proc. 3rd International Conference on Logic Programming and NonMonotonic Reasoning Conference (LPNMR'95)","first-page":"316","article-title":"Nonmonotonic inheritance, argumentation, and logic programming","volume":"928","author":"Dung","year":"1995"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB015","series-title":"Proc. 5th International Conference on Knowledge Representation Reasoning (KR-96), Cambridge, MA","first-page":"407","article-title":"An argumentation-theoretic approach to default reasoning with specificity","author":"Dung","year":"1996"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB016","series-title":"Proc. First International Conference on Computational Logic (CL'00)","first-page":"792","article-title":"Default reasoning with specificity","volume":"1861","author":"Dung","year":"2000"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB017","series-title":"An argument-based approach to reasoning with specificity, Technical Report","author":"Dung","year":"2001"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB018","series-title":"Computers and Intractability\u2014A Guide to the Theory of NP-Completeness","author":"Garey","year":"1979"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB019","series-title":"Proc. 2th International Conference on Logic Programming NonMonotonic Reasoning Conference (LPNMR'93)","first-page":"380","article-title":"A nonmonotonic reasoning formalism using implicit specificity information","author":"Geerts","year":"1993"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB020","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","article-title":"Conditional entailment: Bridging two approaches to default reasoning","volume":"53","author":"Geffner","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB021","series-title":"Selected Papers from the Workshop on Logic Programming Knowledge Representation 1997","first-page":"164","article-title":"Prioritized default theory","volume":"1471","author":"Gelfond","year":"1998"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(01)00134-5_BIB022","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(95)00090-9","article-title":"Qualitative probabilities for default reasoning, belief revision, and causal modeling","volume":"84","author":"Goldszmidt","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB023","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","first-page":"111","article-title":"Some direct theories of non-monotonic inheritance","author":"Horty","year":"1994"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB024","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming 5","first-page":"235","article-title":"The role of abduction in logic programming","author":"Kakas","year":"1998"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB025","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1093\/logcom\/9.4.515","article-title":"Computing argumentation in logic programming","volume":"9","author":"Kakas","year":"1999","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0004-3702(01)00134-5_BIB026","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90057-7","article-title":"A skeptical theory of inheritance in nonmonotonic semantic networks","volume":"42","author":"Horty","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB027","series-title":"Proc. AAAI-88, St. Paul, MN","first-page":"439","article-title":"Hierarchic autoepistemic theories for nonmonotonic reasoning","author":"Konolige","year":"1988"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB028","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic reasoning, preferential models and cumulative logics","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB029","series-title":"Proc. IJCAI-85, Los Angeles, CA","first-page":"121","article-title":"Computing circumscription","author":"Lifschitz","year":"1985"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB030","series-title":"Nonmonotonic Logic: Context Dependent Reasoning","author":"Marek","year":"1993"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB031","first-page":"99","article-title":"Floating conclusion and zombie paths: Two deep difficulties in the \u2018directly skeptical\u2019 approach to defeasible inheritance nets","volume":"48","author":"Matkinson","year":"1989","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(01)00134-5_BIB032","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014A form of nonmonotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0004-3702(01)00134-5_BIB033","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing common sense knowledge","volume":"26","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(01)00134-5_BIB034","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Nonmonotonic logic I","volume":"13","author":"McDermott","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB035","series-title":"ESPRIT Project DRUMS RP1 1st Workshop","article-title":"Preference by specificity in default logic","author":"Moinard","year":"1990"},{"issue":"1","key":"10.1016\/S0004-3702(01)00134-5_BIB036","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical considerations on nonmonotonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB037","series-title":"Proc. IJCAI-95, Montreal, Quebec","first-page":"312","article-title":"Towards efficient default reasoning","author":"Niemel\u00e4","year":"1995"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB038","series-title":"Proc. 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'90)","first-page":"121","article-title":"System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning","author":"Pearl","year":"1990"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB039","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","article-title":"Defeasible reasoning","volume":"17","author":"Pollock","year":"1987","journal-title":"Cognitive Sci."},{"key":"10.1016\/S0004-3702(01)00134-5_BIB040","series-title":"Proc. IJCAI-85, Los Angeles, CA","first-page":"144","article-title":"On the comparison of theories: Preferring the most specific explanation","author":"Poole","year":"1985"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB041","series-title":"Handbook of Philosophical Logic","article-title":"Logics for defeasible argumentation","author":"Prakken","year":"1991"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(01)00134-5_BIB042","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB043","series-title":"Proc. IJCAI-81, Vancouver, BC","first-page":"270","article-title":"On interacting defaults","author":"Reiter","year":"1981"},{"issue":"10","key":"10.1016\/S0004-3702(01)00134-5_BIB044","doi-asserted-by":"crossref","first-page":"1345","DOI":"10.1109\/PROC.1986.13636","article-title":"Nonmonotonic inference rules for multiple inheritance with exceptions","volume":"74","author":"Sandewall","year":"1986","journal-title":"Proc. IEEE"},{"issue":"2","key":"10.1016\/S0004-3702(01)00134-5_BIB045","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0004-3702(93)90081-L","article-title":"The complexity of path-based defeasible inheritance","volume":"62","author":"Selman","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB046","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","article-title":"A mathematical treatment of defeasible reasoning and its implementation","volume":"52","author":"Simari","year":"1992","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/S0004-3702(01)00134-5_BIB047","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/S0004-3702(96)00029-X","article-title":"On Sandewall's paper: Nonmonotonic inference rules for multiple inheritance with exceptions","volume":"86","author":"Simonet","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB048","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(94)90065-5","article-title":"On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies","volume":"71","author":"Simonet","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB049","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0004-3702(92)90057-5","article-title":"Resolving ambiguity in nonmonotonic inheritance hierarchies","volume":"55","author":"Stein","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB050","series-title":"Proc. 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany","first-page":"483","article-title":"A nonmonotonic disputation-based semantics and proof procedure for logic programs","author":"Thielscher","year":"2000"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB051","series-title":"The Mathematics of Inheritance Systems","author":"Touretzky","year":"1986"},{"key":"10.1016\/S0004-3702(01)00134-5_BIB052","series-title":"Proc. 2nd International Conference on Knowledge Representation Reasoning (KR-91), Cambridge, MA","first-page":"478","article-title":"The feasibility of defeat in defeasible reasoning","author":"Vreeswijk","year":"1991"},{"issue":"1","key":"10.1016\/S0004-3702(01)00134-5_BIB053","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/S0004-3702(99)00055-7","article-title":"Compiling defeasible inheritance networks to general logic programs","volume":"113","author":"You","year":"1999","journal-title":"Artificial Intelligence"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370201001345?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370201001345?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T08:27:03Z","timestamp":1555835223000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370201001345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":53,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["S0004370201001345"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(01)00134-5","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}