Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, 14th International Conference

Front Matter ....Pages I-XIII
Front Matter ....Pages 1-1
 The Design of the Seventh Answer Set Programming Competition  (Martin Gebser, Marco Maratea, Francesco Ricca)....Pages 3-9
 A Bird’s-Eye View of Forgetting in Answer-Set Programming  (João Leite)....Pages 10-22
 Answer Set Programming and Its Applications in Planning and Multi-agent Systems  (Tran Cao Son)....Pages 23-35
 From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond  (Francesca Toni)....Pages 36-39
Front Matter ....Pages 41-41
 Modular Construction of Minimal Models  (Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli)....Pages 43-48
 A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics  (Stefano Bistarelli, Francesco Santini)....Pages 49-56
 Foundations for a Probabilistic Event Calculus  (Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens, Rob Miller)....Pages 57-63
 Contextual Reasoning: Usually Birds Can Abductively Fly  (Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira)....Pages 64-77
 Including Quantification in Defeasible Reasoning for the Description Logic \\(\\mathcal {EL} _{\\bot } \\)  (Maximilian Pensel, Anni-Yasmin Turhan)....Pages 78-84
 A Monotonic View on Reflexive Autoepistemic Reasoning  (Ezgi Iraz Su)....Pages 85-100
 Minimal Inference Problem Over Finite Domains: The Landscape of Complexity  (Michał Wrona)....Pages 101-113
Front Matter ....Pages 115-115
 Gelfond-Zhang Aggregates as Propositional Formulas  (Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn)....Pages 117-131
 Answer Set Solving with Bounded Treewidth Revisited  (Johannes K. Fichte, Markus Hecher, Michael Morak, Stefan Woltran)....Pages 132-145
 Vicious Circle Principle and Formation of Sets in ASP Based Languages  (Michael Gelfond, Yuanlin Zhang)....Pages 146-159
 Answer Set Programs with Queries over Subprograms  (Christoph Redl)....Pages 160-175
 Explaining Inconsistency in Answer Set Programs and Extensions  (Christoph Redl)....Pages 176-190
 Blending Lazy-Grounding and CDNL Search for Answer-Set Solving  (Antonius Weinzierl)....Pages 191-204
 Answer Set Programming with Graded Modality  (Zhizheng Zhang)....Pages 205-211
Front Matter ....Pages 213-213
 The ASP System DLV2  (Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri et al.)....Pages 215-221
 lp2normal — A Normalization Tool for Extended Logic Programs  (Jori Bomanson)....Pages 222-228
 \\(\\mathsf {Harvey}\\): A System for Random Testing in ASP  (Alexander Greßler, Johannes Oetsch, Hans Tompits)....Pages 229-235
 NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond  (Carlos Lopes, Matthias Knorr, João Leite)....Pages 236-249
 ArgueApply: A Mobile App for Argumentation  (Jörg Pührer)....Pages 250-262
Front Matter ....Pages 263-263
 catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming  (Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh et al.)....Pages 265-278
 Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming  (Marc Dahlem, Tripti Jain, Klaus Schneider, Michael Gillmann)....Pages 279-285
 plasp 3: Towards Effective ASP Planning  (Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub)....Pages 286-300
 Nurse Scheduling via Answer Set Programming  (Carmine Dodaro, Marco Maratea)....Pages 301-307
 Hybrid Metabolic Network Completion  (Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko)....Pages 308-321
 Action Language Hybrid AL  (Alex Brik, Jeffrey Remmel)....Pages 322-335
 moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming  (Orkunt Sabuncu, João Leite)....Pages 336-342
 Adjudication of Coreference Annotations via Answer Set Optimization  (Peter Schüller)....Pages 343-357
Back Matter ....Pages 359-359