{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T14:59:11Z","timestamp":1748357951222},"reference-count":23,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1994,10,1]],"date-time":"1994-10-01T00:00:00Z","timestamp":780969600000},"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":[[1994,10]]},"DOI":"10.1016\/0167-9236(94)90003-5","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T12:15:45Z","timestamp":1056975345000},"page":"189-197","source":"Crossref","is-referenced-by-count":3,"title":["Formal specification and decision support"],"prefix":"10.1016","volume":"12","author":[{"given":"Paul J.","family":"Krause","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick J.","family":"Byers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saki","family":"Hajnal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-9236(94)90003-5_BIB1","series-title":"Proceedings of Logic in Computer Science (LICS-87)","first-page":"89","article-title":"Minimalism Subsumes Default Logic and Circumscription in Stratified Logic Programming","author":"Bidoit","year":"1987"},{"key":"10.1016\/0167-9236(94)90003-5_BIB2","series-title":"Reasoning with Incomplete Information","author":"Etherington","year":"1988"},{"issue":"no. 2","key":"10.1016\/0167-9236(94)90003-5_BIB3","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/21.52546","article-title":"Using predicate logic to integrate qualitative reasoning and classical decision theory","volume":"20","author":"Fox","year":"1990","journal-title":"IEEE Trans. on Systems Man. and Cybernetics"},{"issue":"no. 6","key":"10.1016\/0167-9236(94)90003-5_BIB4","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0933-3657(90)90007-E","article-title":"Logic engineering for knowledge engineering: Design and implementation of the Oxford System of Medicine","volume":"2","author":"Fox","year":"1990","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/0167-9236(94)90003-5_BIB5","series-title":"Proc. 1988 Conference and Symposium on Logic Programming","first-page":"1070","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/0167-9236(94)90003-5_BIB6","series-title":"Biomedical Computing Unit Report TR 116","article-title":"The Formal Specification of a Database Extension Management System","author":"Krause","year":"1990"},{"issue":"no. 3","key":"10.1016\/0167-9236(94)90003-5_BIB7","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/64.215223","article-title":"Can We Formally Specify a Medical Decision Support System?","volume":"8","author":"Krause","year":"1993","journal-title":"IEEE Expert"},{"key":"10.1016\/0167-9236(94)90003-5_BIB8","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1080\/08839519308949987","article-title":"Formal Specifications and Medical Decision Support Systems","volume":"7","author":"Krause","year":"1993","journal-title":"Applied Artificial Intelligence"},{"key":"10.1016\/0167-9236(94)90003-5_BIB9","series-title":"Representing Uncertain Knowledge; an AI Perspective","author":"Krause","year":"1993"},{"key":"10.1016\/0167-9236(94)90003-5_BIB10","series-title":"Special Issue: Verification and Validation of Knowledge Based Systems","volume":"1","year":"1990"},{"key":"10.1016\/0167-9236(94)90003-5_BIB11","series-title":"Proceedings of the Konstanz workshop on belief revision","article-title":"Relations between the logic of theory change and nonmonotonic logic","author":"Makinson","year":"1990"},{"key":"10.1016\/0167-9236(94)90003-5_BIB12","series-title":"Research and Development in Expert Systems VII","first-page":"171","article-title":"Structuring financial expert systems to defend against negligence","author":"Mital","year":"1990"},{"key":"10.1016\/0167-9236(94)90003-5_BIB13","series-title":"Proceedings of IPMU '92","first-page":"61","article-title":"Unifying various approaches to default logic","author":"Moinard","year":"1992"},{"key":"10.1016\/0167-9236(94)90003-5_BIB14","series-title":"The foundations of artificial intelligence: A sourcebook","first-page":"47","article-title":"Non-monotonic reasoning versus logic programming: a new perspective","author":"Przymusinski","year":"1990"},{"key":"10.1016\/0167-9236(94)90003-5_BIB15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A Logic for Default Reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0167-9236(94)90003-5_BIB16","series-title":"Program Specification and Transformation","first-page":"313","article-title":"Object-Oriented Subsystem Specification","author":"Schuman","year":"1987"},{"key":"10.1016\/0167-9236(94)90003-5_BIB17","series-title":"Computing Science Technical Report","article-title":"Object-Oriented Process Specification","author":"Schuman","year":"1989"},{"key":"10.1016\/0167-9236(94)90003-5_BIB18","series-title":"Non-Standard Logics for Automated Reasoning","year":"1988"},{"key":"10.1016\/0167-9236(94)90003-5_BIB19","series-title":"Understanding Z: a Specification Language and its Formal Semantics","author":"Spivey","year":"1988"},{"key":"10.1016\/0167-9236(94)90003-5_BIB20","article-title":"The Z Notation","author":"Spivey","year":"1988"},{"key":"10.1016\/0167-9236(94)90003-5_BIB21","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/1042-8143(92)90017-U","article-title":"(ML)2: A formal language for KADS models of expertise","volume":"4","author":"van Harmelen","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/0167-9236(94)90003-5_BIB22","unstructured":"M. Wallace, ECRC, Personal Communication (1990)."},{"key":"10.1016\/0167-9236(94)90003-5_BIB23","series-title":"Technical Report","article-title":"Specification and refinement using Z and the guarded command language: a compendium","author":"Wordsworth","year":"1988"}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167923694900035?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167923694900035?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T11:57:29Z","timestamp":1552910249000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167923694900035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,10]]}},"alternative-id":["0167923694900035"],"URL":"https:\/\/doi.org\/10.1016\/0167-9236(94)90003-5","relation":{},"ISSN":["0167-9236"],"issn-type":[{"value":"0167-9236","type":"print"}],"subject":[],"published":{"date-parts":[[1994,10]]}}}