论文信息 - LEAP: A Learning Apprentice for VLSI Design - 字舞流文

LEAP: A Learning Apprentice for VLSI Design

Tom M. Mitchell | Sridhar Mahadevan | Louis I. Steinberg | Tom Michael Mitchell | S. Mahadevan | L. Steinberg | Sridhar Mahadevan

[1] Sridhar Mahadevan,et al. Verification-based learning: a generalisation strategy for inferring problem-reduction methods , 1985, IJCAI 1985.

[2] Tom M. Mitchell,et al. Representation and Use of Explicit Justifications for Knowledge Base Refinements , 1985, IJCAI.

[3] Gary Kahn,et al. A foundation for knowledge acquisition , 1984 .

[4] Steven Minton,et al. Constraint-Based Generalization: Learning Game-Playing Plans From Single Examples , 1984, AAAI.

[5] Van E. Kelly. The CRITTER System -- Automated Critiquing of Digital Circuit Designs , 1984, 21st Design Automation Conference Proceedings.

[6] S. Salzberg,et al. LEARNING BY BUILDING CAUSAL EXPLANATIONS. , 1984 .

[7] Sholom M. Weiss,et al. Using Empirical Analysis to Refine Expert System Knowledge Bases , 1984, Artif. Intell..

[8] Tom M. Mitchell,et al. Learning and Problem Solving , 1983, IJCAI.

[9] Gerald DeJong. Automatic Schema Acquisition in a Natural Language Environment , 1982, AAAI.

[10] Ryszard S. Michalski,et al. Knowledge acquisition by encoding expert rules versus computer induction from examples: a case study , 1980 .

[11] Tom M. Mitchell,et al. MODEL-DIRECTED LEARNING OF PRODUCTION RULES1 , 1978 .

[12] G J Williams,et al. The Protein Data Bank: a computer-based archival file for macromolecular structures. , 1978, Archives of biochemistry and biophysics.