{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T00:33:23Z","timestamp":1776386003114,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540006800","type":"print"},{"value":"9783540365242","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36524-9_13","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T10:16:21Z","timestamp":1192875381000},"page":"151-169","source":"Crossref","is-referenced-by-count":40,"title":["Defeasible Logic"],"prefix":"10.1007","author":[{"given":"Donald","family":"Nute","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R.: Semantical considerations on non-monotonic logic. Artificial Intelligence 25 (1985) 75\u201394","journal-title":"Artificial Intelligence"},{"key":"13_CR2","unstructured":"Loui, R.: Theory and Computation of Uncertain Inference and Decision. PhD thesis, The University of Rochester (1987) Technical Report 228, Department of Computer Science."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1111\/j.1467-8640.1987.tb00178.x","volume":"3","author":"R. Loui","year":"1987","unstructured":"Loui, R.: Defeat among arguments: A system of defeasible inference. Computational Intelligence 3 (1987) 100\u2013106","journal-title":"Computational Intelligence"},{"key":"13_CR4","unstructured":"Geffner, H.: Default Reasoning: Causal and Conditional Theories. PhD thesis, UCLA (1989) Research Report 137, Cognitive Systems Laboratory, Department of Computer Science."},{"key":"13_CR5","first-page":"69","volume-title":"Knowledge Representation and Defeasible Reasoning","author":"H. Geffner","year":"1989","unstructured":"Geffner, H., Pearl, J.: A framework for reasoning with defaults. In Kyburg, H., Loui, R., Carlson, G., eds.: Knowledge Representation and Defeasible Reasoning. Studies in Cognitive Systems. Kluwer Academic Publishers, Boston (1989) 69\u201388"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1002\/int.4550060103","volume":"6","author":"J. Pollock","year":"1991","unstructured":"Pollock, J.: A theory of defeasible reasoning. International Journal of Intelligent Systems 6 (1991) 33\u201354","journal-title":"International Journal of Intelligent Systems"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BF00352916","volume":"1","author":"J. Pollock","year":"1991","unstructured":"Pollock, J.: Self-defeating argument. Minds and Machines 1 (1991) 367\u2013392","journal-title":"Minds and Machines"},{"key":"13_CR8","volume-title":"Handbook of Logic for Artificial Intelligence and Logic Programming","author":"D. Nute","year":"1994","unstructured":"Nute, D.: Defeasible logic. In Gabbay, D., Hogger, C., eds.: Handbook of Logic for Artificial Intelligence and Logic Programming. Volume III. Oxford University Press, Oxford (1994)"},{"key":"13_CR9","unstructured":"Schurtz, G.: Defeasible reasoning based on constructive and cumulative rules. In Casati, R., Smith, B., White, G., eds.: Philosophy and Cognitive Sciences. H\u00f6lder-Pichler-Tempsky (1994) 297\u2013310"},{"key":"13_CR10","unstructured":"Makinson, D.: On a fundamental problem of deontic logic. In Prakken, H., McNamara, P., eds.: \u0394EON\u201998: 4th International Workshop on Deontic Logic in Computer Science, Universit\u00e0 degli Studi di Bologna (1998)"},{"key":"13_CR11","unstructured":"Dung, P.M., Kowalski, R.A., Toni, F.: Synthesis of proof procedures for default reasoning. In: Proceedings of the international workshop on logic programming synthesis and transformation, Springer Lecture Notes on Computer Science 1207 (1996) 313\u2013324"},{"key":"13_CR12","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 13 (1980) 81\u2013132","journal-title":"Artificial Intelligence"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige, K.: On the relation between default theories and autoepistemic logic. Artificial Intelligence 35 (1988) 343\u2013382","journal-title":"Artificial Intelligence"},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-94-015-8851-5_7","volume-title":"Defeasible Deontic Logic. Synthese Library","author":"M. Morreau","year":"1997","unstructured":"Morreau, M.: Reasons to think and act. In Nute, D., ed.: Defeasible Deontic Logic. Synthese Library. Kluwer Academic Publishers, Dordrecht, Netherlands (1997) 139\u2013158"},{"key":"13_CR15","unstructured":"Donnelly, S.: Semantics, soundness, and incompleteness for a defeasible logic. Master\u2019s thesis, Artificial Intelligence Center, The University of Georgia (1999)"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-015-8851-5_12","volume-title":"Defeasible Deontic Logic","author":"D. Nute","year":"1997","unstructured":"Nute, D.: Apparent obligation. In Nute, D., ed.: Defeasible Deontic Logic. Synthese Library. Kluwer Academic Publishers, Dordrecht, Netherlands (1997) 287\u2013315"},{"key":"13_CR17","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems","author":"D. Gabbay","year":"1996","unstructured":"Gabbay, D.: Labelled Deductive Systems. Volume 1. Oxford University Press, Oxford (1996)"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0004-3702(91)90061-N","volume":"48","author":"D. Makinson","year":"1991","unstructured":"Makinson, D., Schechta, K.: Floating conclusions and zombie paths: two deep difficulties in the \u2018directly skeptical\u2019 approach to inheritance nets. Artificial Intelligence48 (1991) 199\u2013209","journal-title":"Artificial Intelligence"},{"key":"13_CR19","first-page":"201","volume-title":"Norms, Logics and Information Systems","author":"D. Nute","year":"1999","unstructured":"Nute, D.: Norms, priorities, and defeasibility. In McNamara, P., Prakken, H., eds.: Norms, Logics and Information Systems. IOS Press, Amsterdam (1999) 201\u2013218."},{"key":"13_CR20","unstructured":"Nute, D., Lewis, M.: A users manual for d-Prolog. Research Report 01-0016, Artificial Intelligence Programs, The University of Georgia (1986)"},{"key":"13_CR21","unstructured":"Nute, D.: Basic defeasible logic. In nas del Cerro, L.F., Penttonen, M., eds.: Intensional Logics for Programming. Oxford University Press (1992) 125\u2013154"},{"key":"13_CR22","unstructured":"Nute, D.: A decidable quantified defeasible logic. In Prawitz, D., Skyrms, B., Westerstahl, D., eds.: Logic, Methodology and Philosophy of Science IX. Elsevier Science B. V, New York (1994) 263\u2013284"},{"key":"13_CR23","volume-title":"Prolog Programming in Depth","author":"M. Covington","year":"1997","unstructured":"Covington, M., Nute, D., Vellino, A.: Prolog Programming in Depth, Second Edition. Prentice-Hall, Englewood Cliffs, NJ (1997)","edition":"Second Edition"},{"key":"13_CR24","first-page":"140","volume":"40","author":"J. Conklin","year":"1989","unstructured":"Conklin, J., Begemena, M.L.: gIBIS: A tool for all reasons. Journal of the American Society for Information Systems 40 (1989) 140\u2013152","journal-title":"Journal of the American Society for Information Systems"},{"key":"13_CR25","unstructured":"Hua, H., Kimbrough, S.: On hypermedia-based argumentation decision support systems. unpublished manuscript (1995)"},{"key":"13_CR26","unstructured":"Nute, D., Henderson, C., Hunter, Z.: Defeasible logic graphs ii: Implementation. Decision Support Systems (to appear)"},{"key":"13_CR27","unstructured":"Nute, D., Erk, K.: Defeasible logic graphs i: Theory. Decision Support Systems (to appear)"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0167-9236(90)90005-C","volume":"6","author":"D. Nute","year":"1990","unstructured":"Nute, D., Mann, R., Brewer, B.: Conrtolling expert system recommendations with defeasible logic. Decision Support Systems 6 (1990) 153\u2013164","journal-title":"Decision Support Systems"},{"key":"13_CR29","unstructured":"Georgo., D.M., Murdick, R.G.: Manager\u2019s guide to forecasting. Harvard Business Review (1986) 110\u2013120"},{"key":"13_CR30","unstructured":"Puppa, A.: A comparison: Knowledge representation in Prolog and in defeasible Prolog. Master\u2019s thesis, Artificial Intelligence Center, The University of Georgia (1997)"},{"key":"13_CR31","unstructured":"Nute, D.: V-World. Software, Artificial Intelligence Center, The University of Georgia (2001) Available online at http:\/\/www.arches.uga.edu\/~dnute\/vworld ."},{"key":"13_CR32","unstructured":"Hunter, Z.: dd-Prolog: A deontic extension of d-Prolog. Master\u2019s thesis, The University of Georgia (1997)"},{"key":"13_CR33","unstructured":"Ryu, Y.: A Formal Representation of Normative Systems: A Defeasible Deontic Reasoning Approach. PhD thesis, University of Texas (1992)"},{"key":"13_CR34","unstructured":"Dhanesha, K.: Normative expert system using deontic logic and defeasible reasoning. Master\u2019s thesis, The University of Georgia (1994)"},{"key":"13_CR35","unstructured":"Ryu, Y., Lee, R.: Defeasible deontic reasoning: A logic programming model. In Meyer, J.J.C., Wieringa, R.J., eds.: Deontic Logic in Computer Science: Normative System Speciffication. John Wiley & Sons Ltd. (1993)"},{"key":"13_CR36","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0167-9236(94)00002-A","volume":"4","author":"Y. Ryu","year":"1995","unstructured":"Ryu, Y., Lee, R.: Defeasible deontic reasoning and its applications to normative systems. Decision Support Systems 4 (1995) 59\u201373","journal-title":"Decision Support Systems"},{"key":"13_CR37","volume-title":"Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning","author":"Y. Ryu","year":"1997","unstructured":"Ryu, Y., Lee, R.: Deontic logic viewed as defeasible reasoning. In Nute, D., ed.: Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning. Kluwer Academic Publishers, Dordrecht, Holland (1997)"}],"container-title":["Lecture Notes in Computer Science","Web Knowledge Management and Decision Support"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36524-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T15:21:55Z","timestamp":1708269715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36524-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006800","9783540365242"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-36524-9_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}