22-25 October 2010, 30 Years of Nonmonotonic Logic, Lexington KY, U.S.A.

The publication of the seminal issue on Nonmonotonic Logics by the Artificial Intelligence Journal in 1980 resulted in the new area of research in Knowledge Representation. This development changed the paradigm of logic originated in antiquity, created an important area of mathematical logic, and resulted in exciting discoveries of logical techniques creating new bridges between logic, knowledge representation and computation. The research contributed to mathematical logic, computer science and philosophy, and changed the perspective on applications of logic.

This conference aims to sum up the experience of the first 30 years of nonmonotonic logics and map paths into the future. It will interleave longer invited talks covering all major research trends of the past 30 years with shorter technical presentations providing an account of the current research. Invited presentations will be published in an edited book by the College Publications. A special issue of the Journal of Artificial Intelligence Research will provide a venue for technical presentations.

For more information, see http://sites.google.com/site/nonmonat30/