{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T15:10:07Z","timestamp":1737126607873,"version":"3.33.0"},"reference-count":44,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[1993,7]]},"DOI":"10.1080\/08839519308949987","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T05:18:16Z","timestamp":1182748696000},"page":"237-256","source":"Crossref","is-referenced-by-count":2,"title":["FORMAL SPECIFICATIONS AND MEDICAL DECISION SUPPORT SYSTEMS"],"prefix":"10.1080","volume":"7","author":[{"given":"PAUL","family":"KRAUSE","sequence":"first","affiliation":[]},{"given":"ANDRZEJ","family":"GLOWINSKI","sequence":"additional","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2007,4,27]]},"reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0957-4174(91)90036-E","volume":"2","author":"Batarekh A.","year":"1991","journal-title":"Expert Syst."},{"key":"CIT0002","first-page":"99","author":"Bellman K. L.","year":"1990","journal-title":"Expert Syst."},{"key":"CIT0003","first-page":"144","volume":"4","author":"Berry D. C.","year":"1987","journal-title":"The problem of implicit knowledge Expert Syst."},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1146\/annurev.cs.03.060188.000323","volume":"3","author":"Buchanan B. G.","year":"1988","journal-title":"Annu. Rev. Comput., Sci."},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1016\/S0020-7373(83)80064-9","volume":"19","author":"Chandrasekaran B.","year":"1983","journal-title":"Int. J. Man-Machine Studies"},{"volume-title":"In Knowledge, Data and Computer-Assistedlrecisions","year":"1990","author":"Chaudhury A.","key":"CIT0006"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(85)90016-5","volume":"27","author":"Clancey W. J.","year":"1985","journal-title":"Artif-Intel."},{"volume-title":"Biomedical Computing Unit","year":"1990","author":"Coiera E. W.","key":"CIT0008"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/1042-8143(92)90015-S","volume":"4","author":"de Greef H. P.","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"CIT0010","first-page":"261","volume":"48","author":"Doyle J.","year":"1991","journal-title":"taxonomic classification, and the utility of representation services., Artif-Intell."},{"key":"CIT0011","first-page":"347","volume-title":"IEEE Trans. Syst","volume":"20","author":"Fox J.","year":"1990"},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0933-3657(90)90007-E","volume":"2","author":"Fox J.","year":"1990","journal-title":"Artif.Intell. Med."},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0957-4174(91)90035-D","volume":"2","author":"Gemignani M.C.","year":"1991","journal-title":"Expert Syst., Appl."},{"key":"CIT0014","unstructured":"Ginsberg , A. 1988 .Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency & redundancy., Proc. AAA\/88. pp. 585 \u2013 589 , Minnesota ."},{"key":"CIT0015","first-page":"72","author":"Glowinski A. J.","year":"1991","journal-title":"Proc. AlME 91"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0957-4174(91)90033-B","volume":"2","author":"Harrison P. R.","year":"1991","journal-title":"Expert Syst., Appl."},{"key":"CIT0017","first-page":"1","volume-title":"In Frame Conceptions and Text Understanding","author":"Hayes","year":"1979"},{"volume-title":"Steps TowardApplications.","year":"1990","author":"Horn W.","key":"CIT0018"},{"key":"CIT0019","unstructured":"Kim , W. 1990 . Introduction to Object-Oriented Databases. Cambridge , MA : MIT Press."},{"volume-title":"In Validation, Verification and Test ofKnowledgeBased Systems","year":"1991","author":"Krause P. J.","key":"CIT0020"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","volume":"50","author":"Lauritzen S. I.","year":"1988","journal-title":"J. R. Statist., Soc. B"},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/1042-8143(92)90014-R","volume":"4","author":"Linster M.","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/0950-7051(90)90043-H","volume":"3","author":"Lopez B.","year":"1990","journal-title":"Knowledge based systems, validation: A state of the an. A1COM"},{"key":"CIT0024","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/249305","author":"Mykytyn K.","year":"1990","journal-title":"MIS Quarterly"},{"key":"CIT0025","first-page":"1","volume":"2","author":"Newell A.","year":"1981","journal-title":"AI Mag."},{"volume-title":"Human Problem Solving.","year":"1972","author":"Newell A.","key":"CIT0026"},{"key":"CIT0027","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0169-2607(91)90047-W","volume":"34","author":"Nykanen P.","year":"1991","journal-title":"Comput. Methods Programs Blamed."},{"key":"CIT0028","first-page":"8","volume-title":"In Sorts and Types In Artificial Intelligence.","author":"Oberschelp A.","year":"1990"},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"237","DOI":"10.3109\/14639239009025271","volume":"15","author":"O'Neil M.","year":"1990","journal-title":"Med. Informatics"},{"key":"CIT0031","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-1-349-07159-3_11","volume-title":"In Decision Making in General Practice","author":"Rector A. L.","year":"1985"},{"key":"CIT0032","first-page":"313","volume-title":"In Program Specification ami Transformation","author":"Schuman S. A.","year":"1987"},{"volume-title":"Computing Science Technical Report.","year":"1989","author":"Schuman S. A.","key":"CIT0033"},{"key":"CIT0034","first-page":"24","volume-title":"Proc. IJCAI81","author":"Shortliffe E.","year":"1981"},{"key":"CIT0035","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/64.58019","author":"Slagle J. R.","year":"1990","journal-title":"IEEE Expert"},{"volume-title":"Reading.","year":"1984","author":"Sowa J. F.","key":"CIT0036"},{"volume-title":"Understanding Z: ASpecification Language and Its Formal Semantics.","year":"1988","author":"Spivey J. M.","key":"CIT0037"},{"volume-title":"A Manual.","year":"1989","author":"Spivey J. M.","key":"CIT0038"},{"volume-title":"Proc. AIAAINASAIASUF Symposium on Automation, Robotics and Advanced Computing for the National Space Program.","year":"1987","author":"Stachowitz R. A.","key":"CIT0039"},{"key":"CIT0040","first-page":"16","author":"Suwa M.","year":"1982","journal-title":"AI Magazine Fall:"},{"volume-title":"Technical Description.","year":"1990","author":"Taylor P.","key":"CIT0041"},{"key":"CIT0042","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/1042-8143(92)90017-U","volume":"4","author":"van Harmelen F.","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"CIT0043","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/1042-8143(92)90013-Q","volume":"4","author":"Wielinga B. J.","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"CIT0044","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1017\/S0269888900005026","volume":"4","author":"Wilson M.","year":"1989","journal-title":"Knowledge Eng."},{"volume-title":"Specification and Refinement Using Z and the Guarded Command Language: A Compendium.","year":"1988","author":"Wordsworth J. B.","key":"CIT0045"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839519308949987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T14:29:57Z","timestamp":1737124197000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839519308949987"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":44,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2007,4,27]]},"published-print":{"date-parts":[[1993,7]]}},"alternative-id":["10.1080\/08839519308949987"],"URL":"https:\/\/doi.org\/10.1080\/08839519308949987","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"type":"print","value":"0883-9514"},{"type":"electronic","value":"1087-6545"}],"subject":[],"published":{"date-parts":[[1993,7]]}}}