{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:18:44Z","timestamp":1725477524411},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540689591"},{"type":"electronic","value":"9783540689614"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11961536_16","type":"book-chapter","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T08:09:10Z","timestamp":1169194150000},"page":"239-256","source":"Crossref","is-referenced-by-count":3,"title":["A Functional Program for Agents, Actions, and Deontic Specifications"],"prefix":"10.1007","author":[{"given":"Adam Zachary","family":"Wyner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Aldewereld, H., Grossi, D., Vazquez-Salceda, J., Dignum, F.: Designing normative behaviour by the use of landmarks. In: Lindeman, G., Ossowski, S., Padget, J., Vazquez-Salceda, J. (eds.) Proceedings of AAMAS 2005, Fourth International Workshop on Agents, Norms and Institution for Regulated Multi Agent Systems, Utrecht, pp. 5\u201318 (2005)"},{"key":"#cr-split#-16_CR2.1","doi-asserted-by":"crossref","unstructured":"Anderson, A., Moore, O.: The formal analysis of normative concepts. The American Sociological Review, 22(1), 9???17 (1957);","DOI":"10.2307\/2088759"},{"key":"#cr-split#-16_CR2.2","doi-asserted-by":"crossref","unstructured":"Anderson, A., Moore, O.: The formal analysis of normative concepts. The American Sociological Review, 22(1), 9\u201317 (1957); Reprinted in: Copi, I.M., Gould, J.A. (eds.) Contemporary Readings in Logical Theory. MacMillan, New York (1967)","DOI":"10.2307\/2088759"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: An architecture of a normative system. In: Proceedings of AAMAS 2006 (2006)","DOI":"10.1145\/1160633.1160671"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","volume-title":"Handbook of Philosophical Logic","author":"J. Carmo","year":"2002","unstructured":"Carmo, J., Jones, A.: Deontic logic and contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., pp. 265\u2013343. Kluwer Academic Publishers, Dordrecht (2002)","edition":"2"},{"issue":"4","key":"16_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00116787","volume":"2","author":"P. d\u2019Altan","year":"1996","unstructured":"d\u2019Altan, P., Meyer, J.-J., Wieringa, R.: An integrated framework for ought\u2013to\u2013be and ought\u2013to\u2013do constraints. Artificial Intelligence and Law\u00a02(4), 77\u2013111 (1996); Revised version, dated 1998 at website; page references to download","journal-title":"Artificial Intelligence and Law"},{"key":"16_CR6","unstructured":"Doets, K., van Eijck, J.: The Haskell Road to Logic, Maths and Programming. King\u2019s College Publications (2004)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/11691792_6","volume-title":"Declarative Agent Languages and Technologies III","author":"A. Garc\u00eda-Camino","year":"2006","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J., Sierra, C., Vasconcelos, W.W.: A distributed architecture for norm-aware agent societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS, vol.\u00a03904, pp. 89\u2013105. Springer, Heidelberg (2006)"},{"key":"16_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)"},{"key":"16_CR9","first-page":"275","volume-title":"Deontic Logic in Computer Science \u2013 Normative System Specification","author":"A. Jones","year":"1993","unstructured":"Jones, A., Sergot, M.: On the characterisation of law and computer systems: the normative systems perspective. In: Meyer, J.-J.Ch., Wieringa, R.J. (eds.) Deontic Logic in Computer Science \u2013 Normative System Specification, pp. 275\u2013307. Wiley, Chichester (1993)"},{"key":"16_CR10","first-page":"208","volume-title":"Proceedings of the IEEE International Symposium on Requirements Engineering","author":"S. Kent","year":"1993","unstructured":"Kent, S., Maibaum, T., Quirk, W.: Formally specifying temporal contraints and error recovery. In: Proceedings of the IEEE International Symposium on Requirements Engineering, pp. 208\u2013215. IEEE C.S. Press, Los Alamitos (1993)"},{"key":"16_CR11","first-page":"243","volume-title":"Temporal Logic in Specification","author":"S. Khosla","year":"1987","unstructured":"Khosla, S., Maibaum, T.: The prescription and description of state-based systems. In: Banieqbal, B., Barringer, H., Pneuli, A. (eds.) Temporal Logic in Specification, pp. 243\u2013294. Springer, Heidelberg (1987)"},{"volume-title":"Deontic Logic in Computer Science: Proceedings of the 7th International Workshop on Deontic Logic in Computer Science","year":"2004","key":"16_CR12","unstructured":"Lomuscio, A., Nute, D. (eds.): Deontic Logic in Computer Science: Proceedings of the 7th International Workshop on Deontic Logic in Computer Science. Springer, London (2004)"},{"issue":"1","key":"16_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.-J. Meyer","year":"1988","unstructured":"Meyer, J.-J.: 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":"16_CR14","unstructured":"Royakkers, L.: Representing Legal Rules in Deontic Logic. PhD thesis, Katholieke Universiteit Brabant, Tilburg (1996)"},{"key":"16_CR15","unstructured":"Sergot, M.: (c+)\u2009+\u2009+\u2009: An action language for modelling norms and institutions, http:\/\/www.doc.ic.ac.uk\/research\/technicalreports\/2004\/DTR04-8.pdf"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-0-12-086441-6.50006-4","volume-title":"Knowledge-Based Systems and Legal Applications","author":"M. Sergot","year":"1991","unstructured":"Sergot, M.: The representation of law in computer programs. In: Bench-Capon, T.J.M. (ed.) Knowledge-Based Systems and Legal Applications, pp. 3\u201367. Academic Press, London (1991)"},{"issue":"3","key":"16_CR17","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R. Meyden van der","year":"1996","unstructured":"van der Meyden., R.: The dynamic logic of permission. Journal of Logic and Computation\u00a06(3), 465\u2013479 (1996)","journal-title":"Journal of Logic and Computation"},{"key":"16_CR18","unstructured":"van Eijck, J.: Computational semantics and type theory. Website download (2004)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Wieringa, R., Meyer, J.-J.: Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence, 289\u2013346 (1993)","DOI":"10.1007\/BF01556356"},{"volume-title":"Deontic Logic in Computer Science: Normative System Specification","year":"1993","key":"16_CR20","unstructured":"Wieringa, R., Meyer, J.-J. (eds.): Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chichester (1993)"},{"key":"16_CR21","unstructured":"Wyner, A.Z.: Violations and Fulfillments in the Formal Representation of Contracts. PhD thesis, Department of Computer Science, King\u2019s College London (in preparation, 2006)"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/11786849_21","volume-title":"Deontic Logic and Artificial Normative Systems: Proceedings of the 8th International Workshop on Deontic Logic in Computer Science","author":"A.Z. Wyner","year":"2006","unstructured":"Wyner, A.Z.: Sequences, obligations, and the contrary-to-duty paradox. In: Goble, L., Meyer, J.-J. (eds.) Deontic Logic and Artificial Normative Systems: Proceedings of the 8th International Workshop on Deontic Logic in Computer Science, pp. 255\u2013271. Springer, Berlin (2006)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11961536_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:22:13Z","timestamp":1619508133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11961536_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540689591","9783540689614"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11961536_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}