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)