NMR 2014

15th International Workshop on Non-Monotonic Reasoning

17–19 July 2014, Vienna

Accepted Papers

  • Mario Alviano, Carmine Dodaro and Francesco Ricca. Preliminary Report on WASP 2.
  • Mario Alviano and Wolfgang Faber. Semantics and Compilation of Answer Set Programming with Generalized Atoms.
  • Marcello Balduccini, William Regli and Duc Nguyen. An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report.
  • Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier and Swan Rocher. Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation.
  • Ringo Baumann, Wolfgang Dvorak, Thomas Linsbichler, Hannes Strass and Stefan Woltran. Compact Argumentation Frameworks.
  • Daniel Le Berre. Some Thoughts about Benchmarks for NMR.
  • Olaf Beyersdorff and Leroy Chew. Tableau vs. Sequent Calculi for Minimal Entailment.
  • Bart Bogaerts, Joost Vennekens, Marc Denecker and Jan Van den Bussche. Inference in the FO(C) Modelling Language.
  • Bart Bogaerts, Joost Vennekens, Marc Denecker and Jan Van Den Bussche. FO(C) and Related Modelling Paradigms.
  • Richard Booth, Dov Gabbay, Souhila Kaci, Tjitze Rienstra and Leendert Van Der Torre. Abduction in Argumentation: Dialogical Proof Procedures and Instantiation.
  • Elena Cabrio and Serena Villata. Towards a Benchmark of Natural Language Arguments.
  • Nadia Creignou, Odile Papini, Stefan Rümmele and Stefan Woltran. Belief Merging within Fragments of Propositional Logic.
  • James P. Delgrande and Kewen Wang. An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence.
  • Jozef Frtús. Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation.
  • Oliver Fernandez Gil. On the Non-Monotonic Description Logic ALC+Tmin.
  • Anthony Hunter. Analysis of Dialogical Argumentation via Finite State Machines.
  • Jianmin Ji and Hannes Strass. Implementing Default and Autoepistemic Logics via the Logic of GK.
  • Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael and Rob Miller. Non-Monotonic Reasoning and Story Comprehension.
  • Marco Maratea, Luca Pulina and Francesco Ricca. The Multi-engine ASP Solver ME-ASP: Progress Report.
  • Joao Moura and Carlos Viegas Damásio. Generalising Modular Logic Programs.
  • Matthias Nickles and Alessandra Mileo. Probabilistic Inductive Logic Programming based on Answer Set Programming.
  • Sylwia Polberg. Extension--based Semantics of Abstract Dialectical Frameworks.
  • Wenzhao Qiao and Nico Roos. An Argumentation System for Reasoning with Conflict-minimal Paraconsistent ALC.
  • Babak Salimi and Leopoldo Bertossi. Causality in Databases: The Diagnosis and Repair Connections.
  • Daniel Schwartz. Nonmonotonic Reasoning as a Temporal Activity.
  • Aaron Hunter. Belief Revision and Trust.
  • Kostyantyn Shchekotykhin. Interactive Debugging of ASP Programs.
  • Alexander Šimko. A Family of Descriptive Approaches To Preferred Answer Sets.
  • Martin Slota, Martin Baláž and Joao Leite. On Strong and Default Negation in Answer-Set Program Updates.
  • Hannes Strass. On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks.
  • Shahab Tasharrofi and Eugenia Ternovska. Three Semantics for Modular Systems.
  • Emil Weydert. A Plausibility Semantics for Abstract Argumentation Frameworks.
  • Shiqi Zhang, Mohan Sridharan, Michael Gelfond and Jeremy Wyatt. Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics.