{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T08:04:31Z","timestamp":1768550671292,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540358428","type":"print"},{"value":"9783540358435","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11786849_5","type":"book-chapter","created":{"date-parts":[[2006,7,1]],"date-time":"2006-07-01T09:15:05Z","timestamp":1151745305000},"page":"24-35","source":"Crossref","is-referenced-by-count":11,"title":["A Logical Architecture of a Normative System"],"prefix":"10.1007","author":[{"given":"Guido","family":"Boella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Normative systems","author":"C. Alchourr\u00f3n","year":"1972","unstructured":"Alchourr\u00f3n, C., Bulygin: Normative systems. Springer, Heidelberg (1972)"},{"key":"5_CR2","volume-title":"Rules of the mind","author":"J.R. Anderson","year":"1993","unstructured":"Anderson, J.R.: Rules of the mind. Lawrence Ellbaum Associates, Mahwah (1993)"},{"key":"5_CR3","unstructured":"Artosi, A., Rotolo, A., Vida, S.: On the logical nature of count-as conditionals. In: Procs. of LEA 2004 Workshop (2004)"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1142\/9789812567802","volume-title":"Explanatory Nonmonotonic reasoning","author":"A. Bochman","year":"2005","unstructured":"Bochman, A.: Explanatory Nonmonotonic reasoning. World Scientific, Singapore (2005)"},{"issue":"5","key":"5_CR5","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.entcs.2005.05.020","volume":"141","author":"G. Boella","year":"2005","unstructured":"Boella, G., Hulstijn, J., van der Torre, L.: Interaction in normative multi-agent systems. Electronic Notes in Theoretical Computer Science\u00a0141(5), 135\u2013162 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR6","unstructured":"Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004), pp. 255\u2013265 (2004)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: An architecture of a normative system (short paper). In: Proceedings of AAMAS 2006 (2006)","DOI":"10.1145\/1160633.1160671"},{"issue":"1","key":"5_CR8","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 Trans. SMC, Part C\u00a036(1), 68\u201379 (2006)","journal-title":"IEEE Trans. SMC, Part C"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Boutilier, C.: Toward a logic for qualitative decision theory. In: Proceedings of KR 1994, pp. 75\u201386 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50104-4"},{"key":"5_CR10","first-page":"211","volume-title":"Automated Analysis of Legal Texts","author":"E. Bulygin","year":"1986","unstructured":"Bulygin, E.: Permissive norms and normative systems. In: Automated Analysis of Legal Texts, pp. 211\u2013218. Publishing Company, Amsterdam (1986)"},{"key":"5_CR11","volume-title":"Procs. of JURIX 2002","author":"J. Gelati","year":"2002","unstructured":"Gelati, J., Governatori, G., Rotolo, N., Sartor, G.: Declarative power, representation, and mandate. A formal analysis. In: Procs. of JURIX 2002. IOS Press, Amsterdam (2002)"},{"key":"5_CR12","first-page":"373","volume":"3","author":"B. Hansson","year":"1969","unstructured":"Hansson, B.: An analysis of some deontic logics. N\u00f4us\u00a03, 373\u2013398 (1969)","journal-title":"N\u00f4us"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert\u00a07(6) (1992)","DOI":"10.1109\/64.180407"},{"key":"5_CR14","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":"5_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J.E. Laird","year":"1987","unstructured":"Laird, J.E., Newell, A., Rosenbloom, P.S.: SOAR: an architecture for general intelligence. Artificial Intelligence\u00a033, 1\u201364 (1987)","journal-title":"Artificial Intelligence"},{"key":"5_CR16","volume-title":"Enterprise Architecture At Work","author":"M. Lankhorst","year":"2005","unstructured":"Lankhorst, M., et al.: Enterprise Architecture At Work. Springer, Heidelberg (2005)"},{"key":"5_CR17","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, 383\u2013408 (2000)","journal-title":"Journal of Philosophical Logic"},{"key":"5_CR18","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, 155\u2013185 (2001)","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"5_CR19","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"},{"key":"5_CR20","volume-title":"Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Trends in Logic","author":"D. Makinson","year":"2003","unstructured":"Makinson, D., van der Torre, L.: What is input\/output logic? In: Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Trends in Logic, vol.\u00a017. Kluwer, Dordrecht (2003)"},{"key":"5_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts: An Essay in the Philosophy of Language","author":"J.R. Searle","year":"1969","unstructured":"Searle, J.R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic and Artificial Normative Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11786849_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T18:29:09Z","timestamp":1555698549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11786849_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358428","9783540358435"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11786849_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}