EWSL 1991: Porto, Portugal

Part 1: Cronstructive Induction and Multi-strategy Approaches

Part 2: Discovery

Part 3: Numeric and Statistical Approaches

Part 4: Theorem Proving and EBL

Part 5: Inversion of Resolution

Part 6: Analogy and Case-Based Learning

Part 7: Multi-agents

Part 8: Applications

maintained by Schloss Dagstuhl LZI at University of Trier