30 years of Nonmonotonic Logic, Call for Participation

Victor Marek marek at cs.uky.edu
Do Aug 26 22:11:19 CEST 2010


Call for Participation
MonMon at 30, Thirty Years of Nonmonotonic Reasoning, International Conference
Lexington, KY, USA, October 22-25, 2010.
Sponsored by Association for Logic Programming.

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. 

To sum up the experience of 30 years of research we will meet in Lexington, KY
in October 2010. The meeting will consist of two tracks: 
a. Plenary presentations describing the progress of the area during the past 30
years
b. Technical contributed talks.

The list of plenary speakers includes: V. Lifschitz, G. Gottlob, D. Dubois, M.
Denecker, J. Minker, M. Gelfond, J. Remmel, E. Sandewall, D. Lehmann, T. Eiter,
M. Kaminski, T. Schaub, I. Niemela,  Ch. Baral, A. Bochman, D. Gabbay, J.
Delgrande, T. Eiter, and D. Pearce.

Visit the <A href="http://sites.google.com/site/nonmonat30/"> Conference site
</A> for information and registration.
Victor W. Marek                                 Department of Computer Science
marek at cs.uky.edu                                        University of Kentucky
marek at cs.engr.uky.edu                                 Lexington, KY 40506-0046
859-257-3496 (office)                                     859-257-3961 (Dept)
http://www.cs.uky.edu/~marek                              859-323-1971 (FAX)



Mehr Informationen über die Mailingliste IFI-CI-Event