{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:34:21Z","timestamp":1725536061394},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028458"},{"type":"electronic","value":"9783642028465"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_35","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T10:44:16Z","timestamp":1248086656000},"page":"432-448","source":"Crossref","is-referenced-by-count":16,"title":["Logic Programming with Defaults and Argumentation Theories"],"prefix":"10.1007","author":[{"given":"Hui","family":"Wan","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Grosof","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kifer","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Fodor","sequence":"additional","affiliation":[]},{"given":"Senlin","family":"Liang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"35_CR1","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G. Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Log.\u00a02(2), 255\u2013287 (2001)","journal-title":"ACM Trans. Comput. Log."},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Maher, M.J.: Embedding defeasible logic into logic programs. In: Int\u2019l Conference on Logic Programming, pp. 393\u2013404 (2002)","DOI":"10.1007\/3-540-45619-8_27"},{"issue":"1","key":"35_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00881830","volume":"15","author":"F. Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Journal of Automated Reasoning\u00a015(1), 41\u201368 (1995)","journal-title":"Journal of Automated Reasoning"},{"issue":"1-2","key":"35_CR4","first-page":"63","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. AI\u00a093(1-2), 63\u2013101 (1997)","journal-title":"AI"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G. Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artificial Intelligence\u00a0109, 297\u2013356 (1999)","journal-title":"Artificial Intelligence"},{"key":"35_CR6","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-94-015-9383-0_3","volume-title":"Intellectics and Computational Logic \u2013 Papers in Honour of Wolfgang Bibel","author":"G. Brewka","year":"2000","unstructured":"Brewka, G., Eiter, T.: Prioritizing default logic. In: Intellectics and Computational Logic \u2013 Papers in Honour of Wolfgang Bibel, pp. 27\u201345. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"3","key":"35_CR7","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming\u00a015(3), 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"key":"35_CR8","first-page":"292","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 292\u2013322. Plenum Press, New York (1978)"},{"issue":"12","key":"35_CR9","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1111\/j.0824-7935.2004.00240.x","volume":"20","author":"J. Delgrande","year":"2004","unstructured":"Delgrande, J., Schaub, T., Tompits, H., Wang, K.: A classification and survey of preference handling approaches in nonmonotonic reasoning. Computational Intelligence\u00a020(12), 308\u2013334 (2004)","journal-title":"Computational Intelligence"},{"key":"35_CR10","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S1471068402001539","volume":"2","author":"J.P. Delgrande","year":"2003","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: A framework for compiling preferences in logic programs. Theory and Practice of Logic Programming\u00a02, 129\u2013187 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1-2","key":"35_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(01)00134-5","volume":"133","author":"P.M. Dung","year":"2001","unstructured":"Dung, P.M., Son, T.C.: An argument-based approach to reasoning with specificity. Artificial Intelligence\u00a0133(1-2), 35\u201385 (2001)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"35_CR12","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1017\/S1471068403001753","volume":"3","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Computing preferred answer sets by meta-interpretation in answer set programming. Theory and Practice of Logic Programming\u00a03(4), 463\u2013498 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"35_CR13","unstructured":"Ganjugunte, S.: Extending reasoning infrastructure for rules on the semantic web: Well-founded negation, incremental courteous logic programs, and interoperability tools in sweetrules. Master\u2019s thesis, UMBC (2005)"},{"issue":"2","key":"35_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1017\/S1471068403001674","volume":"4","author":"A.J. Garc\u00eda","year":"2004","unstructured":"Garc\u00eda, A.J., Simari, G.R.: Defeasible logic programming: an argumentative approach. Theory Practice of Logic Programming\u00a04(2), 95\u2013138 (2004)","journal-title":"Theory Practice of Logic Programming"},{"key":"35_CR15","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038, 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"35_CR16","first-page":"1070","volume-title":"Proceedings of ICLP\/SLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP\/SLP, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"35_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/BFb0054795","volume-title":"Logic Programming and Knowledge Representation","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Son, T.C.: Reasoning with prioritized defaults. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS, vol.\u00a01471, pp. 164\u2013223. Springer, Heidelberg (1998)"},{"key":"35_CR18","unstructured":"Grosof, B.N.: Prioritized conflict handling for logic programs. In: Int\u2019l Logic Programming Symposium, October 1997, pp. 197\u2013211 (1997)"},{"key":"35_CR19","unstructured":"Grosof, B.N.: A courteous compiler from generalized courteous logic programs to ordinary logic programs. Technical Report Supplementary Update Follow-On to RC 21472, IBM (July 1999)"},{"key":"35_CR20","first-page":"1","volume-title":"XIIIth Brazilian Symposium on Artificial Intelligence, Advances in Artificial Intelligence","author":"N.I. Karacapilidis","year":"1996","unstructured":"Karacapilidis, N.I., Papadias, D., Gordon, T.F.: An argumentation based framework for defeasible and qualitative reasoning. In: XIIIth Brazilian Symposium on Artificial Intelligence, Advances in Artificial Intelligence, pp. 1\u201310. Springer, Heidelberg (1996)"},{"key":"35_CR21","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM\u00a042, 741\u2013843 (1995)","journal-title":"Journal of ACM"},{"key":"35_CR22","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-1-4615-5643-5_11","volume-title":"Logics for Databases and Information Systems","author":"L.V.S. Lakshmanan","year":"1998","unstructured":"Lakshmanan, L.V.S., Thirunarayan, K.: Declarative frameworks for inheritance. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 357\u2013388. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"35_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"35_CR24","doi-asserted-by":"crossref","unstructured":"Maier, F., Nute, D.: Relating defeasible logic to the well-founded semantics for normal logic programs. In: Int\u2019l Workshop on Non-monotonic Reasoning (2006)","DOI":"10.1007\/11853886_26"},{"key":"35_CR25","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","volume-title":"Handbook of logic in artificial intelligence and logic programming","author":"D. Nute","year":"1994","unstructured":"Nute, D.: Defeasible logic. In: Handbook of logic in artificial intelligence and logic programming, pp. 353\u2013395. Oxford University Press, Oxford (1994)"},{"key":"35_CR26","unstructured":"Pereira, L.M., Pinto, A.M.: Reductio ad absurdum argumentation in normal logic programs. In: ArgNMR workshop at LPNMR, pp. 96\u2013113 (2007)"},{"issue":"1-2","key":"35_CR27","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF01531263","volume":"9","author":"H. Prakken","year":"1993","unstructured":"Prakken, H.: An argumentation framework in default logic. Annals of Mathematics and Artificial Intelligence\u00a09(1-2), 93\u2013132 (1993)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"35_CR28","first-page":"1","volume-title":"ICAIL 1993: 4th Int\u2019l Conf. on Artificial Intelligence and Law","author":"H. Prakken","year":"1993","unstructured":"Prakken, H.: A logical framework for modelling legal argument. In: ICAIL 1993: 4th Int\u2019l Conf. on Artificial Intelligence and Law, pp. 1\u20139. ACM, New York (1993)"},{"key":"35_CR29","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF01530784","volume":"12","author":"T.C. Przymusinski","year":"1994","unstructured":"Przymusinski, T.C.: Well-founded and stationary models of logic programs. Annals of Mathematics and Artificial Intelligence\u00a012, 141\u2013187 (1994)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"35_CR30","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"35_CR31","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","volume":"123","author":"C. Sakama","year":"2000","unstructured":"Sakama, C., Inoue, K.: Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence\u00a0123(1-2), 185\u2013222 (2000)","journal-title":"Artificial Intelligence"},{"key":"35_CR32","volume-title":"The Mathematics of Inheritance Systems","author":"D.S. Touretzky","year":"1986","unstructured":"Touretzky, D.S.: The Mathematics of Inheritance Systems. Morgan Kaufmann, San Francisco (1986)"},{"key":"35_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-44957-4_11","volume-title":"Computational Logic - CL 2000","author":"K. Wang","year":"2000","unstructured":"Wang, K., Zhou, L., Lin, F.: Alternating fixpoint theory for logic programs with priority. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS, vol.\u00a01861, pp. 164\u2013178. Springer, Heidelberg (2000)"},{"key":"35_CR34","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-540-39733-5_4","volume":"2800","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Inheritance in rule-based frame systems: Semantics and inference. Journal on Data Semantics\u00a02800, 69\u201397 (2003)","journal-title":"Journal on Data Semantics"},{"issue":"4","key":"35_CR35","first-page":"183","volume":"14","author":"Y. Zhang","year":"2001","unstructured":"Zhang, Y., Wu, C.M., Bai, Y.: Implementing prioritized logic programming. AI Communications\u00a014(4), 183\u2013196 (2001)","journal-title":"AI Communications"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T09:46:13Z","timestamp":1710495973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}