NMR'08 Special Session on Applications (CFP)

[Tomi Janhunen]

                             CALL FOR PAPERS

                    The 12th International Workshop on
                          NONMONOTONIC REASONING
                 Sydney, Australia, September 13-15, 2008

                     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
Mary-Anne Williams, University of Technology Sydney, Australia
Jia You, University of Alberta, Canada

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: 22 June 2008
Notification of acceptance: 15 July 2008
Camera ready copy (PDF File): 15 August 2008