[PlanetKR] NonMon at 30, Thirty Years of Nonmonotonic Reasoning, International Conference
Mary-Anne Williams
Mary-Anne at TheMagicLab.org
Fri Aug 27 06:45:17 EST 2010
Call for Participation
NonMon 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20100827/a081898a/attachment.html
More information about the PlanetKR
mailing list