@comment(Begin Group1: Cited in EBL Survey) @comment(Begin Group 1a: Cited checked "carefully".) @techreport(MITCHELL-COMBINING, author = "Mitchell, T. M.", key = "Mitchell", year = 1982, title = "Toward Combining Empirical and Analytical Methods for Inferring Heuristics", institution = "Department of Computer Science, Rutgers University", address = "New Brunswick, NJ", number = "LCSR-TR-27") @techreport(MITCHELL-BIAS, author = "Mitchell, T. M.", key = "Mitchell", year = 1980, title = "The Need for Biases in Learning Generalizations", institution = "Department of Computer Science, Rutgers University", address = "New Brunswick, NJ", number = "CBM-TR-117") @inbook(ROSENBLOOM-ML2-BOOK, author = "Rosenbloom, P. S. and Newell, A.", key = "Rosenbloom and Newell", year = 1986, title = "The Chunking of Goal Hierarchies: A Generalized Model of Practice", pages = "247 - 288", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @techreport(ROSENBLOOM-THESIS, author = "Rosenbloom, P. S.", key = "Rosenbloom", year = 1983, title = "The Chunking of Goal Hierarchies: A Model of Practice and Stimulus-Response Compatibility", institution = "Carnegie-Mellon University, Department of Computer Science", address = "Pittsburgh, PA", note = "PhD Thesis.", number = "CMU-TR-83-148") @inbook(DEJONG-ML2-BOOK, author = "DeJong, G.", key = "DeJong", year = 1986, title = "An Approach to Learning from Observation", pages = "571 - 590", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @inbook(UTGOFF-ML2-BOOK, author = "Utgoff, P. E.", key = "Utgoff", year = 1986, title = "Shift of Bias for Inductive Concept Learning", pages = "107-148", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @inbook(WALDINGER-REGRESSION, author = "Waldinger, R.", key = "Waldinger", year = 1977, title = "Achieving Several Goals Simultaneously", editor = "E. Elcock and D. Michie", booktitle = "Machine Intelligence 8", publisher = "Ellis Horwood, Limited", address = "London") @techreport(KELLER-THESIS, author = "Keller, R. M.", key = "Keller", year = 1987, title = "The Role of Explicit Contextual Knowledge in Learning Concepts to Improve Performance", institution = "Department of Computer Science, Rutgers University", address = "New Brunswick, NJ", note = "PhD Thesis.", number = "ML-TR-7") @techreport(MINTON-THESIS, author = "Minton, S.", key = "Minton", year = 1988, title = "Learning Effective Search Control Knowledge: An Explanation-Based Approach", institution = "Department of Computer Science, Carnegie-Mellon University ", address = "Pittsburgh, PA", note = "PhD Thesis.", number = "CMU-CS-88-133") @inproceedings(RUSSELL-AAAI86, author = "Russell, S. J.", key = "Russell", year = 1986, title = "Preliminary Steps Toward the Automation of Induction", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", pages = "477-484", address = "Philadelphia, PA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(MOONEY-AAAI86, author = "Mooney, R. J. and Bennett, S. W.", key = "Mooney and Bennett", year = 1986, title = "A Domain Independent Explanation-Based Generalizer", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", pages = "551-555", address = "Philadelphia, PA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(DAVIES-DETERMINATION, author = "Davies, T. R. and Russell, S. J.", key = "Davies and Russell", year = 1987, title = "A Logical Approach to Reasoning by Analogy", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", pages = "264-270", address = "Milan, Italy", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(MOSTOW-AAAI83, author = "Mostow, J.", key = "Mostow", year = 1983, title = "A Problem Solver for Making Advice Operational", booktitle = "Proceedings of the National Conference on Artificial Intelligence", pages = "279-283", address = "Washington, DC", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(KELLER-AAAI83, author = "Keller, R. M.", key = "Keller", year = 1983, title = "Learning by Re-expressing Concepts for Efficient Recognition", booktitle = "Proceedings of the National Conference on Artificial Intelligence", pages = "182-186", address = "Washington, DC", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @article(LANGLEY-TERMS, author = "Langley, P.", key = "Langley", year = 1986, title = "The Terminology of Machine Learning", pages = "141 - 144", journal = "Machine Learning", volume = 1, number = 2) @article(LEBOWITZ-EBL-UNIMEM-CSJ, author = "Lebowitz, M.", key = "Lebowitz", year = 1986, title = "Integrated learning: Controlling explanation", journal = "Cognitive Science", pages = "219 - 240", number = 2, volume = 10) @article(MITCHELL-MLJ-VIEW, author = "Mitchell, T. M., Keller, R. M. and Kedar-Cabelli, S. T.", key = "Mitchell et al.", year = 1986, title = "Explanation-Based Learning: A Unifying View", pages = "47 - 80", journal = "Machine Learning", volume = 1, number = 1) @article(DEJONG-MLJ-VIEW, author = "DeJong, G. and Mooney, R.", key = "DeJong and Mooney", year = 1986, title = "Explanation-Based Learning: An Alternative View", pages = "145 - 176", journal = "Machine Learning", volume = 1, number = 2) @article(DIETTERICH-MLJ-LEVEL, author = "Dietterich, T. G.", key = "Dietterich", year = 1986, title = "Learning at the Knowledge Level", pages = "287 - 315", journal = "Machine Learning", volume = 1, number = 3) @inproceedings(MITCHELL-CAT, author = "Mitchell, T. M.", key = "Mitchell", year = 1983, title = "Learning and Problem Solving", booktitle = "Proceedings of the Eighth International Joint Conference on Artificial Intelligence", address = "Karlsruhe, West Germany", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(MITCHELL-ML2-PROC, author = "Mitchell, T. M. and Keller, R. M.", key = "Mitchell and Keller", year = 1983, title = "Goal Directed Learning", booktitle = "Proceedings of the International Machine Learning Workshop", publisher = "University of Illinois, Department of Computer Science", address = "Champaign-Urbana, IL") @inproceedings(MOSTOW-ML2-PROC, author = "Mostow, J.", key = "Mostow", year = 1983, title = "Operationalizing Advice: A Problem-Solving Model", booktitle = "Proceedings of the International Machine Learning Workshop", publisher = "University of Illinois, Department of Computer Science", address = "Champaign-Urbana, IL") @book(NILSSON-PRINCIPLES, author = "Nilsson, N. J.", key = "Nilsson", year = 1980, title = "Principles of Artificial Intelligence", publisher = "Tioga Publishing Company", address = "Palo Alto, CA") @inbook(WINSTON-ARCH, author = "Winston, P. H.", key = "Winston", year = 1972, title = "Learning Structural Descriptions From Examples", editor = "P. H. Winston", booktitle = "The Psychology of Computer Vision", publisher = "McGraw-Hill", address = "New York, NY") @article(MICHALSKI-IEEE, author = "Michalski, R. S.", key = "Michalski", year = 1980, volume = 2, number = 4, pages = "349 - 361", title = "Pattern Recognition as Rule-Guided Inductive Inference", journal = "IEEE Transactions on Pattern Analysis and Machine Intelligence") @article(IPP-COGSCI, author = "Lebowitz, M.", key = "Lebowitz", year = 1983, title = "Generalization from Natural Language Text", journal = "Cognitive Science", pages = "1 - 40", number = 1, volume = 7) @article(ANGLUIN, author = "Angluin, D. and Smith, C. H.", key = "Angluin and Smith", year = 1983, volume = 15, number = 3, pages = "237 - 269", title = "Inductive Inference: Theory and Methods", journal = "Computing Surveys") @book(HAI, author = "Barr, A., Cohen, P. R. and Feigenbaum, E. A. (Eds.).", key = "Barr et al.", year = 1982, title = "The Handbook of Artificial Intelligence, Volumes 1 - 3", publisher = "William Kaufmann, Inc.", address = "Los Altos, CA") @book(HAI-1, author = "Barr, A. and Feigenbaum, E. A. (Eds.).", key = "Barr and Feigenbaum", year = 1982, title = "The Handbook of Artificial Intelligence, Volume 1", publisher = "William Kaufmann, Inc.", address = "Los Altos, CA") @book(HAI-2, author = "Barr, A. and Feigenbaum, E. A. (Eds.).", key = "Barr and Feigenbaum", year = 1982, title = "The Handbook of Artificial Intelligence, Volume 2", publisher = "William Kaufmann, Inc.", address = "Los Altos, CA") @book(HAI-3, author = "Cohen, P. R. and Feigenbaum, E. A. (Eds.).", key = "Cohen and Feigenbaum", year = 1982, title = "The Handbook of Artificial Intelligence, Volume 3", publisher = "William Kaufmann, Inc.", address = "Los Altos, CA") @article(MICHALSKI-THEORY, author = "Michalski, R. S.", key = "Michalski", year = 1983, title = "A Theory and Methodology of Inductive Learning", pages = "111 - 161", journal = "Artificial Intelligence", volume = 20) @article(MITCHELL-GEN-SEARCH, author = "Mitchell, T. M.", key = "Mitchell", year = 1982, title = "Generalization as Search", pages = "203 - 226", journal = "Artificial Intelligence", volume = 18) @book(ML1-BOOK, author = "Michalski, R. S., Carbonell, J. G. and Mitchell, T. M., eds.", key = "Michalski et al.", year = 1983, title = "Machine Learning, An Artificial Intelligence Approach", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @inbook(META-DENDRAL, author = "Buchanan, B. G. and Mitchell, T. M.", key = "Buchanan and Mitchell", title = "Model-Directed Learning of Production Rules", editor = "D. A. Waterman and F. Hayes-Roth", year = 1978, pages = "297 - 312", booktitle = "Pattern-Directed Inference Systems", publisher = "Academic Press", address = "New York, NY") @book(ANDERSON-ARCH, author = "Anderson, J. R.", key = "Anderson", year = 1983, title = "The Architecture of Cognition", publisher = "Harvard University Press", address = "Cambridge, MA") @inbook(ANDERSON-ML1-BOOK, author = "Anderson, J. R.", key = "Anderson", year = 1983, title = "Acquisition of Proof Skills in Geometry", pages = "191 - 219", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @inbook(ANDERSON-ML2-BOOK, author = "Anderson, J. R.", key = "Anderson", year = 1986, title = "Knowledge Compilation: The General Learning Mechanism", pages = "289 - 310", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @inbook(MOSTOW-ML1-BOOK, author = "Mostow, D. J.", key = "Mostow", year = 1983, title = "Machine Transformation of Advice into a Heuristic Search Procedure", pages = "367 - 403", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @book(MANO, author = "Mano, M. M.", key = "Mano", year = 1976, title = "Computer System Architecture", publisher = "Prentice-Hall", address = "Englewood Cliffs, NJ") @book(HOYLE, author = "Gibson, W. B.", key = "Gibson", year = 1974, title = "Hoyle's Modern Encyclopedia of Card Games", publisher = "Doubleday and Company.", address = "Garden City, NY") @book(ML2-BOOK, author = "Michalski, R. S., Carbonell, J. G. and Mitchell, T. M. (Eds.).", key = "Michalski et al.", year = 1986, title = "Machine Learning, An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @techreport(MITCHELL-VS, author = "Mitchell, T. M.", key = "Mitchell", year = 1978, title = "Version Spaces: An Approach to Concept Learning", institution = "Stanford University", address = "Palo Alto, CA", number = "HPP-79-2") @inbook(CARBONELL-ML2-BOOK, author = "Carbonell, J. G.", key = "Carbonell", year = 1986, title = "Derivational Analogy: A Theory of Reconstructive Problem Solving and Expertise Acquisition", pages = "371 - 392", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @techreport(AHN-HUMANS, author = "Ahn, W., Mooney, R. J., Brewer, W. F. and DeJong, G. F.", key = "Ahn et al.", year = 1987, title = "Schema Acquisition from One Example: Psychological Evidence for Explanation-Based Learning", institution = "University of Illinois, Coordinated Science Laboratory", address = "Urbana-Champaign, IL", number = "UILU-ENG-87-2231") @article(DIETTERICH-STRUCTURAL, author = "Dietterich, T. G. and Michalski, R. S.", key = "Dietterich and Michalski", year = 1981, title = "Inductive Learning of Structural Descriptions: Evaluation Criteria and Comparative Review of Selected Methods", pages = "257 - 294", journal = "Artificial Intelligence", volume = 16) @inproceedings(RUSSELL-AAAI87, author = "Russell, S. J. and Grosof, B. N.", key = "Russell and Grosof", year = 1987, title = "A Declarative Approach to Bias in Concept Learning", booktitle = "Proceedings of the Sixth National Conference on Artificial Intelligence", address = "Seattle, WA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(DEJONG-ONETIME, author = "DeJong, G. F.", key = "DeJong", year = 1981, title = "Generalizations Based on Explanations", booktitle = "Proceedings of the Seventh International Joint Conference on Artificial Intelligence", address = "Vancouver, Canada", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(UTGOFF-AAAI82, author = "Utgoff, P. E. and Mitchell, T. M.", key = "Utgoff and Mitchell", year = 1982, title = "Acquisition of Appropriate Bias for Inductive Concept Learning", booktitle = "Proceedings of the National Conference on Artificial Intelligence", address = "Pittsburgh, PA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(CARBONELL-AAAI83, author = "Carbonell, J. G.", key = "Carbonell", year = 1983, title = "Derivational Analogy and Its Role in Problem Solving", booktitle = "Proceedings of the National Conference on Artificial Intelligence", address = "Washington, DC", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(WINSTON-AAAI83, author = "Winston, P. H., Binford, T. O., Katz, B., Lowry, M.", key = "Winston et al.", year = 1983, title = "Learning Physical Descriptions from Functional Definitions, Examples, and Precedents", booktitle = "Proceedings of the National Conference on Artificial Intelligence", address = "Washington, DC", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @article(GENTNER-MAPPING-CSJ, author = "Gentner, D.", key = "Gentner", year = 1983, title = "Structure Mapping: A Theoretical Framework for Analogy", journal = "Cognitive Science", pages = "155 - 170", volume = 7) @article(BANERJI-HOMOMORPHISM, author = "Banerji, R. B., and Ernst, G. W.", key = "Banerji and Ernst", year = 1972, title = "Strategy Construction Using Homomorphisms Between Games", pages = "223 - 249", journal = "Artificial Intelligence", volume = 3) @techreport(MOSTOW-THESIS, author = "Mostow, D. J.", key = "Mostow", year = 1981, title = "Mechanical Transformation of Task Heuristics into Operational Procedures", institution = "Carnegie-Mellon University, Department of Computer Science", address = "Pittsburgh, PA", number = "CMU-CS-81-113", note = "PhD Thesis.") @inproceedings(BALZER, author = "Balzer, R. N., Goldman, and Wile, D.", key = "Balzer et al.", year = 1976, title = "On the Transformational Implementation Approach to Programming", booktitle = "Proceedings of the 2nd International Conference on Software Engineering", pages = 337 - 343", organization = "IEEE") @inbook(MCCARTHY-ADVICE, author = "McCarthy, J.", key = "McCarthy", title = "Programs with Common Sense", editor = "Minsky, M.", year = 1968, pages = "403 - 418", booktitle = "Semantic Information Processing", publisher = "MIT Press", address = "Cambridge, MA") @phdthesis(LEWIS-COMPOSITION, author = "Lewis, C. H.", key = "Lewis", year = 1978, title = "Production System Models of Practice Effects", school = "University of Michigan", address = "Ann Arbor, MI") @inbook(NEVES-COMPOSITION, author = "Neves, D. M. and Anderson, J. R.", key = "Neves and Anderson", year = 1981, title = "Knowledge Compilation: Mechanisms for the Automatization of Cognitive Skills", editor = "J. R. Anderson", booktitle = "Cognitive Skills and their Acquisition", publisher = "Erlbaum", address = "Hillsdale, NJ") @inbook(AMAREL-MC, author = "Amarel, S.", key = "Amarel", title = "On Representations of Problems of Reasoning about Actions", editor = "Michie, D.", year = 1968, pages = "131 - 171", booktitle = "Machine Intelligence 3", publisher = "American Elsevier", address = "New York, NY") @article(FIKES-STRIPS, author = "Fikes, R. E., Hart, P. E., and Nilsson, N. J.", key = "Fikes et al.", year = 1972, title = "Learning and Executing Generalized Robot Plans", pages = "251 - 288", journal = "Artificial Intelligence", volume = 3) @article(MILLER-SEVEN, author = "Miller, G. A.", key = "Miller", year = 1956, title = "The Magic Number Seven, Plus or Minus Two: Some Limits on our Capacity for Processing Information", pages = "81 - 97", journal = "Psychological Review", volume = 63) @book(SUSSMAN-HACKER, author = "Sussman, G. J.", key = "Sussman", title = "A Computer Model of Skill Acquisition", year = 1975, publisher = "American Elsevier", address = "New York, NY") @techreport(SOLOWAY-THESIS, author = "Soloway, E. M.", key = "Soloway", year = 1978, title = "Learning = Interpretation + Generalization: A Case Study in Knowledge-Directed Learning", number = "COINS-TR-78-13", institution = "University of Massachusetts", address = "Amherst, MA", note = "PhD Thesis.") @inproceedings(VERE-BACKGROUND, author = "Vere, S. A.", key = "Vere", year = 1977, title = "Induction of Relational Productions in the Presence of Background Information", booktitle = "Proceedings of the Fifth International Joint Conference on Artificial Intelligence", address = "Cambridge, MA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inbook(STEPP-GOAL-ORIENTED, author = "Stepp, R. E., and Michalski, R. S.", key = "Stepp and Michalski", year = 1986, title = "Conceptual Clustering: Inventing Goal Oriented Classifications of Structured Objects", pages = "471 - 498", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @article(LENAT-CYC, author = "Lenat, D., Prakash, M. and Shepherd, M.", key = "Lenat et al.", year = 1986, title = "CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks.", pages = "65 - 85", journal = "AI Magazine", volume = 6, number = 4) @article(DOYLE-TMS, author = "Doyle, J.", key = "Doyle", year = 1979, title = "A Truth Maintenance System", pages = "231 - 272", journal = "Artificial Intelligence", volume = 12) @article(STALLMAN-DDB, author = "Stallman, R. M. and Sussman, G. J.", key = "Stallman and Sussman", year = 1977, title = "Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis", pages = "135 - 196", journal = "Artificial Intelligence", volume = 9) @inproceedings(NAT-FRAMEWORKS, author = "Natarajan, B. K. and Tadepalli, P.", key = "Natarajan and Tadepalli", year = 1988, title = "Two New Frameworks for Learning", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(MOONEY-IJCAI85, author = "Mooney, R. and DeJong, G.", key = "Mooney and DeJong", year = 1985, title = "Learning Schemata for Natural Language Processing", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", pages = "681-687", address = "Los Angeles, CA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(SHAVLIK-IJCAI85, author = "Shavlik, J. W.", key = "Shavlik", year = 1985, title = "Learning about Momentum Conservation", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", pages = "667-669", address = "Los Angeles, CA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inbook(SILVER-ML3-BOOK, author = "Silver, B.", key = "Silver", year = 1986, title = "Learning Control Information", editor = "T. M. Mitchell, J. G. Carbonell and R. S. Michalski", booktitle = "Machine Learning: A Guide to Current Research", publisher = "Kluwer", address = "Norwell, MA") @inbook(MOSTOW-ML3-BOOK, author = "Mostow, J.", key = "Mostow", year = 1986, title = "Why Are Design Derivations Hard to Replay?", editor = "T. M. Mitchell, J. G. Carbonell and R. S. Michalski", booktitle = "Machine Learning: A Guide to Current Research", publisher = "Kluwer", address = "Norwell, MA") @inbook(SEGRE-ML3-BOOK, author = "Segre, A. M.", key = "Segre", year = 1986, title = "Explanation-based Manipulator Learning", editor = "T. M. Mitchell, J. G. Carbonell and R. S. Michalski", booktitle = "Machine Learning: A Guide to Current Research", publisher = "Kluwer", address = "Norwell, MA") @inbook(SHAVLIK-ML3-BOOK, author = "Shavlik, J. W.", key = "Shavlik", year = 1986, title = "Learning Classical Physics", editor = "T. M. Mitchell, J. G. Carbonell and R. S. Michalski", booktitle = "Machine Learning: A Guide to Current Research", publisher = "Kluwer", address = "Norwell, MA") @inbook(ORORKE-ML3-BOOK, author = "O'Rorke, P.", key = "O'Rorke", year = 1986, title = "Recent Progress on the Mathematician's Apprentice Project", editor = "T. M. Mitchell, J. G. Carbonell and R. S. Michalski", booktitle = "Machine Learning: A Guide to Current Research", publisher = "Kluwer", address = "Norwell, MA") @inproceedings(ORORKE-AAAI84, author = "O'Rorke, P.", key = "O'Rorke", year = 1984, title = "Generalization for Explanation-based Schema Acquisition", booktitle = "Proceedings of the National Conference on Artificial Intelligence", address = "Austin, TX", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(SEGRE-IEEE, author = "Segre, A. M. and DeJong, G. F.", key = "Segre and DeJong", year = 1985, title = "Explanation-Based Manipulator Learning: Acquisition of Planning Ability Through Observation", booktitle = "Proceedings of the IEEE International Conference on Robotics and Automation", address = "Saint Louis, MO") @techreport(MOONEY-MS-THESIS, author = "Mooney, R. J.", key = "Mooney", year = 1985, title = "Generalizing Explanations of Narratives into Schemata", institution = "University of Illinois, Coordinated Science Laboratory", address "Urbana-Champaign, IL", note = "MS Thesis.", number = "T-159" ) @book(SCHANK-SPGU, author = "Schank, R. C. and Abelson, R. P.", key = "Schank and Abelson", year = 1977, title = "Scripts, Plans, Goals and Understanding: An Inquiry into Human Knowledge Structures", publisher = "Erlbaum", address = "Hillsdale, NJ") @inproceedings(MOONEY-AAAI86, author = "Mooney, R. J. and Bennett, S. W.", key = "Mooney and Bennett", year = 1986, title = "A Domain Independent Explanation-Based Generalizer", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", address = "Philadelphia, PA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @article(STEINBERG-REDESIGN, author = "Steinberg, L. I. and Mitchell, T. M.", key = "Steinberg and Mitchell", year = 1985, title = "The Redesign System: A Knowledge-Based Approach to VLSI CAD", pages = "45 - 54", volume = 2, number = 1, journal = "IEEE Design and Test of Computers") @inproceedings(MAHADEVAN-VBL, author = "Mahadevan, S.", key = "Mahadevan", year = 1985, title = "Verification-Based Learning: A Generalization Strategy for Inferring Problem-Decomposition Methods", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", address = "Los Angeles, CA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(KEDAR-CABELLI-COGSCI85, author = "Kedar-Cabelli, S. T.", key = "Kedar-Cabelli", year = 1985, title = "Purpose-directed Analogy", booktitle = "Proceedings of the Seventh Annual Conference of the Cognitive Science Society", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Irvine, CA") @inbook(MITCHELL-ML1-BOOK, author = "Mitchell, T. M., Utgoff, P. E. and Banerji, R.", key = "Mitchell et al.", year = 1983, title = "Learning by Experimentation: Acquiring and Refining Problem-Solving Heuristics", pages = "163 - 190", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @inproceedings(MITCHELL-IJCAI7, author = "Mitchell, T. M., Utgoff, P. E., Nudel, B. and Banerji, R.", key = "Mitchell et al.", year = 1981, title = "Learning Problem Solving Heuristics Through Practice", booktitle = "Proceedings of the Seventh International Joint Conference on Artificial Intelligence", address = "Vancouver, Canada", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @book(DIJKSTRA, author = "Dijkstra, E., W.", key = "Dijkstra", year = 1976, title = "A Discipline of Programming", publisher = "Prentice-Hall", address = "Englewood Cliffs, NJ") @inproceedings(MINTON-AAAI84, author = "Minton, S.", key = "Minton", year = 1984, title = "Constraint-Based Generalization: Learning Game Playing Plans from Single Examples", booktitle = "Proceedings of the National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Austin, TX") @inproceedings(ELLMAN-IJCAI85, author = "Ellman, T.", key = "Ellman", year = 1985, title = "Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Los Angeles, CA") @inproceedings(HILL-IJCAI87, author = "Hill, W. L.", key = "Hill", year = 1987, title = "Machine Learning for Software Reuse", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", address = "Milan, Italy", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @article(SOAR-MLJ, author = "Laird, J. E., Rosenbloom, P. S. and Newell, A.", key = "Laird et al.", year = 1986, title = "Chunking in SOAR: The Anatomy of a General Learning Mechanism", pages = "11 - 46", journal = "Machine Learning", volume = 1, number = 1) @article(SOAR-AIJ, author = "Laird, J. E., Newell, A. and Rosenbloom, P. S.", key = "Laird, et al.", year = 1987, title = "SOAR: Architecture for General Intelligence", pages = "1 - 64", journal = "Artificial Intelligence", volume = 33) @phdthesis(LAIRD-USG-THESIS, author = "Laird, J. E.", key = "Laird", year = 1984, title = "Universal Subgoaling", school = "Carnegie-Mellon University, Department of Computer Science", address = "Pittsburgh, PA") @inproceedings(LAIRD-UWM-IJCAI83, author = "Laird, J. E. and Newell, A.", key = "Laird and Newell", year = 1983, title = "A Universal Weak Method: Summary of Results", booktitle = "Proceedings of the Eighth International Joint Conference on Artificial Intelligence", address = "Karlsruhe, West Germany", organization = "Morgan Kaufmann", address = "Los Alto, CA") @techreport(LAIRD-UWM-TR, author = "Laird, J. and Newell, A.", key = "Laird and Newell", year = 1983, title = "A Universal Weak Method", institution = "Carnegie-Mellon University", address = "Pittsburgh, PA", number = "CMU-CS-83-141") @inbook(NEWELL-WEAK, author = "Newell, A.", key = "Newell", title = "Heuristic Programming: Ill-Structured Problems", editor = "J. Aronofsky", year = 1969, booktitle = "Progress in Operations Research, III", publisher = "Wiley", address = "New York, NY") @inbook(NEWELL-HYPOTHESIS, author = "Newell, A.", key = "Newell", title = "Reasoning, Problem Solving, and Decision Processes: The Problem Space as a Fundamental Category", editor = "R. Nickerson", year = 1980, booktitle = "Attention and Performance VIII", publisher = "Erlbaum", address = "Hillsdale, NJ") @techreport(FORGY-OPS5, author = "Forgy, C. L.", key = "Forgy", year = 1981, title = "OPS5 User's Manual", institution = "Carnegie-Mellon University", address = "Pittsburgh, PA", number = "CMU-CS-81-135") @article(KORF-MACRO, author = "Korf, R. E.", key = "Korf", year = 1985, title = "Macro Operators: A Weak Method for Learning", pages = "35 - 77", journal = "Artificial Intelligence", volume = 26) @inproceedings(SOAR-AAAI84, author = "Laird, J. E., Rosenbloom, P. S. and Newell, A.", key = "Laird et al.", year = 1984, title = "Towards Chunking as a General Learning Mechanism", booktitle = "Proceedings of the National Conference on Artificial Intelligence", address = "Austin, TX", organization = "Morgan Kaufmann", address = "Los Alto, CA") @inproceedings(SOAR-EBG, author = "Rosenbloom, P. S. and Laird, J. E.", key = "Rosenbloom and Laird", year = 1986, title = "Mapping Explanation-Based Generalization onto SOAR", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Philadelphia, PA") @inproceedings(MINTON-IJCAI87, author = "Minton, S. and Carbonell, J. G.", key = "Minton and Carbonell", year = 1987, title = "Strategies for Learning Search Control Rules: An Explanation-Based Approach", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Milan, Italy") @inproceedings(BENJAMIN-IJCAI87, author = "Benjamin, D. P.", key = "Benjamin", year = 1987, title = "Learning Strategies by Reasoning about Rules", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Milan, Italy") @inproceedings(CHENG-AAAI86, author = "Cheng, P. W. and Carbonell, J. G.", key = "Cheng and Carbonell", year = 1986, title = "The Fermi System: Inducing Iterative Macro-operators from Experience", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Philadelphia, PA") @inproceedings(DAWSON-REFLECT, author = "Dawson, C. and Siklossy, L.", key = "Dawson and Siklossy", year = 1977, title = "The Role of Preprocessing in Problem Solving Systems", booktitle = "Proceedings of the Fifth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Cambridge, MA") @inproceedings(IBA-IJCAI85, author = "Iba, G. A.", key = "Iba", year = 1985, title = "Learning by Discovering Macros in Puzzle Solving", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Los Angeles, CA") @article(BARSTOW-PHOENIX, author = "Barstow, D., R.", key = "Barstow", year = 1985, volume = 11, number = 11, pages = "1321 - 1336", title = "Domain Specific Automatic Programming", journal = "IEEE Transactions on Software Engineering") @article(SWARTOUT-AIJ, author = "Swartout, W.", key = "Swartout", year = 1983, title = "XPLAIN: A System for Creating and Explaining Expert Consulting Systems", pages = "285 - 325", journal = "Artificial Intelligence", volume = 21) @techreport(SWARTOUT-XPLAIN, author = "Swartout, W. R.", key = "Swartout", year = 1983, title = "XPLAIN: A System for Creating and Explaining Expert Consulting Programs", institution = "Information Sciences Institute", address = "Marina Del Ray, CA", number = "ISI/RS-83-4") @article(PROG-XFN-SURVEY, author = "Partsch, H. and Steinbruggen, R.", key = "Partsch and Steinbruggen", year = 1983, volume = 15, number = 3, title = "Program Transformation Systems", journal = "Computing Surveys") @inproceedings(PRIEDITIS-STNEBL, author = "Prieditis, A. E.", key = "Prieditis", year = 1988, title = "Environment-Guided Program Transformation", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @article(WINSTON-NEW-AIJ, author = "Winston, P. H.", key = "Winston", year = 1982, title = "Learning New Principles from Precedents and Exercises", pages = "321 - 350", journal = "Artificial Intelligence", volume = 19) @inproceedings(MITCHELL-REDESIGN, author = "Mitchell, T. M. et al.", key = "Mitchell et al.", year = 1983, title = "An Intelligent Aid for Circuit Redesign", booktitle = "Proceedings of the National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Washington, DC") @techreport(MOSTOW-DA-DESIGN, author = "Mostow, J.", key = "Mostow", year = 1987, title = "Design by Derivational Analogy: Issues in the Automated Replay of Design Plans", institution = "Rutgers University", address = "New Brunswick, NJ", number = "ML-TR-22") @techreport(MOSTOW-BOGART, author = "Mostow, J. and Barley, M.", key = "Mostow and Barley", year = 1987, title = "Automated Reuse of Design Plans", institution = "Rutgers University", address = "New Brunswick, NJ", number = "ML-TR-14") @techreport(HUHNS-ARGO, author = "Huhns, M. N. and Acosta, R. D.", key = "Huhns and Acosta", year = 1987, title = "Argo: An Analogical Reasoning System for Solving Design Problems", institution = "Microelectronics and Computer Technology Corporation", address = "Austin, TX", number = "AI/CAD-092-87") @book(ANALOGICA, author = "Prieditis, A. E. (Ed.)", key = "Prieditis", year = 1988, title = "Analogica", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @inbook(SILVER-ML2-BOOK, author = "Silver B.", key = "Silver", year = 1986, title = "Precondition Analysis: Learning Control Information", pages = "647 - 670", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @book(SCHANK-DM, author = "Schank, R. C.", key = "Schank", year = 1982, title = "Dynamic Memory: A Theory of Reminding and Learning in Computers and People", publisher = "Cambridge University Press", address = "New York, NY") @book(SCHANK-EXP-PATTERNS, author = "Schank, R. C.", key = "Schank", year = 1987, title = "Explanation Patterns", publisher = "Cambridge University Press", address = "New York, NY") @inproceedings(HAMMOND-AAAI86, author = "Hammond, K. J.", key = "Hammond", year = 1986, title = "Learning to Anticipate and Avoid Planning Problems through the Explanation of Failures", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Philadelphia, PA") @inproceedings(HAMMOND-ML4, author = "Hammond, K. J.", key = "Hammond", year = 1987, title = "Learning and Reusing Explanations", booktitle = "Proceedings of the Fourth International Workshop on Machine Learning", address = "Irvine, CA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(MOSTOW-ML4, author = "Mostow, J.", key = "Mostow", year = 1987, title = "Searching for Operational Concept Descriptions in BAR, MetaLEX and EBG", booktitle = "Proceedings of the Fourth International Workshop on Machine Learning", address = "Irvine, CA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(SUBRAMANIAN-STNEBL, author = "Subramanian, D. and Smith, D.", key = "Subramanian and Smith", year = 1988, title = "Knowledge Level Learning: An Alternative View", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(MINTON-IJCAI85, author = "Minton, S.", key = "Minton", year = 1985, title = "Selectively Generalizing Plans for Problem-Solving", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Los Angeles, CA") @inproceedings(MINTON-AAAI88, author = "Minton, S.", key = "Minton", year = 1988, title = "Quantitative Results Concerning the Utility of Explanation-Based Learning", booktitle = "Proceedings of the Seventh National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "St. Paul, MN") @inproceedings(MARKOVITCH-FORGETTING, author = "Markovitch, S. and Scott, P. D.", key = "Markovitch and Scott", year = 1988, title = "The Role of Forgetting in Learning", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(TAMBE-ML5, author = "Tambe, M. and Newell, A.", key = "Tambe and Newell", year = 1988, title = "Some Chunks are Expensive", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(ORORKE-ML4, author = "O'Rorke, P.", key = "O'Rorke", year = 1987, title = "LT Revisited: Experimental Results of Applying Explanation-Based Learning to the Logic of the Principia Mathematica", booktitle = "Proceedings of the Fourth International Workshop on Machine Learning", address = "Irvine, CA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(PRIEDITIS-AAAI87, author = "Prieditis, A. E. and Mostow, J.", key = "Prieditis and Mostow", year = 1987, title = "PROLEARN: Towards A Prolog Interpreter that Learns", booktitle = "Proceedings of the Sixth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Seattle, WA") @inproceedings(SILVER-STNEBL, author = "Silver, B.", key = "Silver", year = 1988, title = "A Hybrid Approach in an Imperfect Domain", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(MOSTOW-IJCAI85, author = "Mostow, J. and Cohen, D.", key = "Mostow and Cohen", year = 1985, title = "Automating Program Speedup by Deciding What to Cache", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Los Angeles, CA") @article(PORTER-EGR-MLJ, author = "Porter, B. W. and Kibler, D. F.", key = "Porter and Kibler", year = 1986, title = "Experimental Goal Regression: A Method for Learning Problem Solving Heuristics", pages = "249 - 285", journal = "Machine Learning", volume = 1, number = 3) @inproceedings(KIBLER-IJCAI85, author = "Porter, B. W. and Kibler, D. F.", key = "Porter and Kibler", year = 1985, title = "A Comparison of Analytic and Experimental Goal Regression for Machine Learning", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Los Angeles, CA") @inproceedings(SHAVLIK-IJCAI87, author = "Shavlik, J. W. and DeJong, G. F.", key = "Shavlik and DeJong", year = 1987, title = "An Explanation-Based Approach to Generalizing Number", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Milan, Italy") @inproceedings(SHAVLIK-AAAI87, author = "Shavlik, J. W. and DeJong, G. F.", key = "Shavlik and DeJong", year = 1987, title = "BAGGER: An EBL System that Extends and Generalizes Explanations", booktitle = "Proceedings of the Sixth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Seattle, WA") @inproceedings(COHEN-ML5, author = "Cohen, W. W.", key = "Cohen", year = 1988, title = "Generalizing Number and Learning from Multiple Examples in Explanation-Based Learning", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(MOONEY-ML5, author = "Mooney, R. J.", key = "Mooney", year = 1988, title = "Generalizing the Order of Operators in Macro-Operators", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(PRIEDITIS-IMAL86, author = "Prieditis, A. E.", key = "Prieditis", year = 1986, title = "Discovery of Algorithms from Weak Methods", booktitle = "Proceedings of the International Meeting on Advances in Learning", address = "Les Arcs, Switzerland") @inproceedings(FLANN-AAAI86, author = "Flann, N. S. and Dietterich, T. G.", key = "Flann and Dietterich ", year = 1986, title = "Selecting Appropriate Representations for Learning from Examples", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Philadelphia, PA") @inproceedings(GUPTA-STNEBL, author = "Gupta, A.", key = "Gupta", year = 1988, title = "Significance of the Explanation Language in EBL", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(ROY-AAAI88, author = "Roy, S. and Mostow, J.", key = "Roy and Mostow", year = 1988, title = "Parsing to Learn Fine Grained Rules", booktitle = "Proceedings of the Seventh National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "St. Paul, MN") @inproceedings(BRAVERMAN-AAAI88, author = "Braverman, M. S. and Russell, S. J.", key = "Braverman and Russell", year = 1988, title = "IMEX: Overcoming Intractability in Explanation-Based Learning", booktitle = "Proceedings of the Seventh National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "St. Paul, MN") @inproceedings(BRAVERMAN-ML5, author = "Braverman, M. S. and Russell, S. J.", key = "Braverman and Russell", year = 1988, title = "Boundaries of Operationality", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(SEGRE-IJCAI87, author = "Segre, A. M.", key = "Segre", year = 1987, title = "On the Operationality/Generality Trade-Off in Explanation-Based Learning", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Milan, Italy") @inproceedings(SHAVLIK-COGSCI87, author = "Shavlik, J. W. and DeJong, G. F.", key = "Shavlik and DeJong", year = 1987, title = "Acquiring Special Case Schemata in Explanation-Based Learning", booktitle = "Proceedings of the Ninth Annual Conference of the Cognitive Science Society", address = "Seattle, WA") @inproceedings(KELLER-STNEBL, author = "Keller, R. M.", key = "Keller", year = 1988, title = "Operationality and Generality in Explanation-Based Learning: Separate Dimensions or Opposite Endpoints?", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(SEGRE-STNEBL, author = "Segre, A. M.", key = "Segre", year = 1988, title = "Operationality and Real World Plans", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @article(KELLER-AIJ, author = "Keller, R. M.", key = "Keller", year = 1988, title = "Defining Operationality for Explanation-Based Learning", pages = "227 - 241", journal = "Artificial Intelligence", volume = 35) @inproceedings(HIRSH-ML5, author = "Hirsh, H.", key = "Hirsh", year = 1988, title = "Reasoning about Operationality for Explanation-Based Learning", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(KELLER-ML4, author = "Keller, R. M.", key = "Keller", year = 1987, title = "Concept Learning in Context", booktitle = "Proceedings of the Fourth International Workshop on Machine Learning", address = "Irvine, CA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(KEDAR-CABELLI-AAAI87, author = "Kedar-Cabelli, S. T.", key = "Kedar-Cabelli", year = 1987, title = "Formulating Concepts According to Purpose", booktitle = "Proceedings of the Sixth National Conference on Artificial Intelligence", address = "Seattle, WA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(MITCHELL-LEAP, author = "Mitchell, T. M., Mahadevan, S. and Steinberg, L. I.", key = "Mitchell et al.", year = 1985, title = "LEAP: A Learning Apprentice System for VLSI Design", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Los Angeles, CA") @inproceedings(RAJAMONEY-IMPERFECT, author = "Rajamoney, S. and DeJong, G.", key = "Rajamoney and DeJong", year = 1987, title = "The Classification, Detection and Handling of Imperfect Theory Problems", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Milan, Italy") @article(HALL-MLJ, author = "Hall, R. J.", key = "Hall", year = 1988, title = "Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable Domains", pages = "45 - 77", journal = "Machine Learning", volume = 3, number = 1) @inproceedings(WILKINS-AAAI88, author = "Wilkins, D. C.", key = "Wilkins", year = 1988, title = "Knowledge Base Refinement Using Apprenticeship Learning Techniques", booktitle = "Proceedings of the Seventh National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "St. Paul, MN") @article(VAN-LEHN-AIJ, author = "VanLehn, K.", key = "VanLehn", year = 1987, title = "Learning One Subprocedure per Lesson", pages = "1 - 40", journal = "Artificial Intelligence", volume = 31) @techreport(SLEEMAN-GAPS, author = "Sleeman, D., Hirsh, H. and Kim, I.", key = "Sleeman et al.", year = 1987, title = "Expanding an Incomplete Domain Theory: Two Case Studies", institution = "University of Aberdeen", address = "Aberdeen, Scotland", number = "AUCS-TR8704") @book(BERWICK-SYNTACTIC, author = "Berwick, R. C.", key = "Berwick", year = 1985, title = "The Acquisition of Syntactic Knowledge", publisher = "MIT Press", address = "Cambridge, MA") @inproceedings(PAZZANI-ML5, author = "Pazzani, M. J.", key = "Pazzani", year = 1988, title = "Integrated Learning with Incorrect and Incomplete Theories", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(RUSSELL-TREE-BIAS, author = "Russell, S. J.", key = "Russell", year = 1988, title = "Tree-Structured Bias", booktitle = "Proceedings of the Seventh National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "St. Paul, MN") @inproceedings(MAHADEVAN-ML5, author = "Mahadevan, S. and Tadepalli, P", key = "Mahadevan and Tadepalli", year = 1988, title = "On the Tractability of Learning from Incomplete Theories", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(SMITH-IJCAI85, author = "Smith, R. G., Winston, H. A., Mitchell, T. M. and Buchanan, B. G.", key = "Smith et al.", year = 1985, title = "Representation and Use of Explicit Justifications for Knowledge Base Refinement", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Los Angeles, CA") @inproceedings(CLANCEY-STNEBL, author = "Clancey, W. J.", key = "Clancey", year = 1988, title = "Detecting and Coping with Failure", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(BYLANDER-STNEBL, author = "Bylander, T. and Weintraub, M. A.", key = "Bylander and Weintraub", year = 1988, title = "A Corrective Learning Procedure Using Different Explanatory Types", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(RAJAMONEY-STNEBL, author = "Rajamoney, S. A.", key = "Rajamoney", year = 1988, title = "Experimentation-Based Theory Revision", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(CARBONELL-ML4, author = "Carbonell, J. G. and Gil, Y.", key = "Carbonell and Gil", year = 1987, title = "Learning by Experimentation", booktitle = "Proceedings of the Fourth International Workshop on Machine Learning", address = "Irvine, CA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(HUNTER-STNEBL, author = "Hunter, L.", key = "Hunter", year = 1988, title = "Explanation-Based Discovery", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(DOYLE-AAAI86, author = "Doyle, R. J.", key = "Doyle", year = 1986, title = "Constructing and Refining Causal Explanations for an Inconsistent Domain Theory", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Philadelphia, PA") @inbook(DAVIS-QPT-BOOK, author = "Davis, R.", key = "Davis", title = "Diagnostic Reasoning Based on Structure and Behavior", editor = "Bobrow, D. G.", year = 1985, pages = "347 - 410", booktitle = "Qualitative Reasoning about Physical Systems", publisher = "MIT Press", address = "Cambridge, MA", note = "Also found in Artificial Intelligence, Volume 24." ) @book(BOBROW-QPT-BOOK, author = "Bobrow, D. G., Ed.", key = "Bobrow", year = 1985, title = "Qualitative Reasoning about Physical Systems", publisher = "MIT Press", address = "Cambridge, MA", note = "Also found in Artificial Intelligence, Volume 24." ) @inproceedings(RAJAMONEY-ML5, author = "Rajamoney, S. A. and DeJong, G. F.", key = "Rajamoney and DeJong", year = 1988, title = "Active Explanation Reduction: An Approach to the Multiple Explanations Problem", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(CARBONELL-PROMISCUITY, author = "Carbonell, J., Mason, M. and Mitchell, T.", key = "Carbonell et al.", year = 1987, title = "Machine Learning and Planning in a Reactive Environment", booktitle = "Proceedings of the NASA AI Forum") @techreport(RIESBECK-STYLE, author = "Riesbeck, C. K.", key = "Riesbeck", year = 1983, title = "Knowledge Reorganization and Reasoning Style", institution = "Yale University Department of Computer Science", address = "New Haven, CT", number = "YALEU/DCS/RR#270") @techreport(MOSTOW-APPROX, author = "Mostow, J. and Fawcett, T.", key = "Mostow and Fawcett", year = 1987, title = "Approximating Intractable Theories: A Problem Space Model", institution = "Rutgers University, Department of Computer Science", address = "New Brunswick, NJ", number = "ML-TR-16") @unpublished(MOSTOW-APPROX-NEW, key "Mostow & Fawcett", author "J. Mostow and T. Fawcett", title "Generating Useful Approximations: A Transformational Model", year 1988, month "March", institution "Rutgers University Computer Science Department", Note "17 pages. Rutgers AI/Design Project Working Paper Number 81.", Annote "HTF models the derivation of approximate formulas.") @inproceedings(ELLMAN-AAAI88, author = "Ellman, T.", key = "Ellman", year = 1988, title = "Approximate Theory Formation: An Explanation-Based Approach", booktitle = "Proceedings of the Seventh National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "St. Paul, MN") @unpublished(ELLMAN-AAAI90-SUB, author = "Ellman, T.", key = "Ellman", year = 1990, title = "Mechanical Generation of Heuristics through Approximation of Intractable Theories", note = "Submitted to AAAI-90.") @unpublished(FRAMEWORK-AAAI90-SUB, author = "Mostow, J., Ellman, T. and Prieditis, A.", key = "Mostow et al.", year = 1990, title = "A Unified Transformational Model for Discoving Heuristics by Idealizing Intractable Problems", note = "Submitted to AAAI-90.") @inproceedings(BENNETT-IJCAI87, author = "Bennett, S. W.", key = "Bennett", year = 1987, title = "Approximation in Mathematical Domains", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Milan, Italy") @techreport(CHIEN-EXT-EBL, author = "Chien, S. A.", key = "Chien", year = 1987, title = "Extending Explanation-Based Learning: Failure-Driven Schema Refinement", institution = "University of Illinois, Coordinated Science Laboratory", address = "Urbana-Champaign, IL", number = "UILU-ENG-87-2203") @techreport(CHIEN-PERSIST, author = "Chien, S. A.", key = "Chien", year = 1987, title = "Simplifications in Temporal Persistence: An Approach to the Intractable Domain Theory Problem in Explanation-Based Learning", institution = "University of Illinois", address = "Urbana-Champaign, IL", number = "UILU-ENG-87-2255") @techreport(TADEPALLI-PROPOSAL, author = "Tadepalli, P. V.", key = "Tadepalli", year = 1986, title = "Learning Approximate Plans in Games", institution = "Rutgers University", number = "ML-TR-8") @inproceedings(CHIEN-STNEBL, author = "Chien, S. A.", key = "Chien", year = 1988, title = "A Framework for Explanation-Based Refinement", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(ZWEBEN-STNEBL, author = "Zweben, M. and Chase, M. P.", key = "Zweben and Chase", year = 1988, title = "Improving Operationality with Approximate Heuristics", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(BHATNAGAR-IJCAI87, author = "Mostow, J. and Bhatnagar, N.", key = "Mostow and Bhatnagar", year = 1987, title = "Failsafe - A Floor Planner that Uses EBG to Learn from its Failures", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Milan, Italy") @inproceedings(GUPTA-AAAI87, author = "Gupta, A.", key = "Gupta", year = 1987, title = "Explanation-Based Failure Recovery", booktitle = "Proceedings of the Sixth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Seattle, WA") @inproceedings(SALZBERG-HORSE, author = "Salzberg, S.", key = "Salzberg", year = 1983, title = "Generating Hypotheses to Explain Prediction Failures", booktitle = "Proceedings of the National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Washington, DC") @inproceedings(DANYLUK-IJCAI87, author = "Danyluk, A. P.", key = "Danyluk", year = 1987, title = "The Use of Explanations for Similarity-Based Learning", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Milan, Italy") @inproceedings(DIETTERICH-STNEBL, author = "Dietterich, T. G. and Flann, N. S.", key = "Dietterich and Flann", year = 1988, title = "An Inductive Approach to the Imperfect Theory Problem", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(CARPINETO-ML5, author = "Carpineto, C.", key = "Carpineto", year = 1988, title = "An Approach Based on Integrated Learning to Generating Stories from Stories", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(HIRSH-STNEBL, author = "Hirsh, H.", key = "Hirsh", year = 1988, title = "Empirical Techniques for Repairing Imperfect Theories", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(BERGADANO-ML5, author = "Bergadano, F. and Giordana A.", key = "Bergadano and Giordana", year = 1988, title = "A Knowledge Intensive Approach to Concept Induction", booktitle = "Proceedings of the Fifth International Conference on Machine Learning", address = "Ann Arbor, MI", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(SWAMINATHAN-STNEBL, author = "Swaminathan, K.", key = "Swaminathan", year = 1988, title = "Integrated Learning with an Incomplete and Intractable Domain Theory: The Problem of Epidemiological Diagnosis", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(DANYLUK-STNEBL, author = "Danyluk, A. P.", key = "Danyluk", year = 1988, title = "Integrated Learning is a Two Way Street", booktitle = "Proceedings of the AAAI Spring Symposium on Explanation-Based Learning", organization = "AAAI", address = "Menlo Park, CA") @inproceedings(LEBOWITZ-PERDITION-AAAI86, author = "Lebowitz, M.", key = "Lebowitz", year = 1986, title = "Not the path to perdition: The Utility of Similarity-Based Learning", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Philadelphia, PA") @inproceedings(PAZZANI-AAAI86, author = "Pazzani, M., Dyer, M. and Flowers, M.", key = "Pazzani et al.", year = 1986, title = "The Role of Prior Causal Theories in Generalization", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Philadelphia, PA") @inbook(CARBONELL-ML1-BOOK, author = "Carbonell, J. G.", key = "Carbonell", year = 1983, title = "Learning by Analogy: Formulating and Generalizing Plans from Past Experience", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @inproceedings(PROLOG-EBG, author = "Kedar-Cabelli, S. T. and McCarty, L. T.", key = "Kedar-Cabelli and McCarty", year = 1987, title = "Explanation-Based Generalization as Resolution Theorem Proving", booktitle = "Proceedings of the Fourth International Workshop on Machine Learning", address = "Irvine, CA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(HIRSH-IJCAI87, author = "Hirsh, H.", key = "Hirsh", year = 1987, title = "Explanation-Based Generalization in a Logic Programming Environment", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Milan, Italy") @book(PEARL-HEURISTICS, author = "Pearl, J.", key = "Pearl", year = 1984, title = "Heuristics: Intelligent Search Strategies for Computer Problem Solving", publisher = "Addison-Wesley", address = "Reading, MA") @book(RALSTON-NUMERICAL, author = "Ralston, A., Rabinowitz, P.", key = "Ralston and Rabinowitz", year = 1978, title = "A First Course in Numerical Analysis", publisher = "McGraw-Hill", address = "New York, New York") @book(ANDREWS-HEARTS, author = "Andrews, J., D.", key = "Andrews", year = 1983, title = "Win at Hearts", publisher = "Dover Publications", address = "New York, New York") @article(SHANNON, author = "Shannon, C. E.", key = "Shannon", year = 1948, title = "A Mathematical Theory of Communication", pages = "379 - 423", journal = "The Bell System Technical Journal", volume = 27, number = 3) @inbook(JAYNES-ENTROPY, author = "Jaynes, E. T.", key = "Jaynes", year = 1983, title = "Where do We Stand on Maximum Entropy?", pages = "210 - 314", editor = "R. D. Rosenkrantz", booktitle = "E. T. Jaynes: Papers on Probability, Statistics and Statistical Physics", publisher = "D. Reidel Publishing Company", address = "Boston, Massachusetts") @inbook(JAYNES-PRIORS, author = "Jaynes, E. T.", key = "Jaynes", year = 1983, title = "Prior Probabilities", pages = "114 - 130", editor = "R. D. Rosenkrantz", booktitle = "E. T. Jaynes: Papers on Probability, Statistics and Statistical Physics", publisher = "D. Reidel Publishing Company", address = "Boston, Massachusetts") @inbook(JAYNES-ITSM, author = "Jaynes, E. T.", key = "Jaynes", year = 1983, title = "Information Theory and Statistical Mechanics", pages = "8 - 18", editor = "R. D. Rosenkrantz", booktitle = "E. T. Jaynes: Papers on Probability, Statistics and Statistical Physics", publisher = "D. Reidel Publishing Company", address = "Boston, Massachusetts") @book(LEWIS-PAPADIMITRIOU, author = "Lewis, H. R. and Papadimitriou, C. H.", key = "Lewis and Papadimitriou", year = 1981, title = "Elements of the Theory of Computation", publisher = "Prentice Hall", address = "Englewood Cliffs, New Jersey") @comment(End Group1a) @comment(Begin Group1b: Cites not checked "carefully".) @techreport(SAM, author = "Cullingford, R.", key = "Cullingford", year = 1978, title = "Script Application: Computer Understanding of Newspaper Stories", institution = "Yale University Department of Computer Science", address = "New Haven, CT", number = 116) @techreport(PAM, author = "Wilensky, R.", key = "Wilensky", year = 1978, title = "Understanding Goal-Based Stories", institution = "Yale University Department of Computer Science", address = "New Haven, CT", number = 140) @inbook(HAYES-ROTH-ADVICE, author = "Hayes-Roth, F. and Mostow, D. J.", key = "Hayes-Roth and Mostow", year = 1981, title = "Machine Transformation of Advice into a Heuristic Search Procedure", pages = "231 - 253", editor = "J. R. Anderson", booktitle = "Cognitive Skills and their Acquisition", publisher = "Erlbaum", address = "Hillsdale, NJ") @inbook(LENAT-AM-KBSAI, author = "Lenat, D. B.", key = "Lenat", year = 1982, title = "AM: Discovery in Mathematics as Heuristic Search", editor = "R. Davis and D. B. Lenat", booktitle = "Knowledge-Based Systems in Artificial Intelligence", pages = "1 - 225", publisher = "McGraw-Hill", address = "New York, NY") @comment(End-Group1b) @comment(End-Group1) @comment(Begin Group2: Not cited in EBl survey) @techreport(KIBLER-GEN-HEURISTICS, author = "Kibler, D.", key = "Kibler", year = 1985, title = "Generation of Heuristics by Transforming the Problem Representation", institution = "Department of Computer Science, University of California", address = "Irvine , CA", number = "ICS TR-85-20") @inproceedings(SIMMONS-AAAI86, author = "Simmons, R.", key = "Simmons", year = 1986, title = "Commonsense Arithmetic Reasoning", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", pages = "118 - 124", address = "Philadelphia, PA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(RAIMON-AAAI86, author = "Raimon, O.", key = "Raimon", year = 1986, title = "Order of Magnitude Reasoning", booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence", pages = "100 - 104", address = "Philadelphia, PA", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @article(SACERDOTI-ABSTRIPS, author = "Sacerdoti, E. D.", key = "Sacerdoti", year = 1974, title = "Planning in a Hierarchy of Abstraction Spaces", pages = "115 - 135", journal = "Artificial Intelligence", volume = 5) @inproceedings(UNRUH-ABS-SOAR, author = "Unruh, A., Rosenbloom, P. and Laird, J. E.", key = "Unruh et al.", year = 1987, title = "Dynamic Abstraction Problem Solving in Soar", booktitle = "Proceedings of the AOG/AAAIC Joint Conference", address = "Dayton, Ohio") @inproceedings(GASCHNIG-HEURISTICS, author = "Gaschnig, J.", key = "Gaschnig", year = 1979, title = "A Problem Similarity Approach to Devising Heuristics: First Results", booktitle = "Proceedings of the Sixth International Joint Conference on Artificial Intelligence", address = "Tokyo, Japan") @article(STEFIK-OOP-AIMAG, author = "Stefik, M. and Bobrow, D.", key = "Stefik and Bobrow", year = 1986, title = "Object-Oriented Programming: Themes and Variations.", pages = "40 - 62", journal = "AI Magazine", volume = 6, number = 4) @article{Polymorphism, key = "Cardelli", author = "Luca Cardelli and Peter Wegner", title = "On Understanding Types, Data Abstraction, and Polymorphism", journal = "ACM Computing Surveys", volume = "17", number = "4", month = "December", year = "1985", pages = "471-522"} @techreport(ELLMAN-AP, author = "Ellman, T. P.", key = "Ellman", year = 1987, title = "Explanation-Based Learning: A Survey of Programs and Perspectives", address = "New York, NY", institution = "Columbia University", number = "CUCS-266-87") @article(ELLMAN-EBL-ACM, author = "Ellman, T.", key = "Ellman", year = 1989, month = June, volume = 21, number = 2, pages = "163 - 221", title = "Explanation-Based Learning: A Survey of Programs and Perspectives", journal = "Computing Surveys") @techreport(ELLMAN-PROPOSAL, author = "Ellman, T. P.", key = "Ellman", year = 1987, title = "Explanation-Based Methods for Simplifying Intractable Theories: A Thesis Proposal", institution = "Columbia University", address = "New York, NY", number = "CUCS-265-87") @techreport(ELLMAN-LISP-EBG, author = "Ellman, T. P.", key = "Ellman", year = 1988, title = "LISP-EBG: Chunking Non-Deterministic LISP", institution = "Columbia University", address = "New York, NY", note = "Forthcoming.") @techreport(ELLMAN-IJCAI89-SUB, author = "Ellman, T. P.", key = "Ellman", year = 1988, title = "Mechanical Generation of Heuristics for Intractable Theories", institution = "Columbia University", address = "New York, NY", number = "CUCS-400-88") @techreport(ELLMAN-THESIS, author = "Ellman, T.", key = "Ellman", year = 1989, title = "Integrated Analytic and Empirical Learning of Approximations for Intractable Theories", number = "CUCS-511-89", note = "Ph.D. Thesis.", institution = "Columbia University Department of Computer Science") @inproceedings(ELLMAN-STAN-EBL, author = "Ellman, T.", key = "Ellman", year = 1988, title = "Explanation-Directed Search for Simplifying Assumptions", booktitle = "Working Notes of the AAAI Spring Symposium on Explanation-Based Learning", address = "Palo Alto, CA") @inproceedings(ELLMAN-STAN-BR, author = "Ellman, T.", key = "Ellman", year = 1989, title = "Mechanical Generation of Heuristic Theories: Trading Accuracy for Efficiency", booktitle = "Working Notes of the AAAI Spring Symposium on AI and Limited Rationality", address = "Palo Alto, CA") @inbook(ELLMAN-AI-STATS, author = "Ellman, T.", key = "Ellman", title = "Representing Statistical Computations: Toward Expert Systems with a Deeper Understanding of Statistics", editor = "W. A. Gale", year = 1986, pages = "229 - 238", booktitle = "Artificial Intelligence and Statistics", publisher = "Addison-Wesley", address = "Reading, MA") @inbook(ELLMAN-ML3, author = "Ellman, T.", key = "Ellman", title = "Explanation-Based Learning in Logic Circuit Design", editor = "Tom M. Mitchell, Jaime G. Carbonell and Ryszard S. Michalski", year = 1986, booktitle = "Machine Learning: A Guide to Current Research", publisher = "Kluwer Academic Publishers", address = "Norwell, MA") @article(NEWELL-LEVEL, author = "Newell, A.", key = "Newell", year = 1982, title = "The Knowledge Level", pages = "87 - 127", journal = "Artificial Intelligence", volume = 18) @article(DEKLEER-ATMS-AIJ, author = "De Kleer, J.", key = "De Kleer", year = 1986, title = "An Assumption-Based TMS", pages = "127 - 162", journal = "Artificial Intelligence", volume = 28) @inproceedings(POPLE-ABDUCTION, author = "Pople, H. E.", key = "Pople", year = 1973, title = "On the Mechanization of Abductive Logic", booktitle = "Proceedings of the Third International Joint Conference on Artificial Intelligence", address = "Stanford, CA") @book(POLYA-SOLVE-IT, author = "Polya, G.", key = "Polya", year = 1957, title = "How to Solve it", publisher = "Doubleday Anchor Books", address = "New York, NY") @book(SIMON-ARTIFICIAL, author = "Simon, H. A.", key = "Simon", year = 1981, title = "The Sciences of the Artificial", publisher = "MIT Press", address = "Cambridge, MA") @inbook(KONOLIGE-INCOMPLETE, author = "Konolige, K.", key = "Konolige", title = "Belief and Incompleteness", editor = "J. R. Hobbes and R. C. Moore", year = 1985, pages = "359 - 403", booktitle = "Formal Theories of the Common Sense World", publisher = "Ablex Publishing Company", address = "Norwood, NJ") @book(QUINE-WEB, author = "Quine, W. V. and Ullian, J. S.", key = "Quine and Ullian", year = 1978, title = "The Web of Belief", publisher = "Random House", address = "New York, NY") @article(DOYLE-SURVEY, author = "Doyle, J. and London, P.", key = "Doyle and London", year = 1980, title = "A Selected Descriptor-Indexed Bibliography to the Literature on Belief Revision", pages = "7 - 23", journal = "SIGART Newsletter", volume = 1 number = 71) @inbook(LENAT-ML1-BOOK, author = "Lenat, D. B.", key = "Lenat", year = 1983, title = "The Role of Heuristics in Learning by Discovery: Three Case Studies", pages = "243 - 306", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach", publisher = "Tioga Press", address = "Palo Alto, CA") @inbook(LANGLEY-ML1-BOOK, author = "Langley, P., Bradshaw, G. L. and Simon, H. A.", key = "Langley et al.", year = 1983, title = "Rediscovering Chemistry with the BACON System", pages = "307 - 330", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach", publisher = "Tioga Press", address = "Palo Alto, CA") @inbook(BURSTEIN-ML2-BOOK, author = "Burstein, M. H.", key = "Burstein", year = 1986, title = "Concept Formation by Incremental Analogical Reasoning and Debugging", pages = "351 - 369", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @unpublished(KELLER-PROPOSAL, author = "Keller, R. M.", key = "Keller", year = 1984, note = "Unpublished Thesis Proposal.", title = "Sources of Contextual Knowledge for Concept Learning") @unpublished(KELLER-APPROX-CONCEPT, author = "Keller, R.", key = "Keller", year = 1988, note = "Submitted to IJCAI89.", title = "Learning Approximate Concept Descriptions") @article(LEBOWITZ-CORRECTING, author = "Lebowitz, M.", key = "Lebowitz", year = 1982, title = "Correcting erroneous generalizations", journal = "Cognition and Brain Theory", pages = "367 - 381", volume = 5, number = 4) @book(WILENSKY, author = "Wilensky, R.", key = "Wilensky", year = 1983, title = "Planning and Understanding", publisher = "Addison-Wesley", address = "Reading, MA") @inproceedings(BURSTEIN-COGSCI, author = "Burstein, M. H.", key = "Burstein", year = 1981, pages = "271 - 273", title = "Concept formation through the formation of multiple models", booktitle = "Proceedings of the Third Annual Conference of the Cognitive Science Society", address = "Berkeley, CA") @phdthesis(MARK, author = "Burstein, M. H.", key = "Burstein", year = 1985, title = "Learning new concepts from multiple analogical models", school = "Yale University Department of Computer Science") @article(ERNST-GOLDSTEIN, author = "Ernst, G. W., Goldstein, M. M.", key = "Ernst and Goldstein", year = 1982, title = "Mechanical Discovery of Classes of Problem Solving Strategies", pages = "1 - 23", journal = "Journal of the Association for Computing Machinery", volume = 29) @inproceedings(RICH, author = "Lebowitz, M.", key = "Lebowitz", year = 1983, title = "Concept Learning in a Rich Input Domain", pages = "177 - 182", booktitle = "Proceedings of the International Machine Learning Workshop", address = "Champaign-Urbana, IL") @phdthesis(KENNY-THESIS, author = "Wasserman, K.", key = "Wasserman", year = 1985, title = "Unifying representation and generalization: Understanding hierarchically structured objects", school = "Columbia University Department of Computer Science") @article(KENNY-REP, author = "Wasserman, K. and Lebowitz, M.", key = "Wasserman and Lebowitz", year = 1983, title = "Representing complex physical objects", journal = "Cognition and Brain Theory", volume = 6, number = 3, pages = "333 - 352") @techreport(KENNY-TECH, author = "Wasserman, K. and Lebowitz, M.", key = "Wasserman and Lebowitz", year = 1982, title = "Representing complex physical objects in memory", institution = "Columbia University Department of Computer Science") @techreport(KENNY-HIERARCHY, author = "Wasserman, K.", key = "Wasserman", year = 1984, title = "Understanding hierarchically structured objects", institution = "Columbia University Department of Computer Science") @inproceedings(QUINLAN-ML2-PROC, author = "Quinlan, J. R.", key = "Quinlan", year = 1983, title = "Learning from noisy data", pages = "58 - 64", booktitle = "Proceedings of the 1983 International Machine Learning Workshop", address = "Champaign-Urbana, IL") @article(LENAT-HEURISTICS, author = "Lenat, D. B.", key = "Lenat", year = 1982, title = "The nature of heuristics", journal = "Artificial Intelligence", volume = 19) @article(LENAT-EURISKO, author = "Lenat, D. B.", key = "Lenat", year = 1983, title = "EURISKO: A program that learns new heuristics and domain concepts", journal = "Artificial Intelligence", pages = "61 - 98", number = "1, 2", volume = 21) @article(MICHALSKI-STEPP, author = "Michalski, R. S. and Stepp, R. E.", key = "Michalski and Stepp", year = 1983, volume = 5, number = 4, pages = "396 - 409", title = "Automated construction of classifications: Conceptual clustering versus numerical taxonomy", journal = "IEEE Transactions on Pattern Analysis and Machine Intelligence") @inproceedings(FISHER-SURVEY, author = "Fisher, D. and Langley, P.", key = "Fisher and Langley", year = 1985, title = "Approaches to conceptual clustering", booktitle = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence", pages = "691 - 697", address = "Los Angeles") @article(LANGLEY-BACON, author = "Langley, P.", key = "Langley", year = 1981, title = "Data-driven discovery of natural laws", journal = "Cognitive Science", pages = "31 - 54", volume = 5, number = 1) @inproceedings(BACONIJ, author = "Langley, P., Bradshaw, G. L., Simon, H. A.", key = "Langley et al.", year = 1981, title = "BACON.5: The discovery of conservation laws", booktitle = "Proceedings of the Seventh International Joint Conference on Artificial Intelligence", address = "Vancouver, Canada") @techreport(IPP-THESIS, author = "Lebowitz, M.", key = "Lebowitz", year = 1980, title = "Generalization and memory in an integrated understanding system", institution = "Yale University Department of Computer Science", address = "New Haven, CT", note = "PhD Thesis.", number = 186) @inproceedings(IPP-AAAI, author = "Lebowitz, M.", key = Lebowitz, year = 1980, title = "Language and memory: Generalization as a part of understanding", pages = "324 - 326", booktitle = "Proceedings of the First National Conference on Artificial Intelligence", address = "Stanford, CA") @article(IPP-AIJ, author = "Lebowitz, M.", key = "Lebowitz", year = "1983", volume = "21", number = 4, pages = "363 - 404", title = "Memory-based parsing", journal = "Artificial Intelligence") @inbook(EVANS, author = "Evans, T. G.", key = "Evans", year = 1968, title = "A heuristic program to solve geometric analogy problems", editor = "M. Minsky", booktitle = "Semantic Information Processing", publisher = "MIT Press", address = "Cambridge, MA") @inbook(DIETTERICH-ML2-BOOK, author = "Dietterich, T. G. and Michalski, R. S.", key = "Dietterich and Michalski", year = 1986, title = "Learning to predict sequences", pages = "63 - 106", editor = "R. S. Michalski, J. G. Carbonell and T. M. Mitchell", booktitle = "Machine Learning: An Artificial Intelligence Approach, Volume II", publisher = "Morgan Kaufmann", address = "Los Altos, CA") @article(DENDRAL-NEW, author = "Buchanan, B. G. and Feigenbaum, E. A.", key = "Buchanan and Feigenbaum", year = 1978, title = "DENDRAL and Meta-DENDRAL: Their applications dimension", journal = "Artificial Intelligence", volume = 11, pages = "5 - 24") @inproceedings(DIETTERICH-CHARACTERISTIC, author = "Dietterich, T. and Michalski, R.", key = "Dietterich and Michalski", year = 1979, title = "Learning and generalization of characteristic descriptions: Evaluation criteria and comparative review of selected methods", organization = "International Joint Conference on Artificial Intelligence", booktitle = "Proceedings of the Sixth International Joint Conference on Artificial Intelligence", address = "Tokyo, Japan") @article(WINSTON-NEW, author = "Winston, P. H.", key = "Winston", year = 1980, title = "Learning and Reasoning by Analogy", journal = "Communications of the ACM", volume = 23, pages = "689 - 702") @article(LANGLEY-MLJ-EXPERIMENTAL, author = "Langley, P.", key = "Langley", year = 1988, title = "Machine Learning as an Experimental Science", pages = "5-8", journal = "Machine Learning", volume = 3, number = 1) @book(PAPADIMITRIOU-STEIGLITZ, author = "Papadimitriou, C. H. and Steiglitz, K.", key = "Papadimitriou and Steiglitz", year = 1982, title = "Combinatorial Optimization: Algorithms and Complexity", publisher = "Prentice-Hall, Inc.", address = "Englewood Cliffs, New Jersey") @book(GAREY-JOHNSON, author = "Garey, M. R. and Johnson, D. S.", key = "Garey and Johnson", year = 1979, title = "Computers and Intractability: A Guide to the Theory of NP-Completeness", publisher = "W. H. Freeman and Company", address = "New York, New York") @book(RALSTON-RABINOWITZ, author = "Ralston, A. and Rabinowitz, P.", key = "Ralston and Rabinowitz", year = 1978, title = "A First Course in Numerical Analysis", publisher = "McGraw-Hill Book Company", address = "New York, New York") @book(KRONSJO, author = "Kronsjo, Lydia", key = "Kronsjo", year = 1979, title = "Algorithms: Their Complexity and Efficiency", publisher = "John, Wiley and Sons", address = "New York, New York") @book(ULLMAN-DATABASES, author = "Ullman, J. D.", key = "Ullman", year = 1982, title = "Principles of Database Systems", publisher = "Computer Science Press", address = "Rockville, Maryland") @book(SAVITCH-NL-COMPLEXITY, author = "Savitch, W. J., et al, (Eds.)", key = "Savitch, et al.", year = 1987, title = "The Formal Complexity of Natural Language", publisher = "Kluwer Academic Publishers", address = "Norwell, MA") @article(BERLINER-SUPREM, author = "Berliner, H. and Ebeling, C.", key = "Berliner and Ebeling", year = "1989", volume = "38", number = 2, pages = "161 - 198", title = "Pattern Knowledge and Search: The SUPREM Architecture", journal = "Artificial Intelligence") @article(KORF-PLANNING-SEARCH, author = "Korf, R. E.", key = "Korf", year = 1987, title = "Planning as Search: A Quantitative Approach", pages = "65 - 88", journal = "Artificial Intelligence", volume = 33, number = 1) @inproceedings(TSOTSOS-VISION, author = "Tsotsos, J. K.", key = "Tsotsos", year = 1987, title = "A 'Complexity Level' Analysis of Vision", organization = "IEEE Computer Society", booktitle = "Proceedings of the First International Conference on Computer Vision", address = "London, England") @book(LUCE-RAIFFA, author = "Luce, R. D. and Raiffa, H.", key = "Luce and Raiffa", year = 1957, title = "Games and Decisions", publisher = "John Wiley and Sons", address = "New York, NY") @techreport(DIETTERICH-OPERATIONALITY, author = "Dietterich, T. G. and Bennett, J. S.", key = "Dietterich and Bennett", year = 1988, title = "Varieties of Operationality", institution = "Department of Computer Science, Oregon State University", address = "Corvallis, Oregon", number = "88-30-6") @inproceedings(CHIEN-IJCAI89-USING, author = "Chien, S. A.", key = "Chien", year = 1989, title = "Using and Refining Simplifications: Explanation-Based Learning of Plans in Intractable Domains", booktitle = "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Detroit, MI") @techreport(BENNETT-MS-THESIS, author = "Bennett, S. W.", key = "Bennett", year = 1989, title = "Learning Uncertainty Tolerant Plans Through Approximation in Complex Domains", institution = "University of Illinois, Beckman Institute for Advanced Science and Technology", address "Urbana-Champaign, IL", note = "Masters Thesis.", number = "UILU-ENG-89-2204" ) @inproceedings(HAMMOND-AAAI88, author = "Hammond, K., Converse, T. and Marks, M.", key = "Hammond et al.", year = 1988, title = "Learning from Opportunities: Storing and Re-using Execution-Time Optimizations", booktitle = "Proceedings of the Seventh National Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "St. Paul, MN") @inproceedings(KNOBLOCK-ML6, author = "Knoblock, C.", key = "Knoblock", year = 1989, title = "Learning Hierarchies of Abstraction Spaces", booktitle = "Proceedings of the Sixth International Conference on Machine Learning", address = "Ithaca, NY", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(MOHAN-ML6, author = "Mohan, S. and Tong. C.", key = "Mohan and Tong", year = 1989, title = "Automatic Construction of a Hierarchical Generate and Test Algorithm", booktitle = "Proceedings of the Sixth International Conference on Machine Learning", address = "Ithaca, NY", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @inproceedings(CHASE-ML6, author = "Chase, M., Zweben, M., Piazza, R., Burger, J., Maglio, P., Hirsh, H.", key = "Chase et al.", year = 1989, title = "Approximating Learned Search Control Knowledge", booktitle = "Proceedings of the Sixth International Conference on Machine Learning", address = "Ithaca, NY", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA") @article(MOSTOW-DA-AIJ, author = "Mostow, J.", key = "Mostow", year = 1989, title = "Design by Derivational Analogy: Issues in the Automated Replay of Design Plans", pages = "119 - 184", journal = "Artificial Intelligence", volume = 40) @inproceedings(MOSTOW-ABSOLVER, author = "Mostow, J. and Prieditis, A. E.", key = "Mostow and Prieditis", year = 1989, title = "Discovering Admissible Heuristics by Abstracting and Optimizing", booktitle = "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence", pages = "701 - 707", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Detroit, MI") @inproceedings(TADEPALLI-IJCAI89, author = "Tadepalli, P.", key = "Tadepalli", year = 1989, title = "Lazy Explanation-Based Learning: A Solution to the Intractable Theory Problem", booktitle = "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Detroit, MI") @inproceedings(UNRUH-IJCAI89, author = "Unruh, A. and Rosenbloom, P.", key = "Unruh and Rosenbloom", year = 1989, title = "Abstraction in Problem Solving and Planning", booktitle = "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Detroit, MI") @book(NEWELL-SIMON, author = "Newell, A. and Simon, H.", key = "Newell and Simon", year = 1972, title = "Human Problem Solving", publisher = "Prentice-Hall", address = "Englewood Cliffs, NJ") @techreport(DOYLE-THESIS, author = "Doyle, R.", key = "Doyle", year = 1988, title = "Hypothesizing Device Mechanisms: Opening Up the Black Box", institution = "MIT Artificial Intelligence Laboratory", address = "Cambridge, MA", note = "PhD Thesis.", number = "1047") @inbook(DEKLEER-QPT-BOOK, author = "de Kleer, J. and Brown J.", key = "de Kleer and Brown", title = "A Qualitative Physics Based on Confluences", editor = "Bobrow, D. G.", year = 1985, pages = "7 - 83", booktitle = "Qualitative Reasoning about Physical Systems", publisher = "MIT Press", address = "Cambridge, MA", note = "Also found in Artificial Intelligence, Volume 24." ) @book(KUHN-STRUCTURE, author = "Kuhn, T.", key = "Kuhn", year = 1970, title = "The Structure of Scientific Revolutions", publisher = "The University of Chicago Press", address = "Chicago, IL") @article(VALIANT-LEARNABLE-CACM, author = "Valiant, L. G.", key = "Valiant", year = 1984, title = "A Theory of the Learnable", journal = "Communications of the ACM", volume = 27, pages = "1134 - 1142") @techreport(KIBLER-HEURISTICS, author = "Kibler, D.", key = "Kibler", year = 1985, title = "Natural Generation of Heuristics by Transforming the the Problem Representation", institution = "University of California", address = "Irvine, CA", number = "TR-85-20") @article(BIRD-ACM, author = "Bird, R.", key = "Bird", year = 1980, volume = 12, number = 4, pages = "403 - 413", title = "Tabulation Techniques for Recursive Programs", journal = "Computing Surveys") @article(BURSTALL-DARLINGTON-JACM77, key "Burstall and Darlington", author "R. M. Burstall and J. Darlington", title "A transformational system for developing recursive programs", journal "Journal of the ACM", volume 24, number 1, month January, year 1977, pages "44-67") @article(DARLINGTON-BURSTALL, key "Darlington and Burstall", author "J. Darlington and R. M. Burstall", title "A system which automatically improves programs", journal "Acta Informatica", volume=6, year=1976, pages "41-60") @inproceedings(SMITH-KIDS-ASDW88, key "Smith", author "D. R. Smith", title "KIDS: A Knowledge-Based Software Development System", booktitle "Proceedings of the AAAI88 Workshop on Automated Software Design", year 1988, month August, address "St. Paul, MN", organization "American Association for Artificial Intelligence") @techreport(SMITH-GLOBAL-SEARCH-TR88, key "Smith", author "D. R. Smith", title "Structure and Design of Global Search Algorithms", year 1988, month July, institution "Kestrel Institute", number "KES.U.87.12", address "1801 Page Mill Road, Palo Alto, CA 94304", Note "To appear in @i[Acta Informatica.", Annote "CYPRESS II semiautomatically derives search algorithms by instantiating a search algorithm schema, deriving filters using the RAINBOW II directed inference system, and optimizing.") @techreport(SMITH-LOWRY-TACTICS-TR89, key "Smith & Lowry", author "D. R. Smith and M. R. Lowry", title "Algorithm Theories and Design Tactics", year 1989, month April, institution "Kestrel Institute", number "KES.U.89.3", address "3260 Hillview Avenue, Palo Alto, CA 94304", Note "To appear in @i[Science of Computer Progamming]") @article(STOKEY-SCHEDULING-SIGART, author = "Stokey, R.", key = "Stokey", year = 1989, month = "October", title = "AI Factory Scheduling: Multiple Problem Formulations", pages = "27 - 30", journal = "SIGART Newsletter", volume = 1, number = 110) @techreport(DANYLUK-EBL-SBL-SURVEY, author = "Danyluk, A. P.", key = "Danyluk", year = 1989, title = "A Survey of Machine Learning Systems Integrating Explanation-Based and Similarity-Based Methods", institution = "Columbia University Department of Computer Science", number = "CUCS-467-89") @inproceedings(FOX-IJCAI89, author = "Fox, M., Sadeh, N. and Baykan, C.", key = "Fox et al.", year = 1989, title = "Constrained Heuristic Search", booktitle = "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence", organization = "Morgan Kaufmann", pub-address = "Los Altos, CA", address = "Detroit, MI") @article(SMITH-SCHEDULING-AIMAG, author = "Smith, S., Fox, M. and Ow, P.", key = "Smith et al.", year = 1986, title = "Construction and Maintaining Detailed Production Plans: Investigations into the Development of Knowledge-Based Factory Scheduling Systems", pages = "45 - 61", journal = "AI Magazine", volume = 7, number = 4) @article(DAVIS-SCHEDULING, author = "Davis, E. and Patterson, J.", key = "Davis and Patterson", year = 1975, title = "A Comparison of Heuristic and Optimal Solutions in Resource Constrained Project Scheduling", pages = "944 - 955", journal = "AI Magazine", volume = 21, number = 8) @article(GUIDA-HEURISTICS, author = "Guida, G. and Somalvico, M.", key = "Guida and Somalvico", year = 1979, title = "A Method for Computing Heuristics in Problem Solving", pages = "251 - 259", journal = "Information Sciences", volume = 19, number = 1) @article(minton-AIJ89, author = "Minton, S., Carbonell, J. G., Knoblock, C. A., Kuokka, D. R., Etzoni, O., and Gil, Y.", key = "Minton, et al.", year = 1989, title = "Explanation-Based Learning: A Problem Solving Perspective", pages = "63 - 118", journal = "Artificial Intelligence", volume = 40) @inproceedings(anderson-farley-aaai88, author = "Anderson, J. and Farley, A.", title = "Plan Abstraction Based on Operator Generalization", key = "Anderson and Farley", address = aaai-88p, booktitle = aaai-88, month = "August", organization = aaai, year = "1988") @inproceedings(hansson, address = "Stanford, CA", author = "Hansson, O. and Mayer, A.", entrydate = "2/8/85", key = "Hansson", month = "March", booktitle = "Working Notes of the AAAI Spring Symposium Series", organization = aaai, title = "Subgoal Generation from Problem Relaxation", year = "1989") @misc(Hansson-Mayer-Yung-89, author = "Hansson, O. and Mayer, A. and Yung, M.", title = "Criticizing Solutions to Relaxed Models Yields Powerful Admissible Heuristics", key = "Hansson, et al.", year = "1989", note = "Unpublished document: forwarded by the authors") @article(Ernst-Goldstein-JACM82, author = "Ernst, G. and Goldstein, M.", entrydate = "8/7/87", journal = "JACM", key = "Ernst", number = "1", pages = "1-23", title = "Mechanical Discovery of Classes of Problem-Solving Strategies", volume = "29", year = "1982") @comment(*******End Group2*******)