{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:22Z","timestamp":1725582682201},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_17","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T04:40:34Z","timestamp":1303706434000},"page":"187-192","source":"Crossref","is-referenced-by-count":12,"title":["What Are the Necessity Rules in Defeasible Reasoning?"],"prefix":"10.1007","author":[{"given":"Ho-Pun","family":"Lam","sequence":"first","affiliation":[]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","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, vol.\u00a0III, pp. 353\u2013395. Oxford University Press, Oxford (1994)"},{"issue":"6","key":"17_CR2","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"M.J. Maher","year":"2001","unstructured":"Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming\u00a01(6), 691\u2013711 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2","key":"17_CR3","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 Transactions on Computational Logic\u00a02(2), 255\u2013286 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"3","key":"17_CR4","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1017\/S0269888908001318","volume":"23","author":"D. Bryant","year":"2008","unstructured":"Bryant, D., Krause, P.: A review of current defeasible reasoning implementations. Knowl. Eng. Rev.\u00a023(3), 227\u2013260 (2008)","journal-title":"Knowl. Eng. Rev."},{"key":"17_CR5","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: Proc. ECAI 2000, pp. 459\u2013463 (2000)"},{"key":"17_CR6","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A flexible framework for defeasible logics. In: AAAI 2000, pp. 401\u2013405. AAAI\/MIT Press (2000)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Billington, D., Antoniou, G., Governatori, G., Maher, M.J.: An inclusion theorem for defeasible logic. ACM Transactions in Computational Logic\u00a012(1) (2010)","DOI":"10.1145\/1838552.1838558"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-642-16289-3_11","volume-title":"Semantic Web Rules","author":"H.-P. Lam","year":"2010","unstructured":"Lam, H.-P., Governatori, G.: On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol.\u00a06403, pp. 119\u2013127. Springer, Heidelberg (2010)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-04985-9_29","volume-title":"Rule Interchange and Applications","author":"H.-P. Lam","year":"2009","unstructured":"Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol.\u00a05858, pp. 315\u2013322. Springer, Heidelberg (2009)"},{"key":"17_CR10","unstructured":"Lam, H.P., Thakur, S., Governatori, G., Sattar, A.: A model to coordinate uavs in urban environment using defeasible logic. In: Hu, Y.J., Yeh, C.L., Laun, W., Governatori, G., Hall, J., Paschke, A. (eds.) Proc. RuleML 2009 Challenge. CEUR Workshop Proceedings, vol.\u00a0549 (2009)"},{"issue":"4","key":"17_CR11","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1142\/S0218213001000623","volume":"10","author":"M.J. Maher","year":"2001","unstructured":"Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools\u00a010(4), 483\u2013501 (2001)","journal-title":"International Journal on Artificial Intelligence Tools"},{"issue":"2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/TKDE.2007.29","volume":"19","author":"G. Antoniou","year":"2007","unstructured":"Antoniou, G., Bikakis, A.: DR-Prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Trans. Knowl. Data Eng.\u00a019(2), 233\u2013245 (2007)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"2-4","key":"17_CR13","first-page":"193","volume":"57","author":"E. Madali\u0144ska-Bugaj","year":"2003","unstructured":"Madali\u0144ska-Bugaj, E., Lukaszewicz, W.: Formalizing defeasible logic in cake. Fundam. Inf.\u00a057(2-4), 193\u2013213 (2003)","journal-title":"Fundam. Inf."},{"key":"17_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-24674-9_33","volume-title":"Methods and Applications of Artificial Intelligence","author":"G. Antoniou","year":"2004","unstructured":"Antoniou, G.: A discussion of some intuitions of defeasible reasoning. In: Vouros, G.A., Panayiotopoulos, T. (eds.) SETN 2004. LNCS (LNAI), vol.\u00a03025, pp. 311\u2013320. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20895-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T10:28:28Z","timestamp":1712399308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}