{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,15]],"date-time":"2026-09-15T06:05:57Z","timestamp":1789452357816,"version":"build-2803163510"},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T00:00:00Z","timestamp":1285891200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2010,10]]},"abstract":"<jats:p>Defeasible reasoning is a computationally simple nonmonotonic reasoning approach that has attracted significant theoretical and practical attention. It comprises a family of logics that capture different intuitions, among them ambiguity propagation versus ambiguity blocking, and the adoption or rejection of team defeat. This article provides a compact presentation of the defeasible logic variants, and derives an inclusion theorem which shows that different notions of provability in defeasible logic form a chain of levels of proof.<\/jats:p>","DOI":"10.1145\/1838552.1838558","type":"journal-article","created":{"date-parts":[[2010,11,3]],"date-time":"2010-11-03T14:16:37Z","timestamp":1288793797000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["An inclusion theorem for defeasible logics"],"prefix":"10.1145","volume":"12","author":[{"given":"David","family":"Billington","sequence":"first","affiliation":[{"name":"Griffith University, Nathan, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[{"name":"FORTH and University of Crete, Heraklion Crete, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[{"name":"NICTA, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Maher","sequence":"additional","affiliation":[{"name":"NICTA and University of New South Wales, Sydney NSW, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,11,26]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.29"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on on Innovative Applications of Artificial Intelligence (AAAI\/IAAI), Menlo Park, CA\/MIT Press","author":"Antoniou G.","unstructured":"Antoniou , G. , Billington , D. , Governatori , G. , and Maher , M. J . 2000a. A flexible framework for defeasible logics . In Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on on Innovative Applications of Artificial Intelligence (AAAI\/IAAI), Menlo Park, CA\/MIT Press , Cambridge, MA, 405--410. Antoniou, G., Billington, D., Governatori, G., and Maher, M. J. 2000a. A flexible framework for defeasible logics. In Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on on Innovative Applications of Artificial Intelligence (AAAI\/IAAI), Menlo Park, CA\/MIT Press, Cambridge, MA, 405--410."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002778"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), W. Horn, Ed. IOS Press","author":"Antoniou G.","unstructured":"Antoniou , G. , Billington , D. , Governatori , G. , Maher , M. J. , and Rock , A . 2000b. A family of defeasible reasoning logics and its implementation . In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), W. Horn, Ed. IOS Press , Amsterdam, The Netherlands, 459--463. Antoniou, G., Billington, D., Governatori, G., Maher, M. J., and Rock, A. 2000b. A family of defeasible reasoning logics and its implementation. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), W. Horn, Ed. IOS Press, Amsterdam, The Netherlands, 459--463."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00060-6"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the International Symposium on Logical Formalization of Commonsense Reasoning. P. Doherty, J. McCarthy, and M.-A. Williams, Eds. AAAI Spring Symposium Series. AAAI","author":"Balduccini M.","unstructured":"Balduccini , M. and Gelfod , M . 2003. Logic programs with consistency-restoring rules . In Proceedings of the International Symposium on Logical Formalization of Commonsense Reasoning. P. Doherty, J. McCarthy, and M.-A. Williams, Eds. AAAI Spring Symposium Series. AAAI , Press, Menlo Park, CA, 9--18. Balduccini, M. and Gelfod, M. 2003. Logic programs with consistency-restoring rules. In Proceedings of the International Symposium on Logical Formalization of Commonsense Reasoning. P. Doherty, J. McCarthy, and M.-A. Williams, Eds. AAAI Spring Symposium Series. AAAI, Press, Menlo Park, CA, 9--18."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.4018\/jswis.2006010101"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/3.4.379"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.405"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), J. Dix, U. Furbach, and A. Nerode, Eds. Lecture Notes in Computer Science","volume":"1265","author":"Buccafurri F.","unstructured":"Buccafurri , F. , Leone , N. , and Rullo , P . 1997. Strong and weak constraints in disjunctive datalog . In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), J. Dix, U. Furbach, and A. Nerode, Eds. Lecture Notes in Computer Science , vol. 1265 . Springer, Berlin, Germany, 2--17. Buccafurri, F., Leone, N., and Rullo, P. 1997. Strong and weak constraints in disjunctive datalog. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), J. Dix, U. Furbach, and A. Nerode, Eds. Lecture Notes in Computer Science, vol. 1265. Springer, Berlin, Germany, 2--17."},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the International Symposium on Logic Programming. MIT Press","author":"Dimopoulos Y.","unstructured":"Dimopoulos , Y. and Kakas , A. C . 1995. Logic programming without negation as failure . In Proceedings of the International Symposium on Logic Programming. MIT Press , Cambridge, MA, 369--383. Dimopoulos, Y. and Kakas, A. C. 1995. Logic programming without negation as failure. In Proceedings of the International Symposium on Logic Programming. MIT Press, Cambridge, MA, 369--383."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-4223(02)00016-9"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.05.003"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01639-4_19"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001092"},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence (ECAI). W. Horn, Ed. IOS Press","author":"Governatori G.","unstructured":"Governatori , G. and Maher , M. J . 2000. An argumentation-theoretic characterization of defeasible logic . In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI). W. Horn, Ed. IOS Press , Amsterdam, The Netherlands, 469--473. Governatori, G. and Maher, M. J. 2000. An argumentation-theoretic characterization of defeasible logic. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI). W. Horn, Ed. IOS Press, Amsterdam, The Netherlands, 469--473."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.675"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9030-4"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160728"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1165485.1165490"},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the 12th International Conference on Logic Programming. MIT Press","author":"Govindarajan K.","unstructured":"Govindarajan , K. , Jayaraman , B. , and Mantha , S . 1995. Preference logic programming . In Proceedings of the 12th International Conference on Logic Programming. MIT Press , Cambridge, MA, 731--745. Govindarajan, K., Jayaraman, B., and Mantha, S. 1995. Preference logic programming. In Proceedings of the 12th International Conference on Logic Programming. MIT Press, Cambridge, MA, 731--745."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/271338.271384"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/336992.337010"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011288805074"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00160-6"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-006-9040-0"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90007-0"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068401001168"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the Workshop on Paraconsistent Computational Logic. 67--80","author":"Maher M. J.","year":"2002","unstructured":"Maher , M. J. 2002 . A model-theoretic semantics for defeasible logic . In Proceedings of the Workshop on Paraconsistent Computational Logic. 67--80 . Maher, M. J. 2002. A model-theoretic semantics for defeasible logic. In Proceedings of the Workshop on Paraconsistent Computational Logic. 67--80."},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the 16th National Conference on Artificial Intelligence and 11th Conference on Innovative Applications of Artificial Intelligence (AAAI\/IAAI). 299--305","author":"Maher M. J.","unstructured":"Maher , M. J. and Governatori , G . 1999. A semantic decomposition of defeasible logics . In Proceedings of the 16th National Conference on Artificial Intelligence and 11th Conference on Innovative Applications of Artificial Intelligence (AAAI\/IAAI). 299--305 . Maher, M. J. and Governatori, G. 1999. A semantic decomposition of defeasible logics. In Proceedings of the 16th National Conference on Artificial Intelligence and 11th Conference on Innovative Applications of Artificial Intelligence (AAAI\/IAAI). 299--305."},{"key":"e_1_2_1_34_1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"Makinson D.","unstructured":"Makinson , D. 1994. General patterns in nonmonotonic reasoning . In Handbook of Logic in Artificial Intelligence and Logic Programming , Vol. II , D. Gabbay, Ed . Oxford University Press , Oxford, U.K., 35--110. Makinson, D. 1994. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. II, D. Gabbay, Ed. Oxford University Press, Oxford, U.K., 35--110."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90009-0"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 3rd International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), N. Maudet, S. Parsons, and I. Rahwan, Eds. Lecture Notes in Computer Science","volume":"4766","author":"Nielsen S. H.","unstructured":"Nielsen , S. H. and Parsons , S . 2006. A generalization of dung's abstract framework for argumentation: Arguing with sets of attacking arguments . In Proceedings of the 3rd International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), N. Maudet, S. Parsons, and I. Rahwan, Eds. Lecture Notes in Computer Science , vol. 4766 . Springer, Berlin, Germany, 54--73. Nielsen, S. H. and Parsons, S. 2006. A generalization of dung's abstract framework for argumentation: Arguing with sets of attacking arguments. In Proceedings of the 3rd International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), N. Maudet, S. Parsons, and I. Rahwan, Eds. Lecture Notes in Computer Science, vol. 4766. Springer, Berlin, Germany, 54--73."},{"key":"e_1_2_1_38_1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"Nute D.","unstructured":"Nute , D. 1997. Defeasible logic . In Handbook of Logic in Artificial Intelligence and Logic Programming , Vol. III . D. Gabbay, Ed . Oxford University Press , Oxford, U.K., 353--395. Nute, D. 1997. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. III. D. Gabbay, Ed. Oxford University Press, Oxford, U.K., 353--395."},{"key":"e_1_2_1_39_1","volume-title":"Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law","author":"Prakken H.","unstructured":"Prakken , H. 1997. Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law . Kluwer Academic Publishers , Dordrecht, The Netherlands. Prakken, H. 1997. Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Kluwer Academic Publishers, Dordrecht, The Netherlands."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1165485.1165500"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1276318.1276338"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8640.00199"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90057-5"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of IJCAI. 476--482","author":"Touretzky D. S.","unstructured":"Touretzky , D. S. , Horty , J. F. , and Thomason , R. H . 1987. A clash of intuitions: The current state of nonmonotonic multiple inheritance systems . In Proceedings of IJCAI. 476--482 . Touretzky, D. S., Horty, J. F., and Thomason, R. H. 1987. A clash of intuitions: The current state of nonmonotonic multiple inheritance systems. In Proceedings of IJCAI. 476--482."},{"key":"e_1_2_1_46_1","volume-title":"-Y","author":"Wang X.","year":"1996","unstructured":"Wang , X. , You , J.-H. , and Yuan , L . -Y . 1996 . Nonmonotonic reasoning by monotonic inference with priority constraints. In Non-Monotonic Extensions of Logic Programming (NMELP), J. Dix, L. M. Pereira, and T. C. Przymusinski, Eds. Lecture Notes in Computer Science, vol. 1216 . Springer , Berlin, Germany, 91--109. Wang, X., You, J.-H., and Yuan, L.-Y. 1996. Nonmonotonic reasoning by monotonic inference with priority constraints. In Non-Monotonic Extensions of Logic Programming (NMELP), J. Dix, L. M. Pereira, and T. C. Przymusinski, Eds. Lecture Notes in Computer Science, vol. 1216. Springer, Berlin, Germany, 91--109."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1838552.1838558","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1838552.1838558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:11Z","timestamp":1750250471000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1838552.1838558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["10.1145\/1838552.1838558"],"URL":"https:\/\/doi.org\/10.1145\/1838552.1838558","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10]]},"assertion":[{"value":"2008-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-11-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}