16th International Workshop on Non-Monotonic Reasoning (NMR'16)
Call for Papers Submission
Camera Ready
(April 22 - 24 2016)


Download the program.

The venue is MR 2.60
All coffee breaks are in the Strelitzia Restaurant.
Friday, 22nd
    8:00 - 9:00Coffee
9:00 - 9:30 Opening
9:30 - 10:30 Chair:
Invited talk: Leon van der Torre. Arguing about obligations and permissions (abstract)
Coffee break
11:00 - 12:00 Chair:
Adrian Paschke and Tara Athan. Law Test Suites for Semantically-Safe Rule Interchange
Zoltan Esik. Equational properties of stratified least fixed points.
14:00 - 15:30 Chair:
Jean-Guy Mailly. Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks
Thomas Linsbichler, Jörg Pührer and Hannes Strass. Characterizing Realizability in Abstract Argumentation
Ringo Baumann, Thomas Linsbichler and Stefan Woltran. Verifiability of Argumentation Semantics
Coffee break
16:00 - 17:00 Chair:
Kristijonas Cyras and Francesca Toni. Properties of ABA+ for Non-Monotonic Reasoning
Jesse Heyninck and Christian Strasser. Relations between assumption-based approaches in nonmonotonic logic and formal argumentation
Saturday, 23rd
8:15 - 8:45Coffee
9:30 - 10:30 Chair:
Gavin Rens. On Stochastic Belief Revision and Update and their Combination
Gavin Rens, Thomas Meyer and Giovanni Casini. Revising Incompletely Specified Convex Probabilistic Belief Bases
Coffee break
11:00 - 12:00 Chair:
Marc van Zee and Dragan Doder. AGM-Style Revision of Beliefs and Intentions from a Database Perspective
Marco Garapa, Eduardo Fermé and Maurício Reis. Studies on Brutal Contraction and Severe Withdrawal
14:00 - 15:30 Chair:
Adrian Haret, Jean-Guy Mailly and Stefan Woltran. Distributing Knowledge into Simple Bases
Aaron Hunter. Ordinal Conditional Functions for Nearly Counterfactual Revision
Zhiqiang Zhuang, James Delgrande, Abhaya Nayak and Abdul Sattar. A New Approach for Revising Extended Logic Programs
Coffee break
16:00 - 17:30 Panel discussion - Future of NMR?
19:00 Dinner at Beluga (The Foundry, Prestwich Street, Green Point, Cape Town)
Sunday, 24th
8:30 - 9:00Coffee
9:00 - 10:00 Invited Talk Laura Giordano. Reasoning about typicality in preferential description logics (abstract)
10:00 - 10:30 (joint session with DL)
Meghyn Bienvenu, Camille Bourgaux and François Goasdoué. Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (DL paper)
Coffee break
11:00 - 12:30 Chair:    (joint session with DL)
Özgür Lütfü Özcep. Iterated Ontology Revision by Reinterpretation
Laura Giordano and Daniele Theseider Dupre'. Reasoning in a Rational Extension of SROEL (DL paper)
Valentina Gliozzi. A strengthening of rational closure in DLs: reasoning about multiple aspects
14:00 - 15:30 Chair:
Katharina Britz and Ivan Varzinczak. Preferential Modalities Revisited
Zeynep Gozen Saribatur and Thomas Eiter. Reactive Policies with Planning for Action Languages
Eugenia Ternovska. Static and Dynamic Views on the Algebra of Modular Systems
15:30 Closing