marek@gvax.cs.cornell.edu (Wiktor Marek) (09/13/89)
Special Session on Logic and Artificial Intelligence
at:
Symposium on Artificial Intelligence and Mathematics
Fort Lauderdale, FL January 3-5 1990
During the Symposium (see: news.announce.conferences) a spe-
cial Session on Logic and Artificial Intelligence will take
place. A number of logicians currently involved in investi-
gations of Logical Foundations of Artificial Intelligence
will take part in the Session. These currently include: H.
Blair (Syracuse U.), A. Brown (Xerox), M. Gelfond (U. of
Texas), W. Marek (Cornell and U. of Kentucky), A. Nerode
(Cornell), J. Schlipf (U. of Cincinnati), M. Truszczynski
(U. of Kentucky), D. Wijesekera (Cornell).
Scientists active in the research of Logical Foundations of
Artificial Intelligence and interested in participating in
the Session, are requested to get in touch with:
Professor Anil Nerode
Department of Mathematics
Cornell University
Ithaca, NY 14850
Electronic inquiries can be sent to:
nerode@mssun7.msi.cornell.edu
Wiktor Marek
normally in the University of Kentucky, but now for 1989/90 in the
MSI/ Cornell University. If you want to reach me, write to:
marek@gvax.cs.cornell.edu