{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T09:45:01Z","timestamp":1648979101199},"reference-count":56,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1990,7,1]],"date-time":"1990-07-01T00:00:00Z","timestamp":646790400000},"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":[[1990,7]]},"DOI":"10.1016\/0169-023x(90)90010-b","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T17:15:20Z","timestamp":1047662120000},"page":"139-166","source":"Crossref","is-referenced-by-count":3,"title":["Satisficing in knowledge-based systems"],"prefix":"10.1016","volume":"5","author":[{"given":"Lawrence J.","family":"Mazlack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-023X(90)90010-B_BIB1","series-title":"Systems and Computer Science","article-title":"An approach to heuristic problem-solving and theorem proving in the propositional calculus","author":"Amarel","year":"1967"},{"key":"10.1016\/0169-023X(90)90010-B_BIB2","series-title":"IJCAI Proceedings","first-page":"1035","article-title":"An investigation of oppurtunistic constraint satisfaction in space planning","author":"Baykan","year":"1987"},{"issue":"1","key":"10.1016\/0169-023X(90)90010-B_BIB3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0004-3702(79)90003-1","article-title":"The B\u2217 search algorithm: a best-first proof procedure","volume":"12","author":"Berliner","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB4","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(77)90018-2","article-title":"Gus, a frame-driven dialog system","volume":"8","author":"Bobrow","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB5","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/MC.1984.1659248","article-title":"Autonomous manufacturing: automating the job-shop","volume":"17","author":"Bourne","year":"1984","journal-title":"IEEE Computer"},{"key":"10.1016\/0169-023X(90)90010-B_BIB6","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1109\/TMMS.1970.299942","article-title":"AI in CAI: an artificial intelligence approach to computer-aided instruction","volume":"11","author":"Carbonell","year":"1970","journal-title":"IEEE Trans. Man-Machine Systems"},{"key":"10.1016\/0169-023X(90)90010-B_BIB7","series-title":"Using a case-based development approach to acquire and validate knowledge for an expert system","author":"Chadra","year":"1989"},{"key":"10.1016\/0169-023X(90)90010-B_BIB8","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0004-3702(71)90006-3","article-title":"An admissible and optimal algorithm for searching AND\/OR graph","volume":"2","author":"Chang","year":"1970","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB9","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1145\/322358.322360","article-title":"Bidirectional search again","volume":"30","author":"De Champeaux","year":"1983","journal-title":"J. ACM"},{"key":"10.1016\/0169-023X(90)90010-B_BIB10","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/322003.322004","article-title":"An improved bidirectional heuristic search algorithm","volume":"24","author":"De Champeaux","year":"1977","journal-title":"J. ACM"},{"key":"10.1016\/0169-023X(90)90010-B_BIB11","series-title":"Proceedings Royal Society of London, Series A","first-page":"235","article-title":"Experiments with the graph traverser program","author":"Doran","year":"1966"},{"key":"10.1016\/0169-023X(90)90010-B_BIB12","first-page":"105","article-title":"An approach to automatic problem solving","volume":"1","author":"Doran","year":"1968","journal-title":"Mach. Intell."},{"key":"10.1016\/0169-023X(90)90010-B_BIB13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB14","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0004-3702(74)90014-9","article-title":"The heuristic search under conditions of error","volume":"5","author":"Harris","year":"1974","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB15","series-title":"IJCAI Proceedings","first-page":"27","article-title":"Focus on attention in the HEARSAAY-II speech understanding system","author":"Hayes-Roth","year":"1977"},{"key":"10.1016\/0169-023X(90)90010-B_BIB16","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1207\/s15516709cog0304_1","article-title":"A cognitive model of planning","volume":"3","author":"Hayes-Roth","year":"1979","journal-title":"Cognitive Sci."},{"key":"10.1016\/0169-023X(90)90010-B_BIB17","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0004-3702(85)90063-3","article-title":"A blackboard architecture for control","volume":"26","author":"Hayes-Roth","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB18","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/MC.1984.1659242","article-title":"The knowledge-based system: a tutorial","volume":"17","author":"Hayes-Roth","year":"1984","journal-title":"IEEE Computer"},{"key":"10.1016\/0169-023X(90)90010-B_BIB19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0004-3702(75)90019-3","article-title":"An analysis of alpha-beta pruning","volume":"6","author":"Knuth","year":"1975","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/0169-023X(90)90010-B_BIB20","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(85)90012-8","article-title":"Macro-operators: a weak method for learning","volume":"6","author":"Korf","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB21","first-page":"167","article-title":"AND\/OR graph, theorem-proving graphs, and bidirectional search","volume":"7","author":"Kowalski","year":"1972","journal-title":"Machine Intell."},{"key":"10.1016\/0169-023X(90)90010-B_BIB22","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1287\/opre.14.4.699","article-title":"Branch and bound methods: a survey","volume":"14","author":"Lawler","year":"1966","journal-title":"Oper. Res."},{"key":"10.1016\/0169-023X(90)90010-B_BIB23","first-page":"1","article-title":"Additive AND\/OR graph","author":"Martelli","year":"1973","journal-title":"IJCAI-3"},{"key":"10.1016\/0169-023X(90)90010-B_BIB24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(77)90002-9","article-title":"On the complexity of admissible search algorithm","volume":"8","author":"Martelli","year":"1977","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/0169-023X(90)90010-B_BIB25","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(76)90019-9","article-title":"Computer construction of crossword puzzles using precedence relationships","volume":"5","author":"Mazlack","year":"1976","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB26","doi-asserted-by":"crossref","unstructured":"L.J. Mazlack, A multi-threshold, internal rule representation form used to support user modifiable knowledge based systems, Data & Knowledge Engrg 1 (4) 327\u2013336.","DOI":"10.1016\/0169-023X(85)90004-7"},{"key":"10.1016\/0169-023X(90)90010-B_BIB27","series-title":"IAMM Proceedings","article-title":"Loan officer: a knowledge-based system designed as an advisor to a commercial loan officer","author":"Mazlack","year":"1989"},{"issue":"3","key":"10.1016\/0169-023X(90)90010-B_BIB28","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0004-3702(88)90019-7","article-title":"Conspiracy numbers for min-max search","volume":"35","author":"McAllester","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB29","first-page":"135","article-title":"Strategy building with the graph traverser","volume":"1","author":"Michie","year":"1967","journal-title":"Mach. Intell."},{"key":"10.1016\/0169-023X(90)90010-B_BIB30","first-page":"301","article-title":"Experiment with the adaptive graph traverser","volume":"5","author":"Michie","year":"1970","journal-title":"Mach. Intell."},{"key":"10.1016\/0169-023X(90)90010-B_BIB31","unstructured":"M. Mizumoto, Fuzzy inference using MAX \u2014 a comparison in the compositional role of inference, Approximate reasoning in decision analysis (North-Holland) 67\u201376."},{"key":"10.1016\/0169-023X(90)90010-B_BIB32","first-page":"279","article-title":"GPS: a program that simulates huma thought","author":"Newell","year":"1963","journal-title":"Comput. & Thought"},{"key":"10.1016\/0169-023X(90)90010-B_BIB33","first-page":"62","article-title":"Searching problem-solving and game playing trees for minimal cost solutions","author":"Nilsson","year":"1969","journal-title":"Inform. Process."},{"key":"10.1016\/0169-023X(90)90010-B_BIB34","first-page":"72","article-title":"Principles of Artificial Intelligence","author":"Nilsson","year":"1980"},{"key":"10.1016\/0169-023X(90)90010-B_BIB35","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1111\/j.1540-5915.1987.tb01534.x","article-title":"Two design principles for knowledge-based systems","volume":"18","author":"Ow","year":"1987","journal-title":"Decis. Sci."},{"key":"10.1016\/0169-023X(90)90010-B_BIB36","series-title":"AAAI Proceedings","article-title":"Reverend bayes on inference engines: a distributed hierarchical approach","author":"Pearl","year":"1982"},{"key":"10.1016\/0169-023X(90)90010-B_BIB37","series-title":"Heuristics","author":"Pearl","year":"1984"},{"key":"10.1016\/0169-023X(90)90010-B_BIB38","first-page":"183","article-title":"Operations Research","author":"Phillips","year":"1976"},{"key":"10.1016\/0169-023X(90)90010-B_BIB39","article-title":"Bidirectional and heuristic search in path problems","author":"Pohl","year":"1969","journal-title":"SLAC Report No. 104"},{"key":"10.1016\/0169-023X(90)90010-B_BIB40","first-page":"219","article-title":"First results on the effect of error in heuristic search","volume":"5","author":"Pohl","year":"1970","journal-title":"Mach. Intell."},{"key":"10.1016\/0169-023X(90)90010-B_BIB41","first-page":"127","article-title":"Bi-directional search","volume":"6","author":"Pohl","year":"1971","journal-title":"Mach. Intell."},{"key":"10.1016\/0169-023X(90)90010-B_BIB42","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1145\/321479.321487","article-title":"A formal deductive problem solving system","volume":"15","author":"Quinlan","year":"1968","journal-title":"J. ACM"},{"key":"10.1016\/0169-023X(90)90010-B_BIB43","first-page":"33","article-title":"SIR: a computer program for semantic information retrieval","author":"Raphael","year":"1968"},{"key":"10.1016\/0169-023X(90)90010-B_BIB44","first-page":"94","article-title":"Artificial Intelligence","author":"Rich","year":"1983"},{"issue":"1","key":"10.1016\/0169-023X(90)90010-B_BIB45","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90004-X","article-title":"Game tree searching by min\/max approximation","volume":"34","author":"Rivest","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB46","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","article-title":"Planning in a hierarchy of abstraction spaces","volume":"5","author":"Sacerdoti","year":"1974","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB47","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1147\/rd.116.0601","article-title":"Some studies in machine learning using the game of checkers","volume":"11","author":"Samuel","year":"1967","journal-title":"IBM J. Res. Develop."},{"key":"10.1016\/0169-023X(90)90010-B_BIB48","first-page":"64","article-title":"Systems Simulation (The Art And Science)","author":"Shannon","year":"1975"},{"key":"10.1016\/0169-023X(90)90010-B_BIB49","series-title":"Computer Based Medical Consultations: MYCIN","author":"Shortliffe","year":"1976"},{"key":"10.1016\/0169-023X(90)90010-B_BIB50","first-page":"364","article-title":"Experiments with a multipurpose theorem proving heuristic program","volume":"16","author":"Slagle","year":"1968","journal-title":"J. ACM"},{"key":"10.1016\/0169-023X(90)90010-B_BIB51","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(78)90013-9","article-title":"Inferring DNA structures from segmentation data","volume":"11","author":"Stefik","year":"1978","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB52","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0004-3702(81)90007-2","article-title":"Planning with constraints (MOLGEN: Part I)","volume":"16","author":"Stefik","year":"1981","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB53","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0004-3702(81)90008-4","article-title":"Planning and meta-planning (MOLGEN: Part II)","volume":"16","author":"Stefik","year":"1981","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB54","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/S0020-7373(85)80003-1","article-title":"Experimental investigations of uncertainty in a rule-based system for information retrieval","volume":"22","author":"Tong","year":"1985","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1016\/0169-023X(90)90010-B_BIB55","first-page":"149","article-title":"A theory of approximate reasoning","volume":"9","author":"Zadeh","year":"1979","journal-title":"Machine Intelligence"},{"key":"10.1016\/0169-023X(90)90010-B_BIB56","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0165-0114(83)80081-5","article-title":"The role of fuzzy logic in the management of uncertainty in knowledge-based systems","volume":"11","author":"Zadeh","year":"1983","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9090010B?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9090010B?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T23:36:31Z","timestamp":1584488191000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X9090010B"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,7]]},"references-count":56,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,7]]}},"alternative-id":["0169023X9090010B"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(90)90010-b","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1990,7]]}}}