{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:14:35Z","timestamp":1725531275435},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642016387"},{"type":"electronic","value":"9783642016394"}],"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-01639-4_15","type":"book-chapter","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T06:12:15Z","timestamp":1240207935000},"page":"171-182","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning about Norms, Obligations, Time and Agents"],"prefix":"10.1007","author":[{"given":"Jan","family":"Broersen","sequence":"first","affiliation":[]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C.E., Makinson, D.: Hierarchies of regulations and their logic. In: Hilpinen, R. (ed.) New Studies in Deontic Logic, pp. 125\u2013148. Reidel (1981)","DOI":"10.1007\/978-94-009-8484-4_5"},{"key":"15_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7118-9","volume-title":"Normative Systems","author":"C.E. Alchourr\u00f3n","year":"1971","unstructured":"Alchourr\u00f3n, C.E., Bulygin, E.: Normative Systems. Springer, Wien (1971)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BFb0028774","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: Mocha: Modularity in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 521\u2013525. Springer, Heidelberg (1998)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36540-0_1","volume-title":"Agent-Oriented Software Engineering III","author":"A. Artikis","year":"2003","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying electronic societies with the causal calculator. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 1\u201315. Springer, Heidelberg (2003)"},{"key":"15_CR5","first-page":"229","volume-title":"Procs. of AAMAS 2006","author":"G. Boella","year":"2006","unstructured":"Boella, G., van der Torre, L.: An architecture of a normative system. In: Procs. of AAMAS 2006, pp. 229\u2013231. ACM Press, New York (2006)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic (2008)","DOI":"10.1016\/j.jal.2007.06.006"},{"key":"15_CR7","unstructured":"Boella, G., van der Torre, L., Verhagen, H. (eds.): Computational and Mathematical Organization Theory. Selected papers from NORMAS 2005 (2006)"},{"key":"15_CR8","unstructured":"Boella, G., van der Torre, L., Verhagen, H. (eds.): Normative Mulit-agent systems, Procs. of NORMAS 2007, Dagstuhl Seminar proceedings 07122 (2007)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings CLIMA VIII","author":"J. Broersen","year":"2007","unstructured":"Broersen, J., Brunel, J.: What I fail to do today, I have to do tomorrow: a logical study of the propagation of obligations. In: Proceedings CLIMA VIII. LNCS. Springer, Heidelberg (2007)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J. Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11786849_9","volume-title":"Deontic Logic and Artificial Normative Systems","author":"J. Brunel","year":"2006","unstructured":"Brunel, J., Bodeveix, J.-P., Filali, M.: A state\/Event temporal deontic logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS, vol.\u00a04048, pp. 53\u201368. Springer, Heidelberg (2006)"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/analys\/24.2.33","volume":"24","author":"R. Chisholm","year":"1963","unstructured":"Chisholm, R.: Contrary-to-duty imperatives and deontic logic. Analyse\u00a024, 33\u201336 (1963)","journal-title":"Analyse"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"193","DOI":"10.2307\/2026120","volume":"81","author":"J. Forrester","year":"1984","unstructured":"Forrester, J.: Gentle murder, or the adverbial samaritan. The Journal of Philosophy\u00a081, 193\u2013197 (1984)","journal-title":"The Journal of Philosophy"},{"key":"15_CR14","unstructured":"Hansen, J., Pigozzi, G., van der Torre, L.: Ten philosophical problems in deontic logic. In: Proceedings of Normative Multi-agent Systems, NORMAS 2007 (2007)"},{"issue":"2-3","key":"15_CR15","first-page":"205","volume":"48","author":"J. Hansen","year":"2001","unstructured":"Hansen, J.: Sets, sentences, and some logics about imperatives. Fundam. Inform.\u00a048(2-3), 205\u2013226 (2001)","journal-title":"Fundam. Inform."},{"key":"15_CR16","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J. Horty","year":"2001","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Logic Journal of IGPL (1996)","DOI":"10.1093\/jigpal\/4.3.427"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF00869396","volume":"54","author":"Loewer","year":"1983","unstructured":"Loewer, Belzer: Dyadic deontic detachment. Synthese\u00a054, 295\u2013318 (1983)","journal-title":"Synthese"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01057652","volume":"52","author":"D. Makinson","year":"1993","unstructured":"Makinson, D.: Five faces of minimality. Studia Logica\u00a052, 339\u2013379 (1993)","journal-title":"Studia Logica"},{"key":"15_CR20","series-title":"New Studies on Deontic Logic and Computer Science","first-page":"29","volume-title":"Norms, Logics and Information Systems","author":"D. Makinson","year":"1999","unstructured":"Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 29\u201354. IOS Press, Amsterdam (1999)"},{"issue":"4","key":"15_CR21","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D. Makinson","year":"2000","unstructured":"Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic\u00a029(4), 383\u2013408 (2000)","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"15_CR22","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D. Makinson","year":"2001","unstructured":"Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic\u00a030(2), 155\u2013185 (2001)","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"15_CR23","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D. Makinson","year":"2003","unstructured":"Makinson, D., van der Torre, L.: Permissions from an input-output perspective. Journal of Philosophical Logic\u00a032(4), 391\u2013416 (2003)","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"15_CR24","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.J.C. Meyer","year":"1988","unstructured":"Meyer, J.J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic\u00a029(1), 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"15_CR25","first-page":"311","volume":"149","author":"E. Pacuit","year":"2006","unstructured":"Pacuit, E., Parikh, R., Cogan, E.: The logic of knowledge based obligation. Knowledge, Rationality and Action\u00a0149(2), 311\u2013341 (2006)","journal-title":"Knowledge, Rationality and Action"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11786849_19","volume-title":"Deontic Logic and Artificial Normative Systems","author":"M.J. Sergot","year":"2006","unstructured":"Sergot, M.J., Craven, R.: The deontic component of action language nC+. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS, vol.\u00a04048, pp. 222\u2013237. Springer, Heidelberg (2006)"},{"key":"15_CR27","first-page":"339","volume":"25","author":"J. Eck van","year":"1982","unstructured":"van Eck, J.: A system of temporally relative modal and deontic predicate logic and its philosophical applications. logique et analyse\u00a025, 339\u2013381 (1982)","journal-title":"logique et analyse"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"van Fraassen, B.: Values and the heart\u2019s command. The Journal of Philosophy (1973)","DOI":"10.2307\/2024762"}],"container-title":["Lecture Notes in Computer Science","Agent Computing and Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01639-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:42:18Z","timestamp":1558266138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01639-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642016387","9783642016394"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01639-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}