4 February 2010
CfP: 30 Years of Nonmonotonic Logic
Posted by Olivier Roy under: Activities; Belief revision, conditioning, imaging and other belief; Call for papers; Programming Theory .
| Sunday, July 11, 2010 | ||
| Friday, October 22, 2010 | to | Monday, October 25, 2010 |
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.
We invite papers in all areas of nonmonotonic reasoning, and especially
encourage submissions underlying the role of nonmonotonic reasoning in
artificial intelligence and knowledge representation. Paper submission
deadline: July 11.
For more information, see http://sites.google.com/site/nonmonat30/
Loading... 
