{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T15:26:54Z","timestamp":1774798014884,"version":"3.50.1"},"reference-count":33,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Management Information Systems"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1080\/07421222.1995.11518073","type":"journal-article","created":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T23:43:15Z","timestamp":1449877395000},"page":"145-169","source":"Crossref","is-referenced-by-count":9,"title":["DX: A Deontic Expert System"],"prefix":"10.1080","volume":"12","author":[{"given":"Ronald M.","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young U.","family":"Ryu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2015,12,11]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8484-4_5"},{"key":"CIT0002","unstructured":"ANSI. An introduction to electronic data interchange. Report No. ASC X12D\/87\u201302, ANSI, July 1987."},{"key":"CIT0003","unstructured":"Apt, K.R. Introduction to logic programming. Report No. TR-87\u201335, Department of Computer Science, University of Texas at Austin, 1988."},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198245537.001.0001"},{"key":"CIT0006","volume-title":"The Handbook of Artificial Intelligence","volume":"1","author":"Barr A.","year":"1981"},{"key":"CIT0007","volume-title":"The Handbook of Artificial Intelligence","volume":"2","author":"Barr A.","year":"1982"},{"key":"CIT0008","volume-title":"Deduction: Introductory Symbolic Logic","author":"Bonevac D.","year":"1987"},{"key":"CIT0009","volume-title":"Prolog Programming for Artificial Intelligence","author":"Bratko I.","year":"1986"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(94)90028-0"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"CIT0012","first-page":"1","volume-title":"Deontic Logic: Introductory and Systematic Readings","author":"F\u00f8llesdal D.","year":"1971"},{"key":"CIT0013","volume-title":"Logical Foundations for Artificial Intelligence","author":"Genesereth M.R.","year":"1987"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"CIT0015","first-page":"2","volume":"27","author":"Harrington L.","year":"1988","journal-title":"Traffic Management"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-3146-2"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8484-4"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8788-6_1"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(88)90096-6"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(85)90036-5"},{"key":"CIT0023","unstructured":"Lin, C., and Marinescu, D.C. Reachability trees for high level Petri nets with marking variables. Report No. CSD-TR-857, Computer Sciences Department, Purdue University, 1985."},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"CIT0026","unstructured":"Nute, D. A nonmonotonic logic based on conditional logic. Report No. 01\u2013007, Advanced Computational Methods Center, University of Georgia, 1985."},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"CIT0029","volume-title":"Petri Net Theory and Modeling of Systems","author":"Peterson J.L.","year":"1981"},{"key":"CIT0030","first-page":"55","volume-title":"Logic and Data Bases","author":"Reiter R.","year":"1987"},{"key":"CIT0031","volume-title":"Computer-Based Medical Consultations: MYCIN","author":"Shortliffe E.H.","year":"1979"},{"key":"CIT0032","volume-title":"EDI: The Competitive Edge","author":"Sokol P.","year":"1989"},{"key":"CIT0033","volume-title":"The Art of Prolog: Advanced Programming Techniques","author":"Sterling L.","year":"1986"},{"key":"CIT0034","unstructured":"Van Melle, W. A domain independent system that aids in constructing consultation programs. Report No. STAN-CS-80\u2013820, Computer Science Department, Stanford University, 1980. Ph.D. dissertation at Computer Science Department, Stanford University."},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LX.237.1"},{"key":"CIT0036","first-page":"1","volume":"21","author":"Von Wright G.H.","year":"1968","journal-title":"Acta Philosophica Fennica"},{"key":"CIT0037","volume-title":"Markets and Hierarchies: Analysis and Anti-Trust Implications","author":"Williamson O.","year":"1975"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1086\/466942"}],"container-title":["Journal of Management Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/07421222.1995.11518073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T19:26:56Z","timestamp":1531769216000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/07421222.1995.11518073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":33,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2015,12,11]]},"published-print":{"date-parts":[[1995,6]]}},"alternative-id":["10.1080\/07421222.1995.11518073"],"URL":"https:\/\/doi.org\/10.1080\/07421222.1995.11518073","relation":{},"ISSN":["0742-1222","1557-928X"],"issn-type":[{"value":"0742-1222","type":"print"},{"value":"1557-928X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}