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:

• Alexander Bochman (Holon Academic Institute of Technology): "Default Logic Generalized and Simplified"

  Abstract:

  We study a generalization of default logic obtained by extending its logical, monotonic basis to disjunctive (multiple-conclusion) rules. Special attention will be paid to the representation opportunities created by such rules, in particular to the use of default justifications in the heads of the rules. On the other hand, it will be shown that even the generalized default logic can be simplified to a formal system that involves only monotonic inference rules and unconditional (`supernormal') default assumptions.

• Fangzhen Lin (Hong Kong University of Science and Technology): "A theory of forgetting and its applications"

  Abstract:

  Given a logical theory T and a proposition p, what does it mean to forget about p in T? What about if p is not a proposition but a relation? In this talk, I will first present a notion of forgetting and discuss some of its properties. I will then talk about two of its applications. One is in computing what I called the strongest necessary and weakest sufficient conditions of a proposition. The other is in merging a set of knowledge bases when simply taking their union may yield an inconsistent knowledge base.

  The theory of forgetting that I will talk about is based on the following joint work with Ray Reiter:

  • F. Lin and R. Reiter. Forget about it! In Working Note of 1994 AAAI Fall Symposium on Relevance. Edited by R. Greiner and D. Subramanian.

  The first application is based on my following work:

  • F. Lin. On strongest necessary and weakest sufficient conditions. In Proc. of KR'2000.

  The second application is based on the following work by Lang and Marquis:

  • J. Lang and P. Marquis. Resolving inconsistencies by variable forgetting. In Proc. of KR'2002.

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	Lunch
	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	Lunch
	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	Bochman 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	Varzinczak 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.

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):

• foundations of non-monotonic reasoning
• belief revision
• information fusion
• reasoning and decision-making under uncertainty
• answer set programming
• belief updating and inconsistency handling
• default reasoning
• similarity-based reasoning
• empirical studies of reasoning strategies
• representing actions and planning
• argument-based nonmonotonic logics
• abductive reasoning
• algorithms and implementations
• nonmonotonic logics in multiagent interaction
• including negotiation and dispute resolution.

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.

Format

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

Links