[news.announce.conferences] Session on Logic and Artificial Intelligence

marek@cornell (Wiktor Marek) (09/29/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
-- 
Someday has arrived