{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:13:54Z","timestamp":1676006034430},"reference-count":29,"publisher":"Hindawi Limited","issue":"3","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7548,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1995]]},"DOI":"10.1002\/int.4550100303","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T22:24:01Z","timestamp":1183933441000},"page":"295-328","source":"Crossref","is-referenced-by-count":8,"title":["Strategies for building propositional expert systems"],"prefix":"10.1155","volume":"10","author":[{"given":"Robert M.","family":"Colomb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles Y. C.","family":"Chung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","reference":[{"key":"10.1002\/int.4550100303-BIB1","author":"Beinat","year":"1989","unstructured":"and , \u201cCOLOSSUS: Expert assessor of third party claims,\u201d In Proceedings Fifth Australian Conference on Applications of Expert Systems, Sydney, Australia, 1989, pp. 70\u201385."},{"key":"10.1002\/int.4550100303-BIB2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1111\/j.1468-0394.1986.tb00192.x","volume":"3","author":"Buchanan","year":"1986","journal-title":"Expert Syst."},{"key":"10.1002\/int.4550100303-BIB3","first-page":"7","volume":"17","author":"Horn","year":"1985","journal-title":"Austral. Computer J."},{"key":"10.1002\/int.4550100303-BIB4","volume-title":"IJCAI-85","author":"Nguyen","year":"1985","unstructured":", , and , \u201cChecking an expert system knowledge base for consistency and completeness,\u201d In IJCAI-85, Morgan Kaufmann, Los Altos, CA, 1985."},{"key":"10.1002\/int.4550100303-BIB5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Apt","year":"1988","unstructured":", and , \u201cTowards a theory of declarative knowledge,\u201d In Foundations of Deductive Databases and Logic Programming, Ed., Morgan Kaufmann, Los Altos, CA, 1988, pp. 89\u2013148."},{"key":"10.1002\/int.4550100303-BIB6","author":"Tamaki","year":"1984","unstructured":"and , \u201cUnfold\/fold transformation of logic programs,\u201d Proceedings of the Second International Logic Programming Conference, Uppsala, 1984, pp. 127\u2013138."},{"key":"10.1002\/int.4550100303-BIB7","first-page":"554","volume-title":"Logic Programming: Proceedings of the Sixth International Conference (Lisbon)","author":"Seki","year":"1989","unstructured":"\u201cUnfold\/fold transformations of stratified programs,\u201d In Logic Programming: Proceedings of the Sixth International Conference (Lisbon) and , Eds., MIT Press, 1989, pp. 554\u2013568."},{"key":"10.1002\/int.4550100303-BIB8","first-page":"149","volume-title":"Logic and Databases","author":"Reiter","year":"1978","unstructured":"\u201cDeductive question-answering on relational databases,\u201d In Logic and Databases, and , Eds., Morgan Kaufmann, Los Altos, CA, 1978, pp. 149\u2013177."},{"key":"10.1002\/int.4550100303-BIB9","volume-title":"Principles of Database and Knowledge-Base Systems Volume 2","author":"Ullman","year":"1989","unstructured":"Principles of Database and Knowledge-Base Systems Volume 2, Computer Science Press, Rockville, MD, 1989."},{"key":"10.1002\/int.4550100303-BIB10","volume-title":"Decision Table Languages and Systems","author":"Metzner","year":"1977","unstructured":"and , Decision Table Languages and Systems, Academic Press, New York, 1977."},{"key":"10.1002\/int.4550100303-BIB11","first-page":"159","volume-title":"Machine Intelligence 10","author":"Quinlan","year":"1982","unstructured":"\u201cSemi-autonomous acquisition of pattern based knowledge,\u201d In Machine Intelligence 10, , and Y-H Pao, Eds., Ellis Horwood, Chichester, UK, 1982, pp. 159\u2013172."},{"key":"10.1002\/int.4550100303-BIB12","author":"Colomb","year":"1989","unstructured":"and , \u201cArchitecture of the column computer,\u201d In Proceedings Conference on Computing Systems and Information Technology, Institution of Engineers, Australia, 1989."},{"key":"10.1002\/int.4550100303-BIB13","author":"Jansen","year":"1988","unstructured":"and , \u201cThe knowledge dictionary: an application of software engineering techniques to the design and maintenance of expert systems,\u201d In Proceedings AAAI-88 Workshop on Integration of Knowledge Acquisition and Performance Systems, Minnesota, 1988."},{"key":"10.1002\/int.4550100303-BIB14","author":"Lee","year":"1990","unstructured":"\u201cThe implementation of a knowledge dictionary in SQL,\u201d In Proceedings Oracle Asia-Pacific User Conference\u20141990 Adelaide, Australia, 1990."},{"key":"10.1002\/int.4550100303-BIB15","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1002\/int.4550100303-BIB16","author":"Mason","year":"1987","unstructured":", , and , \u201cSEA\u2014An expert system for nuclear test ban treaty verification,\u201d In Proceedings of the Australian Joint Artificial Intelligence Conference, Sydney, 1987, pp. 11\u201325."},{"key":"10.1002\/int.4550100303-BIB17","author":"Sammut","year":"1990","unstructured":"and , \u201cUsing truth maintenance to compile a real time expert system,\u201d In Proceedings Fourth Australian Joint Artificial Intelligence Conference, Perth, WA, Australia, 1990."},{"key":"10.1002\/int.4550100303-BIB18","author":"Reiter","year":"1987","unstructured":"and , \u201cFoundations of assumption-based truth maintenance systems: Preliminary report,\u201d AAAI-87, 1987, pp. 183\u2013188."},{"key":"10.1002\/int.4550100303-BIB19","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/S0020-7373(87)80076-7","volume":"26","author":"Cragun","year":"1987","journal-title":"Int. J. Man-Machine Stud."},{"key":"10.1002\/int.4550100303-BIB20","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0169-023X(89)90012-8","volume":"3","author":"Kleine Buning","year":"1989","journal-title":"Data Knowl. Eng."},{"key":"10.1002\/int.4550100303-BIB21","first-page":"81","volume":"1","author":"Quinlan","year":"1986","journal-title":"Mach. Learn."},{"key":"10.1002\/int.4550100303-BIB22","author":"Evertsz","year":"1991","unstructured":"\u201cThe automated analysis of rule-based systems, based on their procedural semantics,\u201d IJCAI-91, Morgan Kaufmann, Los Altos, CA, 1991, pp. 22\u201327."},{"key":"10.1002\/int.4550100303-BIB23","author":"Lindley","year":"1990","unstructured":"and , \u201cThe knowledge analyst's assistant: Description and preliminary evaluation,\u201d In Proceedings Australian Software Engineering Conference, IREE Australia, 1990."},{"key":"10.1002\/int.4550100303-BIB24","volume-title":"Programming Expert Systems in OPS-5","author":"Brownston","year":"1985","unstructured":", , and , Programming Expert Systems in OPS-5, Addison-Wesley, Reading, MA, 1985."},{"key":"10.1002\/int.4550100303-BIB25","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S1042-8143(05)80017-2","volume":"2","author":"Compton","year":"1990","journal-title":"Knowl. Acquisition"},{"key":"10.1002\/int.4550100303-BIB26","author":"Compton","year":"1988","unstructured":", , , and , \u201cMaintaining an expert system,\u201d In Proceedings Fourth Australian Conference on Applications of Expert Systems, University of Technology, Sydney, Australia, 1988."},{"key":"10.1002\/int.4550100303-BIB27","author":"Colomb","year":"1990","unstructured":"Artificial Intelligence Applications of a Fine-Grained Parallel Machine, Technical Report TR-FB-90-08 CSIRO Division of Information Technology, Sydney, Australia, 1990."},{"key":"10.1002\/int.4550100303-BIB28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96552-4","volume-title":"Content-Addressable Memories","author":"Kohone","year":"1980","unstructured":"Content-Addressable Memories, Springer-Verlag, Berlin, 1980."},{"key":"10.1002\/int.4550100303-BIB29","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-1-4684-7122-9_3","volume-title":"Automating Knowledge Acquisition for Expert Systems","author":"Eshelman","year":"1988","unstructured":"\u201cMOLE: A knowledge acquisition tool for cover-and-differentiate systems,\u201d In Automating Knowledge Acquisition for Expert Systems, Ed., Kluwer, Boston, 1988, pp. 37\u201397."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550100303","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550100303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:34:38Z","timestamp":1675956878000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550100303"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550100303","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}