{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T21:46:12Z","timestamp":1705095972806},"reference-count":32,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1985,4,1]],"date-time":"1985-04-01T00:00:00Z","timestamp":481161600000},"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":[[1985,4]]},"DOI":"10.1016\/0167-9236(85)90063-6","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T16:15:45Z","timestamp":1056989745000},"page":"123-141","source":"Crossref","is-referenced-by-count":16,"title":["Access to specific declarative knowledge by expert systems: The impact of logic programming"],"prefix":"10.1016","volume":"1","author":[{"given":"Yannis","family":"Vassiliou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Clifford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Jarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-9236(85)90063-6_BIB1","article-title":"Natural Language Query Processing for Model Management","author":"Blanning","year":"1984","journal-title":"Communications of the ACM"},{"key":"10.1016\/0167-9236(85)90063-6_BIB2","series-title":"Decision Support Systems","first-page":"61","article-title":"The Evolution from MIS to DSS: Extension of Data Management to Model Management","author":"Bonczek","year":"1982"},{"key":"10.1016\/0167-9236(85)90063-6_BIB3","series-title":"Processes and Tools for Decision Support","article-title":"Specification of Modelling Knowledge in DSS","author":"Bonczek","year":"1983"},{"key":"10.1016\/0167-9236(85)90063-6_BIB4","series-title":"Logic Programming","article-title":"Amalgamating Language and Metalanguage in Logic Programming","author":"Bowen","year":"1982"},{"key":"10.1016\/0167-9236(85)90063-6_BIB5","series-title":"Associative Networks: Representation and Use of Knowledge by Computer","first-page":"3","article-title":"On the Epistemological Status of Semantic Networks","author":"Brachman","year":"1977"},{"issue":"4","key":"10.1016\/0167-9236(85)90063-6_BIB6","article-title":"A Short Introduction to Expert Systems","volume":"6","author":"Clifford","year":"1983","journal-title":"IEEE Database Engineering Bulletin"},{"key":"10.1016\/0167-9236(85)90063-6_BIB7","series-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"key":"10.1016\/0167-9236(85)90063-6_BIB8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A Relational Model for Large Shared Data Banks","author":"Codd","year":"1970","journal-title":"CACM"},{"key":"10.1016\/0167-9236(85)90063-6_BIB9","series-title":"An Introduction to Database Systems","author":"Date","year":"1982"},{"key":"10.1016\/0167-9236(85)90063-6_BIB10","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1145\/320493.320500","article-title":"Database System Approach to Management Decision Support","volume":"1","author":"Donovan","year":"1976","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/0167-9236(85)90063-6_BIB11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0378-7206(83)90004-6","article-title":"Knowledge Engineering Concepts for Decision Support System Design and Implementation","volume":"6","author":"Elam","year":"1983","journal-title":"Information and Management"},{"key":"10.1016\/0167-9236(85)90063-6_BIB12","series-title":"The Fifth Generation Artificial Intelligence and Japan's Computer Challenge to the World","author":"Feigenbaum","year":"1983"},{"key":"10.1016\/0167-9236(85)90063-6_BIB13","series-title":"Logic and Databases","author":"Gallaire","year":"1978"},{"key":"10.1016\/0167-9236(85)90063-6_BIB14","series-title":"Proc. Workshop on Logical Bases for Data Bases","article-title":"On Compiling Queries in Recursive First-Order Databases","author":"Henschen","year":"1982"},{"key":"10.1016\/0167-9236(85)90063-6_BIB15","series-title":"Artificial Intelligence Applications for Business","first-page":"65","article-title":"Coupling Expert Systems with Database Management Systems","author":"Jarke","year":"1984"},{"key":"10.1016\/0167-9236(85)90063-6_BIB16","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/0167-9236(85)90063-6_BIB17","series-title":"Logic as a Database Language","author":"Kowalski","year":"1981"},{"key":"10.1016\/0167-9236(85)90063-6_BIB18","series-title":"Proc. Workshop on Logical Bases for Data Bases","article-title":"Prolog and Relational Databases for Fifth Generation Computer Systems","author":"Kunifuji","year":"1982"},{"key":"10.1016\/0167-9236(85)90063-6_BIB19","series-title":"The Psychology of Computer Vision","first-page":"211","article-title":"A Framework for Representing Knowledge","author":"Minsky","year":"1975"},{"key":"10.1016\/0167-9236(85)90063-6_BIB20","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/MC.1983.1654302","article-title":"Expert Computer Systems","author":"Nau","year":"1983","journal-title":"Computer"},{"key":"10.1016\/0167-9236(85)90063-6_BIB21","series-title":"Proc. IBM Scientific\/Engineering Conference","article-title":"PROBWELL \u2014 An Expert Advisor for Determining Problems with Producing Wells","author":"Olson","year":"1982"},{"key":"10.1016\/0167-9236(85)90063-6_BIB22","series-title":"A Prolog Implementation of a Large System on a Small Machine","author":"Pereira","year":"1982"},{"key":"10.1016\/0167-9236(85)90063-6_BIB23","first-page":"23","article-title":"A Machine Oriented Logic Based on the Resolution Principle","volume":"Vol. 1","author":"Robinson","year":"1965"},{"key":"10.1016\/0167-9236(85)90063-6_BIB24","series-title":"Conceptual Information Processing","author":"Schank","year":"1975"},{"key":"10.1016\/0167-9236(85)90063-6_BIB25","series-title":"Building Effective Decision Support Systems","author":"Sprague","year":"1982"},{"key":"10.1016\/0167-9236(85)90063-6_BIB26","series-title":"Proc. ACM-SIGMOD Conf.","first-page":"65","article-title":"Implementation of Integrity Constraints and Views by Query Modification","author":"Stonebraker","year":"1975"},{"key":"10.1016\/0167-9236(85)90063-6_BIB27","series-title":"Logical Basis for Data Bases","author":"Tarnlund","year":"1978"},{"key":"10.1016\/0167-9236(85)90063-6_BIB28","series-title":"Proc. Workshop on Logical Bases for Data Bases","article-title":"Deductive Power in Knowledge Management Systems: Ideas and Experiments","author":"Travis","year":"1982"},{"key":"10.1016\/0167-9236(85)90063-6_BIB29","series-title":"NYU Working Paper CRIS #50, GBA 82-26 (CR)","article-title":"How does an Expert System Get Its Data?","author":"Vassiliou","year":"1983"},{"key":"10.1016\/0167-9236(85)90063-6_BIB30","series-title":"Pattern Directed Inference Systems","year":"1979"},{"key":"10.1016\/0167-9236(85)90063-6_BIB31","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","article-title":"Prolegomena to a Theory of Mechanical Formal Reasoning","volume":"13","author":"Weyhrauch","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0167-9236(85)90063-6_BIB32","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","article-title":"Program Development by Stepwise Refinement","volume":"14","author":"Wirth","year":"1971","journal-title":"CACM"}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167923685900636?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167923685900636?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T14:58:07Z","timestamp":1552921087000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167923685900636"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,4]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1985,4]]}},"alternative-id":["0167923685900636"],"URL":"https:\/\/doi.org\/10.1016\/0167-9236(85)90063-6","relation":{},"ISSN":["0167-9236"],"issn-type":[{"value":"0167-9236","type":"print"}],"subject":[],"published":{"date-parts":[[1985,4]]}}}