{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T00:39:02Z","timestamp":1743727142262,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642315695"},{"type":"electronic","value":"9783642315701"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31570-1_4","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T06:50:23Z","timestamp":1341989423000},"page":"46-60","source":"Crossref","is-referenced-by-count":13,"title":["Possible World Semantics for Defeasible Deontic Logic"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erica","family":"Calardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"4_CR1","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. Know. and Data Eng.\u00a019(2), 233\u2013245 (2007)","journal-title":"IEEE Trans. Know. and Data Eng."},{"key":"4_CR2","first-page":"401","volume-title":"AAAI 2000","author":"G. Antoniou","year":"2000","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, Menlo Park, CA (2000)"},{"issue":"2","key":"4_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\u2013287 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"6","key":"4_CR4","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1017\/S1471068406002778","volume":"6","author":"G. Antoniou","year":"2006","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming\u00a06(6), 703\u2013735 (2006)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2006010101","volume":"2","author":"N. Bassiliades","year":"2006","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the semantic web. International Journal on Semantic Web and Information Systems\u00a02(1), 1\u201341 (2006)","journal-title":"International Journal on Semantic Web and Information Systems"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Bochman, A.: A logical theory of nonmonotonic inference and belief change \u2014 numerical methods. Springer (2001)","DOI":"10.1007\/978-3-662-04560-2"},{"key":"4_CR7","unstructured":"Bochman, A.: Default theory of defeasible entailment. In: KR 2008, pp. 466\u2013475 (2008)"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic, An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic, An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/2271893","volume":"40","author":"M. Gerson","year":"1975","unstructured":"Gerson, M.: The Inadequacy of the Neighbourhood Semantics for Modal Logic. Journal of Symbolic Logic\u00a040(2), 141\u2013148 (1975)","journal-title":"Journal of Symbolic Logic"},{"issue":"5","key":"4_CR11","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","volume":"14","author":"G. Governatori","year":"2004","unstructured":"Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logics. Journal of Logic and Computation\u00a014(5), 675\u2013702 (2004)","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/jigpal\/jzp006","volume":"17","author":"G. Governatori","year":"2009","unstructured":"Governatori, G., Padmanabhan, V., Rotolo, A., Sattar, A.: A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic Journal of the IGPL\u00a017(3), 227\u2013265 (2009)","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"4_CR13","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/s10992-004-6368-1","volume":"34","author":"G. Governatori","year":"2005","unstructured":"Governatori, G., Rotolo, A.: On the Axiomatization of Elgesem\u2019s Logic of Agency and Ability. Journal of Philosophical Logic\u00a034(4), 403\u2013431 (2005)","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G. Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi Agent Systems\u00a017(1), 36\u201369 (2008)","journal-title":"Journal of Autonomous Agents and Multi Agent Systems"},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10506-007-9056-y","volume":"16","author":"G. Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: A computational framework for institutional agency. Artificial Intelligence and Law\u00a016(1), 25\u201352 (2008)","journal-title":"Artificial Intelligence and Law"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Logic Journal of IGPL\u00a018(1), 157\u2013194 (2010)","journal-title":"Logic Journal of IGPL"},{"key":"4_CR17","unstructured":"Grossi, D.: On the logic of argumentation theory. In: AAMAS 2010, Richland, SC, pp. 409\u2013416. International Foundation for Autonomous Agents and Multiagent Systems (2010)"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"18","DOI":"10.4018\/jswis.2011010102","volume":"7","author":"E. Kontopoulos","year":"2011","unstructured":"Kontopoulos, E., Bassiliades, N., Antoniou, G.: A modal defeasible reasoner of deontic logic for the semantic web. International Journal of Semantic Web and Information Systems\u00a07(1), 18\u201343 (2011)","journal-title":"International Journal of Semantic Web and Information Systems"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence\u00a044, 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"key":"4_CR20","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":"4_CR21","first-page":"299","volume-title":"AAAI 1999","author":"M.J. Maher","year":"1999","unstructured":"Maher, M.J., Governatori, G.: A semantic decomposition of defeasible logic. In: AAAI 1999, pp. 299\u2013305. AAAI Press, Menlo Park (1999)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming\u00a0(6), 691\u2013711 (2001)","DOI":"10.1017\/S1471068401001168"},{"issue":"3","key":"4_CR23","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"V.W. Marek","year":"1991","unstructured":"Marek, V.W., Truszczynski, M.: Autoepistemic logic. Journal of ACM\u00a038(3), 588\u2013619 (1991)","journal-title":"Journal of ACM"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press (1993)","DOI":"10.1093\/oso\/9780198537472.003.0007"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31570-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T20:46:37Z","timestamp":1743713197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31570-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642315695","9783642315701"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31570-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}