Twelfth International Workshop on

Non-Monotonic Reasoning

13 September to 15 September 2008.
Sydney, Australia

Collocated with KR 2008 CP 2008 ICAPS 2008 in Sydney, Australia.

News: Paper submission deadline extended to 22 June, 2008.

NMR'08 Special session on Applications

A number of systems which implement nonmonotonic reasoning (NMR) or make extensive use of NMR techniques have been developed in the past decade. The efficiency of such systems has been boosted by the increasing performance of computer hardware as well as advances in algorithm design. The current performance level is already sufficient to enable industrial applications of nonmonotonic reasoning. Indeed, a wide range of applications has emerged along with the development of NMR systems. This special session aims to attract researchers who have interest and/or practical experience in significant applications of NMR. The aim is to share views about the current state of the art and to look for new emerging areas of application.

The session on applications is a one-day event and the technical program forms a part of the Twelfth Nonmonotonic Reasoning Workshop (NMR2008), to be held in Sydney, Australia, and collocated with the KR'2008 conference.

Authors are invited to submit papers on applications of NMR. Submissions relevant to the following general issues are welcome:

• The role of nonmonotonicity in applications
• Application enabling technologies
• Methodologies of representing knowledge in NMR languages
• Systems that embed nonmonotonic reasoning techniques
• Scalability aspects and benchmarking
• Future challenges

Topics

The list of topics of interest includes but is not limited to:

• Emerging applications of NMR logics and formalisms, including action languages, answer set programming, ID-logic, uncertainty frameworks;
• NMR in planning, reasoning with preferences, argumentation, belief revision and update;
• NMR in bioinformatics, security, games, semantic web;
• experimental studies of NMR formalisms.

Session Co-Chairs

• Tomi Janhunen, Helsinki Univ. of Technology, (Tomi dot Janhunen at tkk dot fi)
• Eugenia Ternovska, Simon Fraser Univ., (ter at cs dot sfu dot ca)

Program Committee

• Leopoldo Bertossi, Carleton University, Canada
• Jim Delgrande, Simon Fraser University, Canada
• Wolfgang Faber, University of Calabria, Italy
• Michael Fink, Vienna University of Technology, Austria
• Paolo Liberatore, University of Rome "La Sapienza", Italy
• Leora Morgenstern, Stanford University, USA
• Pascal Nicolas, University of Angers, France
• Simona Perri, University of Calabria, Italy
• Jussi Rintanen, NICTA, Australia
• Riccardo Rosati, University of Rome "La Sapienza", Italy
• Torsten Schaub, University of Potsdam, Germany
• Mirek Truszczynski, University of Kentucky, USA
• Jia You, University of Alberta, Canada
• Mary-Anne Williams, University of Technology Sydney, Australia

Submission Details

All NMR-08 sessions have the same submission requirements. Submissions are are limited to 9 pages using the KR paper format. Please send a PDF file of the submission to each of the organizers by e-mail.

Important Dates

• Submission of papers: June 15, 2008 June 22, 2008 (extended)
• Notification of acceptance: July 15, 2008
• Camera ready copy (PDF file): August 15, 2008