NMR 2014

Proceedings

The proceedings of NMR 2014 appeared as a technical report in the INFSYS Research Report Series and can be downloaded here.

Additionally, all accepted papers are published in the CoRR Computing Research Repository. Below, the contents of the proceedings volume can be downloaded individually, with links to the respective paper in CoRR.

Frontmatter

Invited Talks

• Hans RottFour Floors for the Theory of Theory Change

• Patrick BlackburnFragments of Logic, Language, and Computation

• Philippe BesnardRevisiting Postulates for Inconsistency Measures

Uncertainty

• Daniel SchwartzNonmonotonic Reasoning as a Temporal Activity
• Matthias Nickles and Alessandra MileoProbabilistic Inductive Logic Programming based on Answer Set Programming
• Emil WeydertA Plausibility Semantics for Abstract Argumentation Frameworks

Declarative Programming 1

• James P. Delgrande and Kewen WangAn Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
• Shahab Tasharrofi and Eugenia TernovskaThree Semantics for Modular Systems
• Joao Moura and Carlos Viegas DamásioGeneralising Modular Logic Programs

Systems 1

• Marco Maratea, Luca Pulina, and Francesco RiccaThe Multi-engine ASP Solver ME-ASP: Progress Report
• Mario Alviano, Carmine Dodaro, and Francesco RiccaPreliminary Report on WASP 2

Declarative Programming 2

• Martin Slota, Martin Baláž, and Joao LeiteOn Strong and Default Negation in Logic Program Updates

Belief Change

• Bart Bogaerts, Joost Vennekens, Marc Denecker, and Jan Van den BusscheInference in the FO(C) Modelling Language
• Bart Bogaerts, Joost Vennekens, Marc Denecker, and Jan Van den BusscheFO(C) and Related Modelling Paradigms
• Nadia Creignou, Odile Papini, Stefan Rümmele, and Stefan WoltranBelief Merging within Fragments of Propositional Logic
• Aaron HunterBelief Revision and Trust

Joint NMR/DL Contributed Papers

• Oliver Fernandez GilOn the Non-Monotonic Description Logic ALC+Tmin

• Wenzhao Qiao and Nico RoosAn Argumentation System for Reasoning with Conflict-minimal Paraconsistent ALC

Benchmarks

• Daniel Le BerreSome Thoughts about Benchmarks for NMR
• Elena Cabrio and Serena VillataTowards a Benchmark of Natural Language Arguments

Argumentation 1

• Anthony HunterAnalysis of Dialogical Argumentation via Finite State Machines
• Richard Booth, Dov Gabbay, Souhila Kaci, Tjitze Rienstra, and Leendert Van Der TorreAbduction in Argumentation: Dialogical Proof Procedures and Instantiation
• Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, and Rob MillerNon-Monotonic Reasoning and Story Comprehension

Causality and Inference

• Olaf Beyersdorff and Leroy ChewTableau vs. Sequent Calculi for Minimal Entailment
• Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, and Swan RocherRevisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
• Babak Salimi and Leopoldo BertossiCausality in Databases: The Diagnosis and Repair Connections

Declarative Programming 3

• Kostyantyn ShchekotykhinInteractive Debugging of ASP Programs
• Mario Alviano and Wolfgang FaberSemantics and Compilation of Answer Set Programming with Generalized Atoms
• Alexander ŠimkoA Family of Descriptive Approaches To Preferred Answer Sets

Systems 2

• Shiqi Zhang, Mohan Sridharan, Michael Gelfond, and Jeremy WyattKR3: An Architecture for Knowledge Representation and Reasoning in Robotics
• Marcello Balduccini, William Regli, and Duc NguyenAn ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report

Nonmonotonic Logics

• Jianmin Ji and Hannes StrassImplementing Default and Autoepistemic Logics via the Logic of GK

Argumentation 2

• Ringo Baumann, Wolfgang Dvorak, Thomas Linsbichler, Hannes Strass, and Stefan WoltranCompact Argumentation Frameworks
• Sylwia PolbergExtension-based Semantics of Abstract Dialectical Frameworks
• Jozef FrtúsCredulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation
• Hannes StrassOn the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks