KANT@CMU-CS-C.ARPA (01/06/84)
Jan 23 LISP: Non-Standard Control Mechanisms (Carbonell) W Jan 25 LISP: Semantic Grammar Interpreter (Carbonell) M Jan 30 LISP: Case-Frame interpreter (Hayes) W Feb 1 PROLOG I (Steele) M Feb 6 PROLOG II (Steele) W Feb 8 Reason Maintenance and Comparison with PROLOG (Steele) M Feb 13 AI Programming Environments and Hardware I (Fahlman) W Feb 15 AI Programming Environments and Hardware II (Fahlman) M Feb 20 Schema Representation Languages I (Fox) W Feb 22 Schema Representation Languages II (Fox) W Feb 29 User-Interface Issues in AI (Hayes) M Mar 5 Efficient Game Playing and Searching (Berliner) W Mar 7 Production Systems: Basic Programming Techniques (Kant) M Mar 12 Production Systems: OPS5 Programming (Kant) W Mar 14 Efficiency and Measurement in Production Systems (Forgy) M Mar 16 Implementing Diagnostic Systems as Production Systems (Kahn) M Mar 26 Intelligent Tutoring Systems: GRAPES and ACT Implementations (Anderson) W Mar 28 Explanation and Knowledge Acquisition in Expert Systems (McDermott) M Apr 2 A Production System for Problem Solving: SOAR2 (Laird) W Apr 4 Integrating Expert-System Tools with SRL (KAS, PSRL, PDS) (Rychener) M Apr 9 Additional Expert System Tools: EMYCIN, HEARSAY-III, ROSIE, LOOPS, KEE (Rosenbloom) W Apr 11 A Modifiable Production-System Architecture: PRISM (Langley) M Apr 16 (additional topics open to negotiation)