{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T19:04:15Z","timestamp":1776279855216,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bf00118478","type":"journal-article","created":{"date-parts":[[2004,11,4]],"date-time":"2004-11-04T02:28:27Z","timestamp":1099535307000},"page":"45-64","source":"Crossref","is-referenced-by-count":72,"title":["Deontic logic in the representation of law: Towards a methodology"],"prefix":"10.1007","volume":"1","author":[{"given":"Andrew J. I.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Sergot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Proceedings of The Second International Conference on Artificial Intelligence and Law","author":"C. E. Alchourr\u00f3n","year":"1989","unstructured":"Alchourr\u00f3n, C. E. & Martino, A. A 1989. A Sketch of Logic Without Truth. In Proceedings of The Second International Conference on Artificial Intelligence and Law. Vancouver: ACM Press."},{"key":"CR2","first-page":"385","volume-title":"Automated Analysis of Legal Texts","author":"L. E. Allen","year":"1986","unstructured":"Allen, L. E. & Saxon, C. S 1986. Analysis of the Logical Structure of Legal Rules by a Modernized and Formalized Version of Hohfeld Fundamental Legal Conceptions. In Automated Analysis of Legal Texts, eds. Socci, F., Martino A. A. 385?451. Amsterdam: North Holland."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/112646.112652","volume-title":"Proceedings of The Third International Conference on Artificial Intelligence and Law","author":"L. E. Allen","year":"1991","unstructured":"Allen, L. E. & Saxon, C. S. 1991. More IA Needed in AI: Interpretation Assistance for Coping with the Problem of Multiple Structural Interpretations. In Proceedings of The Third International Conference on Artificial Intelligence and Law, 53?61 Oxford: ACM Press."},{"key":"CR4","series-title":"Synthese Library","volume-title":"New Studies in Deontic Logic","author":"L. \u00c5qvist","year":"1981","unstructured":"\u00c5qvist, L. & Hoepelman, J. 1981. Some Theorems about a ?tree? System of Deontic Tense Logic. In New Studies in Deontic Logic, ed. R. Hilpinen. Synthese Library 152, Dordrecht: Kluwer Acad. Publishers."},{"key":"CR5","first-page":"37","volume-title":"Proceedings of the Second International Conference on Artificial Intelligence and Law","author":"T. J. M. Bench-Capon","year":"1989","unstructured":"Bench-Capon, T. J. M. 1989. Deep Models, Normative Reasoning and Legal Expert Systems. In Proceedings of the Second International Conference on Artificial Intelligence and Law, 37?45 Vancouver: ACM Press."},{"key":"CR6","first-page":"190","volume-title":"Proceeding of The First International Conference on Artificial Intelligence and Law","author":"T. J. M. Bench-Capon","year":"1987","unstructured":"Bench-Capon, T. J. M., Robinson, G. O., Routen, T. W. & Sergot, M. J. 1987. Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation. In Proceeding of The First International Conference on Artificial Intelligence and Law, 190?198 Boston: ACM Press."},{"key":"CR7","first-page":"240","volume-title":"Proceedings of The First International Conference on Artificial Intelligence and Law","author":"C. Biagioli","year":"1987","unstructured":"Biagioli, C., Mariani, P. & Tiscornia, D. 1987. ESPLEX: A Rule and Conceptual Based Model for Representing Statutes. In Proceedings of The First International Conference on Artificial Intelligence and Law. 240?251 Boston: ACM Press."},{"key":"CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic ? An Introduction","author":"B. F. Chellas","year":"1980","unstructured":"Chellas, B. F. 1980: Modal Logic ? An Introduction. Cambridge: Cambridge University Press."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Chisholm, R, M. 1963. Contrary-to-duty Imperatives and Deontic Logic. Analysis 24.","DOI":"10.1093\/analys\/24.2.33"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J. & Maibaum, T. S. E. 1991. Temporal Reasoning over Deontic Specifications. Logic and Computation (to appear).","DOI":"10.1093\/logcom\/1.3.357"},{"key":"CR11","unstructured":"Gardner, A.v.d.L. 1984. An Artificial Intelligence Approach to Legal Reasoning. Bradford Books\/MIT Press."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/112646.112667","volume-title":"Proceedings of The Third International Conference on Artificial Intelligence and Law","author":"H. Herrestad","year":"1991","unstructured":"Herrestad, H. 1991. Norms and Formalization. In Proceedings of The Third International Conference on Artificial Intelligence and Law, 175?184 Oxford: ACM Press."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Jones, A. J. I. 1990. Deontic Logic and Legal Knowledge Representation. Ratio Juris 3.","DOI":"10.1111\/j.1467-9337.1990.tb00060.x"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Jones, A. J. L, & P\u00f6rn, I. 1985. Ideality, Sub-ideality and Deontic Logic. Synthese 65.","DOI":"10.1007\/BF00869304"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Jones, A. J. I. & P\u00f6rn, I. 1991. On the Logic of Deontic Conditionals. In Proceedings of The First International Workship on Deontic Logic in Computer Science (DEON `91), Amsterdam.","DOI":"10.1111\/j.1467-9337.1991.tb00105.x"},{"key":"CR16","unstructured":"Jones, A. J. I. & Sergot, M. J. 1991. On the Role of Deontic Logic in the Characterisation of Normative Systems. In Proceedings of The First International Workship on Deontic Logic in Computer Science (DEON `91). Amsterdam."},{"key":"CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Temporal Logic in Specification","author":"S. Khosla","year":"1987","unstructured":"Khosla, S. & Maibaum, T. S. E. 1987. The Prescription and Description of State Based Systems. In Temporal Logic in Specification, ed. B. Banieqbal, et al., Lecture Notes in Computer Science 398, Berlin: Springer-Verlag."},{"key":"CR18","volume-title":"Synthese Library 112","author":"L. Lindahl","year":"1977","unstructured":"Lindahl, L. 1977. Position and Change ? A Study in Law and Logic: Synthese Library 112, Dordrecht: Kluwer Acad. Publishers."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF00869396","volume":"54","author":"B. Loewer","year":"1983","unstructured":"Loewer, B. & Belzer, M. 1983 Dyadic Deontic Detachment. Synthese 54: 295?319.","journal-title":"Synthese"},{"key":"CR20","unstructured":"MacCormick, D. N. 1990. Paper presented to the ESPRIT Working Group on Foundations of Legal Reasoning, Cork."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"837","DOI":"10.2307\/1340132","volume":"90","author":"L. T. McCarty","year":"1977","unstructured":"McCarty, L. T. 1977. Reflections on TAXMAN: An Experiment in Artificial Intelligence and Legal Reasoning. Harvard Law Review 90: 837?893.","journal-title":"Harvard Law Review"},{"key":"CR22","unstructured":"McCarty, L. T. 1983. Permissions and Obligations. In Proceedings of The Eighth International Joint Conference on Artificial Intelligence 287?294. Karlsruhe."},{"key":"CR23","first-page":"307","volume-title":"Automated Analysis of Legal Texts","author":"L. T. McCarty","year":"1986","unstructured":"McCarty, L. T. 1986. Permissions and Obligations: An Informal Introduction. In Automated Analysis of Legal Texts, eds. A. A. Martino, F. Socci, 307?337. Amsterdam: North-Holland."},{"key":"CR24","first-page":"180","volume-title":"Proceedings of The Second International Conference on Artificial Intelligence and Law","author":"L. T. McCarty","year":"1989","unstructured":"McCarty, L. T. 1989. A Language for Legal Discourse I. Basic features. In Proceedings of The Second International Conference on Artificial Intelligence and Law, 180?189. Vancouver: ACM Press."},{"key":"CR25","series-title":"MIT Report MAC TR-157","volume-title":"A Preliminary Study in Computer-aided Legal Analysis","author":"J. A. Melman","year":"1975","unstructured":"Melman, J. A. 1975. A Preliminary Study in Computer-aided Legal Analysis. MIT Report MAC TR-157, Cambridge: M.I.T."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J., Ch. 1988. A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame Journal of Formal Logic 29.","DOI":"10.1305\/ndjfl\/1093637776"},{"key":"CR27","unstructured":"Minsky, N. H. & Lockman, A. 1985. Ensuring Integrity by Adding Obligations to Privileges. In Proceedings of The Eighth International Conference on Software Engineering, 92?102."},{"key":"CR28","unstructured":"Morris, P. & McDermid, J. 1991. The Structure of Permissions: A Nonnative Framework for Access Rights. In Proceedings of The First International Workshop on Deontic Logic in Computer Science (DEON `91). Amsterdam."},{"key":"CR29","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF03037414","volume":"5","author":"K. Nitta","year":"1988","unstructured":"Nitta, K., Nagao, J. & Mizutori, T. 1988. A Knowledge Representation and Inference System for Procedural Law. New Generation Computing 5: 319?359.","journal-title":"New Generation Computing"},{"key":"CR30","volume-title":"MSc thesis","author":"H. Roberts","year":"1988","unstructured":"Roberts, H. 1988. Knowledge Representation for Procedural Law. MSc thesis. London: Department of Computing, Imperial College."},{"key":"CR31","volume-title":"Logic Programming","author":"M. J. Sergot","year":"1982","unstructured":"Sergot, M. J. 1982. Prospects for Representing the Law as Logic Programs. In Logic Programming, eds. K.L. Clark, S-A Tarnlund, London: Academic Press."},{"key":"CR32","unstructured":"Sergot, M. J. 1985. Representing Legislation as Logic Programs. In Machine Intelligence 11, eds. J. E. Hayes, D. Michie, J. Richards, 209?260. Oxford University Press. Sergot, M. J. 1990. The Representation of Law in Computer Programs: A Survey and Comparison. In Knowledge Based Systems and Legal Applications, ed. T. J. M. Bench-Capon. Academic Press."},{"key":"CR33","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M. J. Sergot","year":"1986","unstructured":"Sergot, M. J., Sadri, F., Kowalski, R. A., Kriwaczek, F., Hammond, P. & Cory, H. T. 1986. The British Nationality Act as a Logic Program. Communications of the ACM 29: 370?386.","journal-title":"Communications of the ACM"},{"key":"CR34","unstructured":"Susskind, R. E. 1987. Expert Systems in Law: A Jurisprudential Inquiry. Oxford University Press."},{"key":"CR35","volume-title":"How To Do Things With Rules","author":"W. L. Twining","year":"1982","unstructured":"Twining, W. L. & Miers, D. 1982. How To Do Things With Rules (2nd Edition). London: Wiedenfeld and Nicolson.","edition":"2nd Edition"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00118478.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00118478\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00118478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,27]],"date-time":"2021-06-27T16:05:12Z","timestamp":1624809912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00118478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992]]}},"alternative-id":["BF00118478"],"URL":"https:\/\/doi.org\/10.1007\/bf00118478","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}