22-25 October 2010
Lexington KY, U.S.A.
FINAL CALL FOR PAPERS 30 Years of Nonmonotonic Logic - International Conference Lexington, KY, USA October 22 (Friday) - October 25 (Monday), 2010. http://sites.google.com/site/nonmonat30/ 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 (http://www.collegepublications.co.uk/). A special issue of the Journal of Artificial Intelligence Research (JAIR; http://www.jair.org/) will provide a venue for technical presentations (a detailed CFP for the special issue will be distributed at a later time; a rigorous peer review process in-line with JAIR quality standards will be followed). INVITED TALKS The following researchers will deliver invited presentations at the meeting: Chitta Baral Alexander Bochman James Delgrande Marc Denecker Thomas Eiter Dov Gabbay Michael Gelfond Georg Gottlob Michael Kaminski Daniel Lehmann Nicola Leone Vladimir Lifschitz Fangzhen Lin Jack Minker Ilkka Niemela David Pearce Teodor Przymusinski Jeffrey Remmel Eric Sandewall Torsten Schaub ORIGINAL TECHNICAL PAPERS 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. PROGRAM COMMITTEE Gerhard Brewka (co-Chair) Eyal Amir Salem Benferhat Richard Booth Pedro Cabalar Yannis Dimopoulos Wolfgang Faber Norman Foo Martin Gebser Tony Hunter Tomi Janhunen Victor Marek (co-Chair) Tommie Meyer Maurice Pagnucco Henry Prakken Chiaki Sakama Ken Satoh Evgenia Ternovska Michael Thielscher Mirek Truszczynski (co-Chair) Joost Vennekens Stefan Woltran Mingyi Zhang ORGANIZATION G. Brewka (brewka@informatik.uni-leipzig.de) V. Marek (marek@cs.uky.edu) M. Truszczynski (mirek@cs.uky.edu) IMPORTANT DATES (for the original technical contributions track) Paper submission: July 11 (Monday) Acceptance Decision: September 6 (Monday) Final Version (for on-line proceedings): October 3 (Monday) FORMAT AND SUBMISSION Preferred format: pdf (prepared using LaTeX with llncs style), maximum length: 15 pages. Paper Submission by EasyChair: The name of the conference at EasyChair is: NonMon at 30. Conference page: http://sites.google.com/site/nonmonat30/