{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:15:27Z","timestamp":1743048927329,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642294136"},{"type":"electronic","value":"9783642294143"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29414-3_15","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T21:45:41Z","timestamp":1335303941000},"page":"273-294","source":"Crossref","is-referenced-by-count":0,"title":["On the Representation of Normative Sentences in FOL"],"prefix":"10.1007","author":[{"given":"Andrew J. I.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven O.","family":"Kimbrough","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Events and Their Names.","author":"J. Bennett","year":"1988","unstructured":"Bennett, J.: Events and Their Names. Hackett Publishing Company, Indianapolis (1988); ISBN:0-87220-046-9"},{"key":"15_CR2","volume-title":"The Impact of Emerging Technologies on Computer Science and Operations Research","author":"H.K. Bhargava","year":"1995","unstructured":"Bhargava, H.K., Kimbrough, S.O.: On embedded languages, meta-level reasoning and computer-aided modeling. In: Nash, S.G., Sofer, A. (eds.) The Impact of Emerging Technologies on Computer Science and Operations Research. Kluwer Academic Publishers, Boston (1995); ISBN 0-7923-9542-5. File: csts-94-meta-sok-hkb"},{"key":"15_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/BF00568054","volume":"1","author":"D. Davidson","year":"1968","unstructured":"Davidson, D.: On saying that. Synth\u00e8se\u00a01, 130\u2013146 (1968-1969)","journal-title":"Synth\u00e8se"},{"key":"15_CR5","first-page":"105","volume-title":"Essays on Actions and Events","author":"D. Davidson","year":"1980","unstructured":"Davidson, D.: The Logical Form of Action Sentences. In: Essays on Actions and Events, pp. 105\u2013148. Clarendon Press, Oxford University Press, Oxford, United Kingdom (1980); ISBN: 0-19-824637-4"},{"key":"15_CR6","first-page":"93","volume-title":"Inquiries into Truth and Interpretation","author":"D. Davidson","year":"1984","unstructured":"Davidson, D.: On Saying That. In: Inquiries into Truth and Interpretation, pp. 93\u2013108. Clarendon Press, Oxford University Press, Oxford, United Kingdom (1984); originally published as [4]"},{"volume-title":"Speaking of Events","year":"2000","key":"15_CR7","unstructured":"Higginbotham, J., Pianesi, F., Varzi, A.C. (eds.): Speaking of Events. Oxford Univesity Press, New York (2000); ISBN: 0-19-512811-7"},{"key":"15_CR8","volume-title":"Deontic Logic: Introductory and Systematic Readings","author":"R. Hilpinen","year":"1970","unstructured":"Hilpinen, R.: Deontic Logic: Introductory and Systematic Readings. Springer, Heidelberg (1970)"},{"key":"15_CR9","unstructured":"Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen and Company Limited, London(1968)"},{"key":"15_CR10","volume-title":"Formal Logic: Its Scope and Limits","author":"R. Jeffrey","year":"1991","unstructured":"Jeffrey, R.: Formal Logic: Its Scope and Limits, 3rd edn. McGraw-Hill, Inc., New York (1991)","edition":"3"},{"key":"15_CR11","first-page":"325","volume-title":"Formal Modelling in Electronic Commerce, International Handbooks on Information Systems","author":"A.J. Jones","year":"2005","unstructured":"Jones, A.J., Kimbrough, S.O.: A note on modelling speech acts as signalling conventions. In: Kimbrough, S.O., Wu, D.J. (eds.) Formal Modelling in Electronic Commerce, International Handbooks on Information Systems, pp. 325\u2013342. Springer, Berlin (2005)"},{"key":"15_CR12","unstructured":"Jones, A.J., Pitt, J., Artikis, A.: A methodology for engineering intelligent socio-technical systems (2011) (forthcoming)"},{"key":"15_CR13","unstructured":"Jones, A.J., Pitt, J., Artikis, A.: On the analysis and implementation of normative systems \u2014 towards a methodology. In: Proceedings of the Workshop on Coordination, Organisation, Institutions and Norms (COIN), 10th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS), Taipei, Taiwan, pp. 47\u201356 (2011)"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A.J. Jones","year":"1996","unstructured":"Jones, A.J., Sergot, M.J.: A formal characterisation of institutionalised power. Logic Journal of the IGPL\u00a04(3), 427\u2013443 (1996); reprinted in [30], pp. 349\u2013367]","journal-title":"Logic Journal of the IGPL"},{"key":"15_CR15","first-page":"361","volume-title":"Proceedings of the Thirtieth Hawaii International Conference on System Sciences","author":"S.O. Kimbrough","year":"1997","unstructured":"Kimbrough, S.O.: On electronic commerce, subatomic semantics and C\u00e6sar\u2019s stabbing. In: Sprague Jr., R.H. (ed.) Proceedings of the Thirtieth Hawaii International Conference on System Sciences, pp. 361\u2013370. IEEE Press, Los Alamitos (1997)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Kimbrough, S.O.: Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content. In: Proceedings of ICAIL 2001: International Conference on Artificial Intelligence and Law (2001)","DOI":"10.1145\/383535.383557"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Kimbrough, S.O.: A note on interpretations for federated languages and the use of disquotation. In: Gardner, A. (ed.) Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL 2005), Cooperation with ACM SIGART and The American Association for Artificial Intelligence, Bologna, Italy, June 6-11, pp. 10\u201319 (2005)","DOI":"10.1145\/1165485.1165488"},{"issue":"2","key":"15_CR18","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/10864415.1998.11518332","volume":"3","author":"S.O. Kimbrough","year":"1998","unstructured":"Kimbrough, S.O.: Formal language for business communication: Sketch of a basic theory. International Journal of Electronic Commerce\u00a03(2), 23\u201344 (1998-1999)","journal-title":"International Journal of Electronic Commerce"},{"issue":"1","key":"15_CR19","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1080\/10864415.2000.11044198","volume":"5","author":"S.O. Kimbrough","year":"2000","unstructured":"Kimbrough, S.O., Tan, Y.H.: On lean messaging with unfolding and unwrapping for electronic commerce. International Journal of Electronic Commerce\u00a05(1), 83\u2013108 (2000)","journal-title":"International Journal of Electronic Commerce"},{"issue":"1","key":"15_CR20","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-base calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"15_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4076.001.0001","volume-title":"Knowledge of Meaning: An Introduction to Semantic Theory","author":"R. Larson","year":"1995","unstructured":"Larson, R., Segal, G.: Knowledge of Meaning: An Introduction to Semantic Theory. The MIT Press, Cambridge (1995); ISBN: 0-262-62100-2"},{"key":"15_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6170.001.0001","volume-title":"Semantics, Tense, and Time: An Essay in the Metaphysics of Natural Language","author":"P. Ludlow","year":"1999","unstructured":"Ludlow, P.: Semantics, Tense, and Time: An Essay in the Metaphysics of Natural Language. The MIT Press, Cambridge (1999); ISBN: 0-262-12219-7"},{"key":"15_CR23","first-page":"102","volume-title":"Logic and Knowledge: Selected Papers","author":"J.L. Mackie","year":"1985","unstructured":"Mackie, J.L.: Problems of intentionality. In: Joan, M.P. (ed.) Logic and Knowledge: Selected Papers, vol.\u00a01, pp. 102\u2013116. Oxford University Press, Oxford (1985)"},{"issue":"300","key":"15_CR24","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1093\/mind\/LXXV.300.580","volume":"75","author":"R.B. Marcus","year":"1966","unstructured":"Marcus, R.B.: Iterated deontic modalities. Mind New Series\u00a075(300), 580\u2013582 (1966)","journal-title":"Mind New Series"},{"key":"15_CR25","first-page":"159","volume-title":"Logic and Representation","author":"R.C. Moore","year":"1995","unstructured":"Moore, R.C.: Events, Situations, and Adverbs. In: Logic and Representation, pp. 159\u2013170. Center for the Study of Language and Information, Stanford (1995); ISBN: 1-881526-15-1"},{"key":"15_CR26","volume-title":"Events in the Semantics of English: A Study in Subatomic Semantics. Current Studies in Linguistics","author":"T. Parsons","year":"1990","unstructured":"Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. Current Studies in Linguistics. The MIT Press, Cambridge (1990); ISBN: 0-262-66093-8"},{"key":"15_CR27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3225.001.0001","volume-title":"The Generative Lexicon","author":"J. Pustejovsky","year":"1995","unstructured":"Pustejovsky, J.: The Generative Lexicon. The MIT Press, Cambridge (1995)"},{"key":"15_CR28","volume-title":"Elements of Symbolic Logic","author":"H. Reichenbach","year":"1947","unstructured":"Reichenbach, H.: Elements of Symbolic Logic. The Macmillan Company, New York (1947)"},{"key":"15_CR29","volume-title":"Plurals and Events","author":"B. Schein","year":"1993","unstructured":"Schein, B.: Plurals and Events. The MIT Press, Cambridge (1993)"},{"volume-title":"Normative Systems in Legal and Moral Theory \u2013 Festschrift for Carlos E. Alchourr\u00f3n and Eugenio Bulygin","year":"1997","key":"15_CR30","unstructured":"Vald\u00e9s, E.G., et al. (eds.): Normative Systems in Legal and Moral Theory \u2013 Festschrift for Carlos E. Alchourr\u00f3n and Eugenio Bulygin. Duncker & Humblot, Berlin (1997)"},{"key":"15_CR31","unstructured":"van Benthem, J.: Modal Logic for Open Minds. Center for the Study of Language and Information, Palo Alto (April 15, 2010)"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"van Voorst, J.: Event Structure. John Benjamins Publishing Company, Philadelphia (1988)","DOI":"10.1075\/cilt.59"}],"container-title":["Lecture Notes in Computer Science","Logic Programs, Norms and Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29414-3_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:39:56Z","timestamp":1742999996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29414-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294136","9783642294143"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29414-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}