{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T16:33:07Z","timestamp":1694017987691},"reference-count":37,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1987,9,1]],"date-time":"1987-09-01T00:00:00Z","timestamp":557452800000},"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":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1987,9]]},"DOI":"10.1016\/0169-023x(87)90030-9","type":"journal-article","created":{"date-parts":[[2003,12,2]],"date-time":"2003-12-02T12:08:25Z","timestamp":1070366905000},"page":"191-212","source":"Crossref","is-referenced-by-count":5,"title":["A logic programming perspective on decision table theory and practice"],"prefix":"10.1016","volume":"2","author":[{"given":"Kevin D.","family":"Reilly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akram","family":"Salah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao-Chih","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-023X(87)90030-9_BIB1","series-title":"Prolog in C for Unix version 7: A reference manual","author":"Bruynooghe","year":"1980"},{"key":"10.1016\/0169-023X(87)90030-9_BIB2","series-title":"Symbolic Logic for Mechanical Theorent Proving","author":"Chang","year":"1973"},{"key":"10.1016\/0169-023X(87)90030-9_BIB3","series-title":"Progranuning in Prolog","author":"Clocksin","year":"1984"},{"key":"10.1016\/0169-023X(87)90030-9_BIB4","series-title":"A Modern Appriasal of Decision Tables","year":"1982"},{"key":"10.1016\/0169-023X(87)90030-9_BIB5","series-title":"Logic Progranuning","article-title":"Runnable specifications as a design tool","author":"Davis","year":"1982"},{"key":"10.1016\/0169-023X(87)90030-9_BIB6","series-title":"Structured Systems Analysis: Tools and Techniques","author":"Gane","year":"1979"},{"issue":"9","key":"10.1016\/0169-023X(87)90030-9_BIB7","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1145\/4284.4287","article-title":"Logic programming","volume":"28","author":"Genesereth","year":"1985","journal-title":"Comm. ACM"},{"key":"10.1016\/0169-023X(87)90030-9_BIB8","series-title":"Introduction to Logic Programming","author":"Hogger","year":"1984"},{"key":"10.1016\/0169-023X(87)90030-9_BIB9","series-title":"Decision Tables in Software Engineering","author":"Hurley","year":"1983"},{"key":"10.1016\/0169-023X(87)90030-9_BIB10","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"issue":"7","key":"10.1016\/0169-023X(87)90030-9_BIB11","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","article-title":"Algorithms = Logic + Control","volume":"22","author":"Kowalski","year":"1979","journal-title":"Comm. ACM"},{"key":"10.1016\/0169-023X(87)90030-9_BIB12","article-title":"Use of decision tables in multiprocessing environments","author":"Larson","year":"1979"},{"issue":"1","key":"10.1016\/0169-023X(87)90030-9_BIB13","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1146\/annurev.cs.01.060186.001351","article-title":"Knowledge representation and reasoning","author":"Levesque","year":"1986","journal-title":"Ann. Rev. Comput. Sci."},{"issue":"2","key":"10.1016\/0169-023X(87)90030-9_BIB14","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1002\/spe.4380130207","article-title":"Decision tables for general-purpose scientific programming","volume":"13","author":"Lew","year":"1983","journal-title":"Software Practice Experience"},{"issue":"3","key":"10.1016\/0169-023X(87)90030-9_BIB15","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1093\/comjnl\/27.3.230","article-title":"Proof of correctness of decision table programs","volume":"27","author":"Lew","year":"1984","journal-title":"Comput. J."},{"key":"10.1016\/0169-023X(87)90030-9_BIB16","series-title":"Decision Tables","author":"London","year":"1972"},{"key":"10.1016\/0169-023X(87)90030-9_BIB17","author":"Martin","year":"1985"},{"key":"10.1016\/0169-023X(87)90030-9_BIB18","series-title":"Diagramming Techniques for Analysts and Programming","author":"Martin","year":"1985"},{"key":"10.1016\/0169-023X(87)90030-9_BIB19","series-title":"An Introduction to Decision Logic Tables","author":"McDaniel","year":"1968"},{"key":"10.1016\/0169-023X(87)90030-9_BIB20","series-title":"Decision Tables Language and Systems","author":"Metzner","year":"1977"},{"key":"10.1016\/0169-023X(87)90030-9_BIB21","series-title":"Decision tables","author":"Montalbano","year":"1974"},{"key":"10.1016\/0169-023X(87)90030-9_BIB22","series-title":"Soffivare Engineering: A Practitioner's Approach","author":"Pressman","year":"1982"},{"key":"10.1016\/0169-023X(87)90030-9_BIB23","series-title":"Proc. 11th International Congress on Cybernetics","article-title":"Cross-fertilization of artificial intelligence and behavior analysis in a program approach to the study of abnormal behavior","author":"Reilly","year":"1986"},{"key":"10.1016\/0169-023X(87)90030-9_BIB24","series-title":"Proc. 1984 ACM-SE Conference","first-page":"24","article-title":"The ASP system: The friendly front","author":"Reilly","year":"1984"},{"issue":"3","key":"10.1016\/0169-023X(87)90030-9_BIB25","first-page":"196","article-title":"Computer simulation modeling of abnormal behavior: A program approach","volume":"29","author":"Reilly","year":"1984","journal-title":"Behav. Sci.-J. Soc. Gen. Sys. Res."},{"key":"10.1016\/0169-023X(87)90030-9_BIB26","series-title":"Software development study: A simulation environment perspective","author":"Reilly","year":"1984"},{"key":"10.1016\/0169-023X(87)90030-9_BIB27","series-title":"Artificial Intelligence and Simulation","first-page":"29","article-title":"The simulation environment concept: Artificial intelligence perspectives","author":"Reilly","year":"1985"},{"key":"10.1016\/0169-023X(87)90030-9_BIB28","series-title":"Simulation at the Frontiers of Science","first-page":"83","article-title":"A natural language component for a modeling and simulation environment","author":"Reilly","year":"1986"},{"key":"10.1016\/0169-023X(87)90030-9_BIB29","series-title":"Papers on Computational and Cognitive Science","article-title":"Multiple representation in a language driven memory model","author":"Reilly","year":"1984"},{"issue":"3","key":"10.1016\/0169-023X(87)90030-9_BIB30","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/321341.321343","article-title":"Conversion of limited-entry decision tables to optimal computer programs I: Minimum averaging time","volume":"13","author":"Reinwald","year":"1966","journal-title":"J. ACM"},{"key":"10.1016\/0169-023X(87)90030-9_BIB31","article-title":"An integration of decision tables and relational database system into a Prolog environment","author":"Salah","year":"1986"},{"issue":"1","key":"10.1016\/0169-023X(87)90030-9_BIB32","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0888-613X(87)90008-9","article-title":"A reduction methodology for differential diagnosis expert system","author":"Salah","year":"1987","journal-title":"Internal. J. Approx. Reasoning."},{"key":"10.1016\/0169-023X(87)90030-9_BIB33","unstructured":"A. Salah, C.C. Yang and K. Reilly, On decision table properties, representations, and implementations, Submitted."},{"key":"10.1016\/0169-023X(87)90030-9_BIB34","series-title":"A Practical Guide to Designing Expert Systems","author":"Weiss","year":"1984"},{"key":"10.1016\/0169-023X(87)90030-9_BIB35","series-title":"Decision Tables arid Computer Programming","author":"Welland","year":"1981"},{"key":"10.1016\/0169-023X(87)90030-9_BIB36","series-title":"Relational Databases","author":"Yang","year":"1986"},{"issue":"8","key":"10.1016\/0169-023X(87)90030-9_BIB37","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/953368.953382","article-title":"Some aspects of decision table conversion techniques","volume":"6","author":"Yasui","year":"1971","journal-title":"Sigplan Notices"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X87900309?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X87900309?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T16:29:20Z","timestamp":1550334560000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X87900309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["0169023X87900309"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(87)90030-9","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1987,9]]}}}