If-Then Statements in Games and AI, by
Robert John Aumann,
Hebrew University, Israel.
(Monday, January 5, 1998: 11:00-12:00)
Using Multi-Agent Systems to Represent Uncertainty, by
Joseph Y. Halpern,
(Monday, January 5, 1998: 15:15-16:15)
Discontinuous Phase Transitions in Random Decision Problems, by
IBM, Yorktown Heights.
(Sunday, January 4, 1998: 15:15-16:15)
Automatic and Practical Equational Deduction, by
Argonne National Laboratory.
(Sunday, January 4, 1998: 11:00 - 12:00)