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.