NMR 2014

15th International Workshop on Non-Monotonic Reasoning

17–19 July 2014, Vienna
Vienna

Program

Thursday, July 17th

08:45 - 10:15
(EI, EI 9)		Uncertainty
Chair: Leopoldo Bertossi
08:45
Daniel Schwartz
Nonmonotonic Reasoning as a Temporal Activity
09:15
Matthias Nickles and Alessandra Mileo
Probabilistic Inductive Logic Programming based on Answer Set Programming
09:45
Emil Weydert
A Plausibility Semantics for Abstract Argumentation Frameworks
10:15 - 10:45Coffee Break
10:45 - 12:15
(EI, EI 9)		Declarative Programming 1
Chair: Aaron Hunter
10:45
James P. Delgrande and Kewen Wang
An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
11:15
Shahab Tasharrofi and Eugenia Ternovska
Three Semantics for Modular Systems
11:45
Joao Moura and Carlos Viegas Damásio
Generalising Modular Logic Programs
12:15 - 13:00
(EI, EI 9)		Systems 1
Chair: Michael Fink
12:15
Marco Maratea, Luca Pulina, and Francesco Ricca
The Multi-engine ASP Solver ME-ASP: Progress Report
12:37
Mario Alviano, Carmine Dodaro, and Francesco Ricca
Preliminary Report on WASP 2
13:00 - 14:30Lunch Break
14:30 - 15:30
(EI, EI 9)		Invited Talk
Chair: Sébastien Konieczny
14:30
Hans Rott
Four Floors for the Theory of Theory Change
15:30 - 16:00
(EI, EI 9)		Declarative Programming 2
Chair: Sébastien Konieczny
15:30
Martin Slota, Martin Baláž, and Joao Leite
On Strong and Default Negation in Logic Program Updates
16:00 - 16:30Coffee Break
16:30 - 18:30
(EI, EI 9)		Belief Change
Chair: Richard Booth
16:30
Bart Bogaerts, Joost Vennekens, Marc Denecker, and Jan Van den Bussche
Inference in the FO(C) Modelling Language
17:00
Bart Bogaerts, Joost Vennekens, Marc Denecker, and Jan Van den Bussche
FO(C) and Related Modelling Paradigms
17:30
Nadia Creignou, Odile Papini, Stefan Rümmele, and Stefan Woltran
Belief Merging within Fragments of Propositional Logic
18:00
Aaron Hunter
Belief Revision and Trust
19:00 - 21:00Welcome Reception (jointly with DL)

Friday, July 18th

08:45 - 09:45
(EI, EI 7)		Joint NMR/DL Session
Chair: Hans Tompits
08:45
Patrick Blackburn
Fragments of Logic, Language, and Computation
09:45 - 10:15
(EI, EI 7)		Joint NMR/DL Session
Chair: Hans Tompits
09:45
Oliver Fernandez Gil
On the Non-Monotonic Description Logic ALC+Tmin
10:15 - 10:45Coffee Break
10:45 - 12:00
(EI, EI 7)		Joint NMR/DL Session
Chair: Mantas Šimkus
10:45
Thomas Eiter, Michael Fink, and Daria Stepanova
Towards Practical Deletion Repair of Inconsistent DL-programs
11:10
Wenzhao Qiao and Nico Roos
An Argumentation System for Reasoning with Conflict-minimal Paraconsistent ALC
11:35
Camille Bourgaux, Meghyn Bienvenu, and François Goasdoué
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
12:00 - 13:00
(EI, EI 9)		Benchmarks
Chair: James Delgrande
12:00
Daniel Le Berre
Some Thoughts about Benchmarks for NMR
12:30
Elena Cabrio and Serena Villata
Towards a Benchmark of Natural Language Arguments
13:00 - 14:30Lunch Break
14:30 - 16:00
(EI, EI 9)		Argumentation 1
Chair: Philippe Besnard
14:30
Anthony Hunter
Analysis of Dialogical Argumentation via Finite State Machines
15:00
Richard Booth, Dov Gabbay, Souhila Kaci, Tjitze Rienstra, and Leendert Van Der Torre
Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
15:30
Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, and Rob Miller
Non-Monotonic Reasoning and Story Comprehension
16:00 - 16:30Coffee Break
17:00 - 23:30Social Event (jointly with DL)

Saturday, July 19th

08:45 - 10:15
(EI, EI 9)		Causality and Inference
Chair: Wolfgang Faber
08:45
Olaf Beyersdorff and Leroy Chew
Tableau vs. Sequent Calculi for Minimal Entailment
09:15
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, and Swan Rocher
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
09:45
Babak Salimi and Leopoldo Bertossi
Causality in Databases: The Diagnosis and Repair Connections
10:15 - 10:45Coffee Break
10:45 - 12:15
(EI, EI 9)		Declarative Programming 3
Chair: Evgenia Ternovska
10:45
Kostyantyn Shchekotykhin
Interactive Debugging of ASP Programs
11:15
Mario Alviano and Wolfgang Faber
Semantics and Compilation of Answer Set Programming with Generalized Atoms
11:45
Alexander Šimko
A Family of Descriptive Approaches To Preferred Answer Sets
12:15 - 13:00
(EI, EI 9)		Systems 2
Chair: Emil Weydert
12:15
Shiqi Zhang, Mohan Sridharan, Michael Gelfond, and Jeremy Wyatt
KR3: An Architecture for Knowledge Representation and Reasoning in Robotics
12:37
Marcello Balduccini, William Regli, and Duc Nguyen
An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report
13:00 - 14:30Lunch Break
14:30 - 15:30
(EI, EI 9)		Invited Talk
Chair: Hans Tompits
14:30
Philippe Besnard
Revisiting Postulates for Inconsistency Measures
15:30 - 16:00
(EI, EI 9)		Nonmonotonic Logics
Chair: Hans Tompits
15:30
Jianmin Ji and Hannes Strass
Implementing Default and Autoepistemic Logics via the Logic of GK
16:00 - 16:30Coffee Break
16:30 - 18:30
(EI, EI 9)		Argumentation 2
Chair: Sarah Gaggl
16:30
Ringo Baumann, Wolfgang Dvorak, Thomas Linsbichler, Hannes Strass, and Stefan Woltran
Compact Argumentation Frameworks
17:00
Sylwia Polberg
Extension-based Semantics of Abstract Dialectical Frameworks
17:30
Jozef Frtús
Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation
18:00
Hannes Strass
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks