farinas@geocub.UUCP (Luis Farinas) (01/07/88)
BULLETIN ANNOUNCEMENT ===================== -The applications of non-classical logics in Artificial Intelligence have become more and more popular. -Many automated proof procedures have been developed for these logics. -There are no natural means of exchanging information quickly about them (e.g. epistemic logics, temporal logics, deontic logics, logics ot theory of change, non-monotonic logics ...) Therefore : We plan to edit an informal bulletin on applied non-classical logics and proof methods for them containing: (1) short communications about current research work (1-2 pages) (2) abstracts of papers (3) presentations of research groups and projects (4) information about seminars, workshops, conferences. If you are interested in this enterprise, please send to one of us the relevant information. If you would like to receive (free) this Bulletin please send to one of us your name and direction and we shall put you on the mailing list. Please distribute this information among your colleagues. Ewa ORLOWSKA Luis FARINAS DEL CERRO Polish Academy of Sciences Universite Paul Sabatier P.O. Box 22, 00-901 Warsaw Langages et Systemes Informatiques Poland 31062 Toulouse cedex - France e-mail: geocub!farinas on uucp