{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:38Z","timestamp":1725562598097},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221111"},{"type":"electronic","value":"9783540259275"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25927-5_17","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T21:21:05Z","timestamp":1281302465000},"page":"258-274","source":"Crossref","is-referenced-by-count":2,"title":["Maintaining Obligations on Stative Expressions in a Deontic Action Logic"],"prefix":"10.1007","author":[{"given":"Adam Zachary","family":"Wyner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.2307\/2088759","volume":"22","author":"A. Anderson","year":"1957","unstructured":"Anderson, A., Moore, O.: The Formal Analysis of Normative Concepts. The American Sociological Review\u00a022, 9\u201317 (1957)","journal-title":"The American Sociological Review"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Broersen, J.: Action Negation and Alternative Reductions for Dynamic Deontic Logic. Journal of Applied Logic (2004) (to appear)","DOI":"10.1016\/j.jal.2004.01.007"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/B:ARTI.0000013352.63798.08","volume":"11","author":"J. Broersen","year":"2003","unstructured":"Broersen, J., van der Torre, L.: Review of J. Horty Agency and Deontic Logic. Artificial Intelligence and Law\u00a011, 45\u201361 (2003)","journal-title":"Artificial Intelligence and Law"},{"key":"17_CR4","volume-title":"Handbook of Philosophical Logic","author":"J. Carmo","year":"2001","unstructured":"Carmo, J., Jones, A.: Deontic Logic and Contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF00370673","volume":"57","author":"J. Carmo","year":"1996","unstructured":"Carmo, J., Jones, A.: Deontic Database Constraints, Violation, and Recovery. Studia Logica\u00a057, 139\u2013165 (1996)","journal-title":"Studia Logica"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00116787","volume":"4","author":"P. d\u2019Altan","year":"1996","unstructured":"d\u2019Altan, P., Meyer, J.-J.C., Wieringa, M.: An integrated framework for ought\u2013to\u2013 be and ought\u2013to\u2013do constraints. Artificial Intelligence and Law\u00a04, 77\u2013111 (1996)","journal-title":"Artificial Intelligence and Law"},{"key":"17_CR7","volume-title":"Being good and being logical \u2013 Philosophical groundwork for a New Deontic Logic","author":"J. Forrester","year":"1996","unstructured":"Forrester, J.: Being good and being logical \u2013 Philosophical groundwork for a New Deontic Logic. M.E.Sharpe, Armonk, New York (1996)"},{"key":"17_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":"17_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-94-011-5524-3_1","volume-title":"Logic, Action and Cognition \u2013 Essays in Philosophical Logic","author":"R. Hilpinen","year":"1997","unstructured":"Hilpinen, R.: On Action and Agency. In: Ejerhed, E., Lindstr\u00f6m, S. (eds.) Logic, Action and Cognition \u2013 Essays in Philosophical Logic, pp. 3\u201327. Kluwer Academic Press, Dordrecht (1997)"},{"key":"17_CR10","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":"17_CR11","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.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science \u2013 Normative System Specification, pp. 275\u2013307. Wiley, Chichester (1993)"},{"key":"17_CR12","first-page":"393","volume-title":"Events as Grammatical Objects","author":"G. Katz","year":"2000","unstructured":"Katz, G.: Anti Neo-Davidsonianism: Against a Davidsonian Semantics for State Sentences. In: Lang, E., Maienborn, C., Fabricius-Hansen, C. (eds.) Events as Grammatical Objects, pp. 393\u2013416. CSLI Publications, Stanford (2000)"},{"key":"17_CR13","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)"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-1-4471-1488-8_8","volume-title":"DEON: Deontic Logic, Agency and Normative Systems, DEON 1996","author":"C. Krogh","year":"1996","unstructured":"Krogh, C., Herrestad, H.: Getting Personal: Some Notes on the Relationship Between Personal and Impersonal Obligation. In: Brown, M., Carmo, J. (eds.) DEON: Deontic Logic, Agency and Normative Systems, DEON 1996, pp. 134\u2013153. Springer, Heidelberg (1996)"},{"key":"17_CR15","unstructured":"Maienborn, C.: Against a Davidsonian Analysis of Copula Sentence. In: Kadowski, M., Kawahara, S. (eds.) NELS 33 Proceedings, GLSA, Amherst"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R.v.d. Meyden","year":"1996","unstructured":"Meyden, R.v.d.: The Dynamic Logic of Permission. Journal of Logic and Computation\u00a06, 465\u2013479 (1996)","journal-title":"Journal of Logic and Computation"},{"key":"17_CR17","first-page":"109","volume":"1","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\u00a01, 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01556356","volume":"7","author":"J.-J.C. Meyer","year":"1993","unstructured":"Meyer, J.-J.C., Wieringa, R.J.: Actors, Actions, and Initiative in Normative System Specification. Annals of Mathematics and Artificial Intelligence\u00a07, 289\u2013346 (1993)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17_CR19","volume-title":"Events in the Semantics of English: A Study in Subatomic Semantics","author":"T. Parsons","year":"1990","unstructured":"Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. The MIT Press, Cambridge (1990)"},{"key":"17_CR20","first-page":"25","volume-title":"Computer Power and Legal Language","author":"M. Sergot","year":"1988","unstructured":"Sergot, M.: A Brief Introduction to Logic Programming and its Applications in Law. In: Walter, C. (ed.) Computer Power and Legal Language, pp. 25\u201339. Quorum Books, USA (1988)"},{"key":"17_CR21","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 Computer Programs. In: Bench-Capon, T.J.M. (ed.) Knowledge-Based Systems and Legal Applications, pp. 3\u201367. Academic Press, London (1991)"},{"key":"17_CR22","first-page":"273","volume":"48","author":"M. Sergot","year":"2001","unstructured":"Sergot, M., Richards, R.: On the Representation of Action and Agency in the Theory of Normative Positions. Fundamenta Informaticae\u00a048, 273\u2013293 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR23","series-title":"New Studies in Deontic Logic and Computer Science","first-page":"289","volume-title":"Norms, Logics and Information Systems","author":"M. Sergot","year":"1998","unstructured":"Sergot, M.: Normative Positions. In: Prakken, H., McNamara, P. (eds.) Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, pp. 289\u2013310. IOS Press, Amsterdam (1998)"},{"key":"17_CR24","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1145\/383779.383786","volume":"2","author":"M. Sergot","year":"2001","unstructured":"Sergot, M.: A Computational Theory of Normative Positions. ACM Transactions on Computational Logic\u00a02, 581\u2013622 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"17_CR25","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"R.J. Wieringa","year":"1993","unstructured":"Wieringa, R.J., Meyer, J.: Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chichester (1993)"},{"key":"17_CR26","unstructured":"Wyner, A.Z.: Boolean Event Lattices and Thematic Roles in the Syntax and Semantics of Adverbial Modification. Cornell University Ph.D. Thesis (1994)"},{"key":"17_CR27","unstructured":"Wyner, A.Z.: Transfer Report. ms King\u2019s College London, Department of Computer Science, \n                    \n                      http:\/\/www.dcs.kcl.ac.uk\/pg\/wyner"},{"key":"17_CR28","unstructured":"Wyner, A.Z.: Informal Contract Specification. ms King\u2019s College London, Department of Computer Science, \n                    \n                      http:\/\/www.dcs.kcl.ac.uk\/pg\/wyner"}],"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-540-25927-5_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:16:26Z","timestamp":1620011786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25927-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221111","9783540259275"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25927-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}