{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T14:57:59Z","timestamp":1748357879880},"reference-count":40,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Decision Support Systems"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1016\/0167-9236(94)00054-9","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T00:18:15Z","timestamp":1049501895000},"page":"21-38","source":"Crossref","is-referenced-by-count":4,"title":["A decision support system for bureaucratic policy administration: An abductive logic programming approach"],"prefix":"10.1016","volume":"16","author":[{"given":"KayLiang","family":"Ong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronald M.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-9236(94)00054-9_BIB1","first-page":"493","article-title":"Logic Programming","author":"Apt","year":"1990"},{"key":"10.1016\/0167-9236(94)00054-9_BIB2","series-title":"LDL + +: A Second Generation Deductive Database System","author":"Arni","year":"1994"},{"key":"10.1016\/0167-9236(94)00054-9_BIB3","series-title":"Proc. of the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning","first-page":"44","article-title":"Some results concerning the computational complexity of abduction","author":"Bylander","year":"1989"},{"key":"10.1016\/0167-9236(94)00054-9_BIB4","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"key":"10.1016\/0167-9236(94)00054-9_BIB5","series-title":"Introduction to Artificial Intelligence","author":"Charniak","year":"1985"},{"key":"10.1016\/0167-9236(94)00054-9_BIB6","series-title":"Un Systeme de Communication Homme-Machine en Francais","author":"Colmerauer","year":"1973"},{"key":"10.1016\/0167-9236(94)00054-9_BIB7","series-title":"Proc. IEEE Symp. on Logic Programming","first-page":"183","article-title":"General Diagnosis by Abductive Inference","author":"Cox","year":"1986"},{"key":"10.1016\/0167-9236(94)00054-9_BIB8","first-page":"223","article-title":"A Path Finding Method for Constraint Checking in Deductive Databases","volume":"4","author":"Das","year":"1989"},{"key":"10.1016\/0167-9236(94)00054-9_BIB9","series-title":"Proc. 5th International Conference on Logic Programming","first-page":"562","article-title":"Abductive Planning with Event Calculus","author":"Eshghi","year":"1988"},{"key":"10.1016\/0167-9236(94)00054-9_BIB10","series-title":"Proc. 6th International Conference on Logic Programming","article-title":"Abduction Compared With Negation By Failure","author":"Eshghi","year":"1989"},{"key":"10.1016\/0167-9236(94)00054-9_BIB11","series-title":"Deontic Logic: Introductory and Systematic Readings","first-page":"1","article-title":"Deontic Logic: An Introduction","author":"Follesdal","year":"1971"},{"key":"10.1016\/0167-9236(94)00054-9_BIB12","series-title":"Logic Programs with Classical Negations Proceedings of the Seventh International Conference on Logic Programming","first-page":"579","author":"Gelfond","year":"1990"},{"key":"10.1016\/0167-9236(94)00054-9_BIB13","series-title":"Logical Foundations of Artificial Intelligence","author":"Genesereth","year":"1987"},{"key":"10.1016\/0167-9236(94)00054-9_BIB14","series-title":"Proc. IFIP 1974","first-page":"569","article-title":"Predicate Logic as a Programming Language","author":"Kowalski","year":"1974"},{"key":"10.1016\/0167-9236(94)00054-9_BIB15","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0377-2217(84)90151-6","article-title":"Bureaucracies, bureaucrats and information technology","volume":"19","author":"Lee","year":"1984","journal-title":"European Journal of Operational Research"},{"key":"10.1016\/0167-9236(94)00054-9_BIB16","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1108\/eb022633","article-title":"Automating red tape: The performative vs. informative roles of bureaucratic documents","volume":"1\/2","author":"Lee","year":"1984","journal-title":"Offices: Technology and People"},{"key":"10.1016\/0167-9236(94)00054-9_BIB17","series-title":"Knowledge Representation for Decision Support, Proc. of IFIP WG 8.3 Working Conf.","article-title":"Bureaucracy as Artificial Intelligence","author":"Lee","year":"1984"},{"issue":"No. 2","key":"10.1016\/0167-9236(94)00054-9_BIB18","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/45941.45944","article-title":"Bureaucracies as Deonatic Systems","volume":"Vol 6","author":"Lee","year":"1988","journal-title":"ACM Transaction on Office Information Systems"},{"key":"10.1016\/0167-9236(94)00054-9_BIB19","series-title":"DX A Deontic Expert System","author":"Lee","year":"1992"},{"key":"10.1016\/0167-9236(94)00054-9_BIB20","series-title":"Limits to Bureaucratic Growth","author":"Meyer","year":"1985"},{"key":"10.1016\/0167-9236(94)00054-9_BIB21","series-title":"A Logical Language for Data and Knowledge Bases","author":"Naqvi","year":"1989"},{"key":"10.1016\/0167-9236(94)00054-9_BIB22","article-title":"A General Abductive System with Application to Plan Recognition and Diagnosis","author":"Ng","year":"1992"},{"key":"10.1016\/0167-9236(94)00054-9_BIB23","article-title":"Formal Model for Maintaining Consistency of Evolving Bureaucratic Policies: A Logical and Abductive Approach","author":"Ong","year":"1992"},{"key":"10.1016\/0167-9236(94)00054-9_BIB24","series-title":"Proceedings of the 26th Hawaii International Conference on System Sciences","article-title":"A Logic Model for Maintaining Consistency of Bureaucratic Policies","author":"Ong","year":"1993"},{"key":"10.1016\/0167-9236(94)00054-9_BIB25","author":"Peirce","year":"1931"},{"key":"10.1016\/0167-9236(94)00054-9_BIB26","series-title":"Proceedings of 2nd Conference on Theoretical Aspects of Reasoning about Knowledge","first-page":"97","article-title":"On Integrity Constraints","author":"Reiter","year":"1988"},{"key":"10.1016\/0167-9236(94)00054-9_BIB27","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0020-7373(83)80065-0","article-title":"Diagnostic expert systems based on a set covering model","volume":"19","author":"Reggia","year":"1983","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/0167-9236(94)00054-9_BIB28","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0020-0255(85)90015-5","article-title":"A formal model of diagnostic inference, I. problem formulation and decomposition","volume":"37","author":"Reggia","year":"1985","journal-title":"Information Sciences"},{"issue":"N1","key":"10.1016\/0167-9236(94)00054-9_BIB29","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A Machine-Oriented Logic Based on the Resolution Principle","volume":"V12","author":"Robinson","year":"1965","journal-title":"J. ACM"},{"issue":"N1","key":"10.1016\/0167-9236(94)00054-9_BIB30","article-title":"Controlling the Use and Evolution of Database Systems: A Prolog-Based Approach","volume":"VIII","author":"Rozenshtein","year":"1986","journal-title":"Journal of MIS"},{"key":"10.1016\/0167-9236(94)00054-9_BIB31","article-title":"Defeasible Deontic Reasoning \u2014 A Formal Approach","author":"Ryu","year":"1991"},{"key":"10.1016\/0167-9236(94)00054-9_BIB32","series-title":"Foundations of Deductive Databases and Logic Programming","article-title":"A Theorem-Proving Approach to Database Integrity","author":"Sadri","year":"1987"},{"issue":"Number 5","key":"10.1016\/0167-9236(94)00054-9_BIB33","doi-asserted-by":"crossref","DOI":"10.1145\/5689.5920","article-title":"The British Nationality Act As A Logic Program","volume":"Vol. 29","author":"Sergot","year":"1986","journal-title":"Comm. of ACM"},{"key":"10.1016\/0167-9236(94)00054-9_BIB34","article-title":"The LDL+ + User Guide","author":"Tsur","year":"1993","journal-title":"MCC Technical Report"},{"key":"10.1016\/0167-9236(94)00054-9_BIB35","volume":"Volume I and II","author":"Ullman","year":"1990"},{"key":"10.1016\/0167-9236(94)00054-9_BIB36","series-title":"Deontic Logic: Introductory and Systematic Readings","first-page":"105","article-title":"A New System of Deontic Logic","author":"Von Wright","year":"1971"},{"key":"10.1016\/0167-9236(94)00054-9_BIB37","article-title":"An Easy in Deontic Logic and the General Theory of Action","volume":"Vol. 12","author":"Von Wright","year":"1968"},{"key":"10.1016\/0167-9236(94)00054-9_BIB38_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","article-title":"Deontic Logic","volume":"60","author":"Von Wright","year":"1951","journal-title":"Mind"},{"key":"10.1016\/0167-9236(94)00054-9_BIB38_2","series-title":"Logical Studies","first-page":"58","author":"von Wright","year":"1957"},{"key":"10.1016\/0167-9236(94)00054-9_BIB39","series-title":"Proc. of the Int. Conf. on Logic Programming","article-title":"The Design and Implementation of a Logic-Based Language for Data Intensive Applications","author":"Zaniolo","year":"1988"}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167923694000549?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167923694000549?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T22:24:02Z","timestamp":1556144642000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167923694000549"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["0167923694000549"],"URL":"https:\/\/doi.org\/10.1016\/0167-9236(94)00054-9","relation":{},"ISSN":["0167-9236"],"issn-type":[{"value":"0167-9236","type":"print"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}