{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T23:03:25Z","timestamp":1775084605649,"version":"3.50.1"},"reference-count":80,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":6233,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1016\/0004-3702(95)00040-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:20:41Z","timestamp":1027596041000},"page":"177-208","source":"Crossref","is-referenced-by-count":40,"title":["PALO: a probabilistic hill-climbing algorithm"],"prefix":"10.1016","volume":"84","author":[{"given":"Russell","family":"Greiner","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(95)00040-2_BIB1","series-title":"Proceedings 33rd Annual IEEE Symposium on Foundations of Computer Science","first-page":"14","article-title":"Proof verification and hardness of approximation problems","author":"Arora","year":"1992"},{"key":"10.1016\/0004-3702(95)00040-2_BIB2","series-title":"Proceedings Twelfth International Conference on Machine Learning","article-title":"Theory and applications of agnoistic PAC-learning with small decision trees","author":"Auer","year":"1995"},{"key":"10.1016\/0004-3702(95)00040-2_BIB3","author":"Berry","year":"1985"},{"key":"10.1016\/0004-3702(95)00040-2_BIB4","article-title":"Solving time dependent planning problems","author":"Boddy","year":"1988"},{"key":"10.1016\/0004-3702(95)00040-2_BIB5","author":"Bollob\u00e1s","year":"1985"},{"key":"10.1016\/0004-3702(95)00040-2_BIB6","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(89)90050-7","article-title":"Classifier systems and genetic algorithms","volume":"40","author":"Booker","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB7","series-title":"Proceedings KR-89","first-page":"33","article-title":"Hierarchical knowledge bases and efficient disjunctive reasoning","author":"Borgida","year":"1989"},{"key":"10.1016\/0004-3702(95)00040-2_BIB8","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF01531068","article-title":"Polynomial-time inference of all valid implications for Horn and related formulae","volume":"1","author":"Boros","year":"1990","journal-title":"Ann. Math. Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB9","series-title":"Proceedings IJCAI-89","first-page":"1043","article-title":"Preferred subtheories: an extended logical framework for default reasoning","author":"Brewka","year":"1989"},{"key":"10.1016\/0004-3702(95)00040-2_BIB10","series-title":"Proceedings Eleventh International Conference on Machine Learning","first-page":"28","article-title":"Greedy attribute selection","author":"Caruana","year":"1994"},{"key":"10.1016\/0004-3702(95)00040-2_BIB11","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1214\/aoms\/1177729330","article-title":"A measure of asymptotic efficiency for tests of a hypothesis based on the sums of observations","volume":"23","author":"Chernoff","year":"1952","journal-title":"Ann. Math. Stat."},{"key":"10.1016\/0004-3702(95)00040-2_BIB12","author":"Clocksin","year":"1981"},{"key":"10.1016\/0004-3702(95)00040-2_BIB13","series-title":"Proceeding AAAI-90","article-title":"Learning from textbook knowledge: a case study","author":"Cohen","year":"1990"},{"key":"10.1016\/0004-3702(95)00040-2_BIB14","series-title":"Proceedings 3rd ACM Symposium on the Theory of Computing","first-page":"151","article-title":"The complexity of theorem-proving procedures","author":"Cook","year":"1971"},{"key":"10.1016\/0004-3702(95)00040-2_BIB15","series-title":"Proceedings Ninth Biennial Conference of the Canadian Society for Computational Studies of Intelligence","article-title":"Tractable approximate deduction using limited vocabulary","author":"Dalal","year":"1992"},{"key":"10.1016\/0004-3702(95)00040-2_BIB16","series-title":"Proceedings AAAI-88","first-page":"49","article-title":"An analysis of time-dependent planning","author":"Dean","year":"1988"},{"key":"10.1016\/0004-3702(95)00040-2_BIB17","series-title":"Proceedings AAAI Workshop on Explanation-Based Learning","year":"1988"},{"key":"10.1016\/0004-3702(95)00040-2_BIB18","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","article-title":"Linear time algorithms for testing the satisfiability of propositional Horn formula","volume":"3","author":"Dowling","year":"1984","journal-title":"J. Logic Program."},{"key":"10.1016\/0004-3702(95)00040-2_BIB19","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0004-3702(91)90029-J","article-title":"Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services","volume":"48","author":"Doyle","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB20","series-title":"Proceedings IJCAI-89","first-page":"1146","author":"Etherington","year":"1989"},{"key":"10.1016\/0004-3702(95)00040-2_BIB21","series-title":"Proceedings KR-89","article-title":"Tractable decision-analytic control","author":"Etzioni","year":"1989"},{"key":"10.1016\/0004-3702(95)00040-2_BIB22","series-title":"Proceedings Twelfth International Conference on Machine Learning","article-title":"A quantitative study of hypothesis selection","author":"Fong","year":"1995"},{"key":"10.1016\/0004-3702(95)00040-2_BIB23","author":"Garey","year":"1979"},{"key":"10.1016\/0004-3702(95)00040-2_BIB24","author":"Genesereth","year":"1987"},{"key":"10.1016\/0004-3702(95)00040-2_BIB25","series-title":"Proceedings 4th Workshop on Automated Deduction","first-page":"1","article-title":"An average case complexity analysis of the satisfiability problem","author":"Goldberg","year":"1979"},{"key":"10.1016\/0004-3702(95)00040-2_BIB26","series-title":"Foundations of Statistical Inference","article-title":"Twenty-seven principles of rationality","author":"Good","year":"1971"},{"key":"10.1016\/0004-3702(95)00040-2_BIB27","series-title":"Proceedings AAAI-94","first-page":"576","article-title":"Improving learning performance through rational resource allocation","author":"Gratch","year":"1994"},{"key":"10.1016\/0004-3702(95)00040-2_BIB28","series-title":"Proceedings International Workshop on Machine Learning","first-page":"509","article-title":"A hybrid approach to guaranteed effective control strategies","author":"Gratch","year":"1991"},{"key":"10.1016\/0004-3702(95)00040-2_BIB29","series-title":"Proceedings AAAI-92","article-title":"COMPOSER: a probabilistic solution to the utility problem in speed-up learning","author":"Gratch","year":"1992"},{"key":"10.1016\/0004-3702(95)00040-2_BIB30","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0004-3702(91)90092-X","article-title":"Finding the optimal derivation strategy in a redundant knowledge base","volume":"50","author":"Greiner","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB31","article-title":"PALO algorithms","author":"Greiner","year":"1993"},{"key":"10.1016\/0004-3702(95)00040-2_BIB32","series-title":"Proceedings Twelfth International Conference on Machine Learning","article-title":"The challenge of revising impure theories","author":"Greiner","year":"1995"},{"key":"10.1016\/0004-3702(95)00040-2_BIB33","series-title":"Proceedings IJCAI-95","article-title":"The complexity of theory revision","author":"Greiner","year":"1995"},{"key":"10.1016\/0004-3702(95)00040-2_BIB34","series-title":"Proceedings IJCAI-91","first-page":"518","article-title":"Measuring and improving the effectiveness of representations","author":"Greiner","year":"1991"},{"key":"10.1016\/0004-3702(95)00040-2_BIB35","series-title":"Special Issue on Learning Approaches to Autonomous Robots Control","first-page":"437","article-title":"Learning to select useful landmarks","volume":"26","author":"Greiner","year":"1996"},{"key":"10.1016\/0004-3702(95)00040-2_BIB36","series-title":"Proceedings AAAI-92","article-title":"A statistical approach to solving the EBL utility problem","author":"Greiner","year":"1992"},{"key":"10.1016\/0004-3702(95)00040-2_BIB37","series-title":"Proceedings KR-91","article-title":"Probably approximately optimal derivation strategies","author":"Greiner","year":"1991"},{"key":"10.1016\/0004-3702(95)00040-2_BIB38","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(95)00010-0","article-title":"Probably approximately optimal satisficing strategies","volume":"82","author":"Greiner","year":"1996","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB39","series-title":"Proceedings KR-92","article-title":"Learning useful Horn approximations","author":"Greiner","year":"1992"},{"key":"10.1016\/0004-3702(95)00040-2_BIB40","series-title":"Proceedings KR-91","first-page":"289","article-title":"Generalizing prioritization","author":"Grosof","year":"1991"},{"key":"10.1016\/0004-3702(95)00040-2_BIB41","series-title":"Proceedings AAAI-86","first-page":"328","article-title":"Default reasoning, nonmonotonic logics, and the frame problem","author":"Hanks","year":"1986"},{"key":"10.1016\/0004-3702(95)00040-2_BIB42","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0004-3702(88)90002-1","article-title":"Quantifying inductive bias: AI learning algorithms and Valiant's learning framework","volume":"36","author":"Haussler","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB43","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0890-5401(92)90010-D","article-title":"Decision theoretic generalizations of the PAC model for neural net and other learning applications","volume":"100","author":"Haussler","year":"1992","journal-title":"Inf. Comput."},{"key":"10.1016\/0004-3702(95)00040-2_BIB44","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0004-3702(89)90049-0","article-title":"Connectionist learning procedures","volume":"40","author":"Hinton","year":"1989","journal-title":"Artif. Intell."},{"issue":"301","key":"10.1016\/0004-3702(95)00040-2_BIB45","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1080\/01621459.1963.10500830","article-title":"Probability inequalities for sums of bounded random variables","volume":"58","author":"Hoeffding","year":"1963","journal-title":"J. Am. Stat. Assoc."},{"key":"10.1016\/0004-3702(95)00040-2_BIB46","article-title":"Reasoning about beliefs and actions under computational resource constraints","volume":"3","author":"Horovitz","year":"1987"},{"key":"10.1016\/0004-3702(95)00040-2_BIB47","series-title":"Proceedings IJCAI-87","first-page":"997","article-title":"Domain abstraction and limited reasoning","author":"Imielinski","year":"1987"},{"key":"10.1016\/0004-3702(95)00040-2_BIB48","series-title":"Proceedings Eleventh International Conference on Machine Learning","first-page":"121","article-title":"Irrelevant features and the subset selection problem","author":"John","year":"1994"},{"key":"10.1016\/0004-3702(95)00040-2_BIB49","article-title":"Query optimization for knowledge base management systems; a machine learning approach","author":"Juri\u0161ica","year":"1992"},{"key":"10.1016\/0004-3702(95)00040-2_BIB50","author":"Kaelbling","year":"1993"},{"key":"10.1016\/0004-3702(95)00040-2_BIB51","series-title":"Proceedings AAAI-92","article-title":"Speeding inference by acquiring new concepts","author":"Kautz","year":"1992"},{"key":"10.1016\/0004-3702(95)00040-2_BIB52","series-title":"Proceedings AAAI-87","first-page":"482","article-title":"Defining operationality for explanation-based learning","author":"Keller","year":"1987"},{"key":"10.1016\/0004-3702(95)00040-2_BIB53","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","article-title":"Optimization by simulated annealing","volume":"220","author":"Kirkpatrick","year":"1983","journal-title":"Science"},{"key":"10.1016\/0004-3702(95)00040-2_BIB54","article-title":"The reference class","volume":"50","author":"Kyburg","year":"1982","journal-title":"Philos. Sci."},{"key":"10.1016\/0004-3702(95)00040-2_BIB55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","article-title":"SOAR: an architecture of general intelligence","volume":"33","author":"Laird","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB56","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(86)90068-8","article-title":"Making believers out of computers","volume":"30","author":"Levesque","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB57","series-title":"Proceedings AAAI Workshop on Uncertainty","article-title":"Computing reference classes","author":"Loui","year":"1988"},{"key":"10.1016\/0004-3702(95)00040-2_BIB58","article-title":"Hoeffding races: accelerating model selection search for classification and function approximation","volume":"6","author":"Maron","year":"1994"},{"key":"10.1016\/0004-3702(95)00040-2_BIB59","author":"Minton","year":"1988"},{"key":"10.1016\/0004-3702(95)00040-2_BIB60","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(89)90047-7","article-title":"Explanation-based learning: a problem solving perspective","volume":"40","author":"Minton","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB61","article-title":"The need for bias in learning generalizations","author":"Mitchell","year":"1980"},{"key":"10.1016\/0004-3702(95)00040-2_BIB62","series-title":"Proceedings IJCAI-85","first-page":"573","article-title":"LEAP: a learning apprentice for VLSI design","author":"Mitchell","year":"1985"},{"key":"10.1016\/0004-3702(95)00040-2_BIB63","series-title":"Proceedings AAAI-87","first-page":"437","article-title":"Curing anomalous extensions","author":"Morris","year":"1987"},{"key":"10.1016\/0004-3702(95)00040-2_BIB64","author":"Narendra","year":"1989"},{"key":"10.1016\/0004-3702(95)00040-2_BIB65","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(94)90028-0","article-title":"Theory refinement combining analytical and empirical methods","volume":"66","author":"Ourston","year":"1994","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB66","series-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","first-page":"331","article-title":"Theorist: a logical reasoning system for default and diagnosis","author":"Poole","year":"1987"},{"key":"10.1016\/0004-3702(95)00040-2_BIB67","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"193","article-title":"On the declarative semantics of stratified deductive databases and logic programs","author":"Przymusi\u0144ski","year":"1987"},{"key":"10.1016\/0004-3702(95)00040-2_BIB68","author":"Quinlan","year":"1993"},{"key":"10.1016\/0004-3702(95)00040-2_BIB69","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1146\/annurev.cs.02.060187.001051","article-title":"Nonmonotonic reasoning","volume":"2","author":"Reiter","year":"1987","journal-title":"Ann. Rev. Comput. Sci."},{"key":"10.1016\/0004-3702(95)00040-2_BIB70","series-title":"Proceedings IJCAI-93","article-title":"Provably bounded optimal agents","author":"Russell","year":"1993"},{"key":"10.1016\/0004-3702(95)00040-2_BIB71","series-title":"Proceedings AAAI-87","first-page":"505","article-title":"A declarative approach to bias in concept learning","author":"Russell","year":"1987"},{"key":"10.1016\/0004-3702(95)00040-2_BIB72","series-title":"Proceedings AAAI-91","first-page":"904","article-title":"Knowledge compilation using Horn approximations","author":"Selman","year":"1991"},{"key":"10.1016\/0004-3702(95)00040-2_BIB73","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/0004-3702(89)90016-7","article-title":"Default reasoning in semantic networks: a formalization of recognition and inheritance","volume":"39","author":"Shastri","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB74","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(75)90002-8","article-title":"Optimal problem-solving search: all-or-none solutions","volume":"6","author":"Simon","year":"1975","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB75","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0004-3702(89)90025-8","article-title":"Controlling backward inference","volume":"39","author":"Smith","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(95)00040-2_BIB76","series-title":"Special Issue on Reinforcement Learning","volume":"8","year":"1992"},{"key":"10.1016\/0004-3702(95)00040-2_BIB77","article-title":"Shift of bias for inductive concept learning","author":"Utgoff","year":"1984"},{"key":"10.1016\/0004-3702(95)00040-2_BIB78","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","article-title":"A theory of the learnable","volume":"27","author":"Valiant","year":"1984","journal-title":"Commun. ACM"},{"key":"10.1016\/0004-3702(95)00040-2_BIB79","series-title":"Proceedings Ninth Biennial Conference of the Canadian Society for Computational Studies of Intelligence","first-page":"77","article-title":"Nested default reasoning with priority levels","author":"van Arragon","year":"1990"},{"key":"10.1016\/0004-3702(95)00040-2_BIB80","author":"Vapnik","year":"1982"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370295000402?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370295000402?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:58:47Z","timestamp":1556755127000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370295000402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":80,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["0004370295000402"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(95)00040-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}