{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:39:24Z","timestamp":1725521964060},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540896739"},{"type":"electronic","value":"9783540896746"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89674-6_12","type":"book-chapter","created":{"date-parts":[[2008,12,9]],"date-time":"2008-12-09T09:40:56Z","timestamp":1228815656000},"page":"86-97","source":"Crossref","is-referenced-by-count":16,"title":["Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations"],"prefix":"10.1007","author":[{"given":"Guido","family":"Boella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Broersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.engappai.2004.11.019","volume":"18","author":"J. Arcos","year":"2005","unstructured":"Arcos, J., Esteva, M., Noriega, P., Rodr\u00edguez, J., Sierra, C.: Engineering open environments with electronic institutions. Journal on Engineering Applications of Artificial Intelligence\u00a018(2), 191\u2013204 (2005)","journal-title":"Journal on Engineering Applications of Artificial Intelligence"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L., Verhagen, H. (eds.): Computational and Mathematical Organization Theory. NorMAS 2005, vol.\u00a012(2-3) (2006)","DOI":"10.1007\/s10588-006-9537-7"},{"key":"12_CR3","unstructured":"Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent systems. In: Procs. of NorMAS 2007, Dagstuhl Seminar proceedings 07122 (2007)"},{"key":"12_CR4","unstructured":"Gaudou, B., Longin, D., Lorini, E., Tummolini, L.: Anchoring institutions in agents\u2019 attitudes: Towards a logical framework for autonomous multi-agent systems. In: Procs. of AAMAS 2008 (2008)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-540-70525-3_20","volume-title":"Deontic Logic in Computer Science","author":"D. Grossi","year":"2008","unstructured":"Grossi, D.: Pushing Anderson\u2019s envelope: The modal logic of ascription. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS, vol.\u00a05076, pp. 263\u2013277. Springer, Heidelberg (2008)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"3","author":"A. Jones","year":"1996","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of IGPL\u00a03, 427\u2013443 (1996)","journal-title":"Journal of IGPL"},{"key":"12_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts: an Essay in the Philosophy of Language","author":"J. Searle","year":"1969","unstructured":"Searle, J.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Procs. of PRIMA 2007","author":"J. Broersen","year":"2007","unstructured":"Broersen, J., van der Torre, L.: Reasoning about norms, obligations, time and agents. In: Procs. of PRIMA 2007. LNCS. Springer, Heidelberg (to appear)"},{"key":"12_CR9","unstructured":"Broersen, J., van der Torre, L.: Conditional norms and dyadic obligations in time. In: Procs. of 18th European Conference on Artificial Intelligence (ECAI 2008) (2008)"},{"key":"12_CR10","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 (1999)"},{"key":"12_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7118-9","volume-title":"Normative Systems","author":"C. Alchourr\u00f3n","year":"1971","unstructured":"Alchourr\u00f3n, C., Bulygin, E.: Normative Systems. Springer, Wien (1971)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11786849_7","volume-title":"Deontic Logic and Artificial Normative Systems","author":"J. Broersen","year":"2006","unstructured":"Broersen, J.: Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm\u2019s scenario. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS, vol.\u00a04048, pp. 53\u201368. Springer, Heidelberg (2006)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","first-page":"82","volume-title":"Procs. of 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: Procs. of CLIMA VIII. LNCS, vol.\u00a05056, pp. 82\u201399. Springer, Heidelberg (2008)"},{"key":"12_CR14","first-page":"25","volume-title":"ICAIL 2005: Proceedings of the 10th international conference on Artificial intelligence and law","author":"G. Governatori","year":"2005","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL 2005: Proceedings of the 10th international conference on Artificial intelligence and law, pp. 25\u201334. ACM, New York (2005)"},{"key":"12_CR15","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":"12_CR16","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF00869396","volume":"54","author":"B. Loewer","year":"1983","unstructured":"Loewer, B.: Dyadic deontic detachment. Synthese\u00a054, 295\u2013318 (1983)","journal-title":"Synthese"},{"key":"12_CR17","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"},{"issue":"1","key":"12_CR18","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"},{"key":"12_CR19","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"},{"issue":"1","key":"12_CR20","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/TSMCC.2005.860576","volume":"36","author":"G. Boella","year":"2006","unstructured":"Boella, G., van der Torre, L.: A game theoretic approach to contracts in multiagent systems. IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews\u00a036(1), 68\u201379 (2006)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews"},{"issue":"4","key":"12_CR21","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1111\/1467-9337.00066","volume":"10","author":"D. Ruiter","year":"1997","unstructured":"Ruiter, D.: A basic classification of legal institutions. Ratio Juris\u00a010(4), 357\u2013371 (1997)","journal-title":"Ratio Juris"},{"issue":"5","key":"12_CR22","doi-asserted-by":"publisher","first-page":"812","DOI":"10.2307\/1337744","volume":"70","author":"A. Ross","year":"1957","unstructured":"Ross, A.: T\u00fb-t\u00fb. Harvard Law Review\u00a070(5), 812\u2013825 (1957)","journal-title":"Harvard Law Review"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A. Anderson","year":"1958","unstructured":"Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind\u00a067, 100\u2013103 (1958)","journal-title":"Mind"},{"issue":"2","key":"12_CR24","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.jal.2007.06.006","volume":"6","author":"G. Boella","year":"2008","unstructured":"Boella, G., van der Torre, L.: Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic\u00a06(2), 152\u2013171 (2008)","journal-title":"Journal of Applied Logic"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-540-30227-8_29","volume-title":"Logics in Artificial Intelligence","author":"J. Broersen","year":"2004","unstructured":"Broersen, J.: On the logic of being motivated to achieve \u03c1, before \u03b4. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol.\u00a03229, pp. 334\u2013346. Springer, Heidelberg (2004)"},{"issue":"4","key":"12_CR26","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":"12_CR27","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"},{"key":"12_CR28","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":"12_CR29","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":"12_CR30","doi-asserted-by":"crossref","unstructured":"van Fraassen, B.: Values and the hearts command. The Journal of Philosophy (1973)","DOI":"10.2307\/2024762"},{"key":"12_CR31","unstructured":"Hansen, J., Pigozzi, G., van der Torre, L.: Ten philosophical problems in deontic logic. In: Normative Multi-agent systems, Procs. of NorMAS 2007. Dagstuhl Seminar proceedings 07122 (2007)"},{"key":"12_CR32","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., Mang, F.Y.C., Qadeer, S., Rajamani, S., Tasiran, S.: Mocha: Modularity in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 521\u2013525. Springer, Heidelberg (1998)"},{"key":"12_CR33","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)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents and Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89674-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T02:39:46Z","timestamp":1557974386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89674-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540896739","9783540896746"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89674-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}