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.

NEW: Proceedings of NMR-2008 now available for download (Warning: 6.3Mb file).

Invited speakers:

NEW: Schedule

Time Doric Room Corinthian Room
Saturday 13 September
10:00 - 10:30
Coffee/Tea Break
A1: Actions and Belief Change

Chair: Sebastian Sardina
B1: Declarative Programming Paradigms and Systems for NMR

Chair: Guillermo Simari
10:30 - 11:00 Gabaldon
Activity Recognition with Intended Actions, Answer Set Programming Approach
Gebser, Janhunen, Ostrowski, Schaub, Thiele
A Versatile Intermediate Language for Answer Set Programming
11:00 - 11:30 Zhang, Zhou
Properties of Knowledge Forgetting
Gebser, Kaminski, Kaufmann, Ostrowski, Schaub, Thiele
Engineering an Incremental ASP Solver
11:30 - 12:00 Zhou, Lin, Zhang
Embedding General Default Logic into the Logic of GK
Wittocx, Marien, Denecker
gidL: A Grounder for FO+
12:00 - 13:30
A2: Actions and Belief Change

Chair: Dongmo Zhang
B2: Declarative Programming Paradigms and Systems for NMR

Chair: Alfredo Gabaldon
13:30 - 14:00 Clasen, Engelmann, Lakemeyer, Roger
Integrating Golog and Planning: An Empirical Evaluation
Gottifredi, Garcia, Simari
Defeasible Knowledge and Argumentative Reasoning for 3APL Agent Programming
14:00 - 14:30 Everaere, Konieczny, Marquis
A diff-Based Merging Operator
Thimm, Garcia, Kern-Isberner, Simari
Using Collaborations for Distributed Argumentation with Defeasible Logic Programming
14:30 - 15:00 Ribeiro, Wassermann
Degrees of Recovery and Inclusion in Belief Base Dynamics
Drescher, Gebser, Kaufmann, Schaub
Heuristics in Conflict Resolution
15:00 - 15:30
Coffee/Tea Break
15:30 - 16:30
Invited Talk

Alexander Bochman

Default Logic Generalized and Simplified

Sunday 14 September
10:00 - 10:30
Coffee/Tea Break
E1: Argument, Dialogue and Decision

Chair: Gerard Vreeswijk
F1: Applications

Chair: Tomi Janhunen
10:30 - 11:00 Rotstein, Moguillansky, Garcia, Simari
An Abstract Argumentation Framework for Handling Dynamic
Boenn, Brain, De Vos, ffitch
Anton: Answer Set Programming in the Service of Music
11:00 - 11:30 Forth
Application of Possibilistic Stable Models to Decision Making
Dworschak, Grote, Koenig, Schaub, Veber
Tools for Representing and Reasoning about Biological Models in Action Language C
11:30 - 12:00 Biskup, Kern-Isberner, Thimm
Towards Enforcement of Confidentiality in Agent Interactions
12:00 - 12:30 Gomez Lucero, Chesnevar, Simari/I>
Formalizing Accrual in Defeasible Logic Programming
12:30 - 13:30
C1: Preferences

Chair: Kewen Wang
D1: Foundations of NMR and Uncertainty

Chair: Frank Wolter
13:30 - 14:00 Sefranek
Preferred Answer Sets Supported by Arguments
Larbi, Konieczny, Marquis
A Characterization of an Optimality Criterion for Decision Making under Complete Ignorance
14:00 - 14:30 Bikakis, Antoniou
Distributed Defeasible Reasoning in Multi-Context Systems
Kaci, da Silva Neves
Specificity Principle in Querying Databases with Preferences
14:30 - 15:00 Pham, Thakur, Governatori
Defeasible Logic to Model n-persons Argumentation Game
Simple Generalized Default Theories
15:00 - 15:30
Coffee/Tea Break
15:30 - 16:30
Invited Talk

Fangzhen Lin

A Theory of Forgetting and its Applications

Monday 15 September
10:00 - 10:30
Coffee/Tea Break
C2: Preferences

Chair: Kewen Wang
A3: Actions and Belief Change

Chair: Sebastian Sardina
10:30 - 11:00 Schmidt, Delgrande
Incorporating a Qualitative Ranked Preference System into Planning
Moguillansky, Falappa, Simari
Model-Based Contractions for Description Logics
11:00 - 11:30 Lang, Mengin
Learning Preference Relations over Combinatorial Domains
Tamargo, Garcia, Falappa, Simari
Consistency Maintenance of Plausible Belief Bases Based on Agents Credibility
11:30 - 12:00 Sohrabi, McIlraith
On Planning with Preferences in HTN
Action Theory Revision in Dynamic Logic
12:00 - 12:30 Benamara, Kaci, Pigozzi
Judgment Aggregation with Rule Confidence Scores

NEW: NMR registration and accommodation information is now available by referring to the KR 2008 registration page.

Note that early registration ends on July 31.

The NMR workshop series is the premier specialised forum for researchers in nonmonotonic reasoning and related areas. This will be the 12th workshop in the series. Its aim is to bring together active researchers in the broad area of nonmonotonic reasoning, including belief revision, reasoning about actions, planning, logic programming, argumentation, causality, probabilistic and possibilistic approaches to KR, and other related topics. Workshop activities include invited talks, tutorials, presentations of technical papers and special sessions.

The workshop programme will be chaired by Michael Thielscher and Maurice Pagnucco, and the programme includes the following sessions (with session chairs).
  • Actions and Belief Change (Sebastian Sardina and Dongmo Zhang)
  • Applications (Tomi Janhunen and Eugenia Ternovska)
  • Argument, Dialogue and Decision (Yannis Dimopoulos and Gerard Vreeswijk)
  • Declarative Programming Paradigms and Systems for NMR (Esra Erdem and João Leite)
  • Preferences (Hans Tompits and Kewen Wang)
  • Foundations of NMR and Uncertainty (Alberto Finzi and Frank Wolter)
  • Topics of Interest

    NMR'08 welcomes the submission of papers broadly centred on issues and research in nonmonotonic reasoning. We welcome papers of either a theoretical or practical nature. Topics of interest include (but are not limited to):

    Important Dates

    KR notification: May 25, 2008
    NMR submission of papers: June 15, 2008
    Acceptance decision by: July 15, 2008
    Camera ready copy due: August 15, 2008
    Conference dates: September 13-15, 2008

    Submisson Requirements

    Papers should be submitted to the program chair of the appropriate subworkshop; if it is not clear which subworkshop is most appropriate, please submit directly to the workshop Program Chairs. Submissions are limited to 9 pages using KR style format.

    Details of how to submit papers can be found by following the links on the web page to each of the sessions. There will be one set of proceedings for all six subworkshops.


    The NMR workshop is three days. Each subworkshop will occupy half a day or a full day, with two subworkshops running in parallel.


  • Homepage for the International Workshops in Non-monotonic Reasoning (NMR Workshops)
  • Homepage for the 11th International Workshop on Non-monotonic Reasoning (NMR06)
  • Homepage for the 10th International Workshop on Non-monotonic Reasoning (NMR04)