Abstract is missing.
- The Design of the Seventh Answer Set Programming CompetitionMartin Gebser, Marco Maratea, Francesco Ricca. 3-9 [doi]
- A Bird's-Eye View of Forgetting in Answer-Set ProgrammingJoão Leite. 10-22 [doi]
- Answer Set Programming and Its Applications in Planning and Multi-agent SystemsTran Cao Son. 23-35 [doi]
- From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and BeyondFrancesca Toni. 36-39 [doi]
- Modular Construction of Minimal ModelsRachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli. 43-48 [doi]
- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded SemanticsStefano Bistarelli, Francesco Santini. 49-56 [doi]
- Foundations for a Probabilistic Event CalculusFabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller 0002. 57-63 [doi]
- Contextual Reasoning: Usually Birds Can Abductively FlyEmmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira. 64-77 [doi]
- ⊥Maximilian Pensel, Anni-Yasmin Turhan. 78-84 [doi]
- A Monotonic View on Reflexive Autoepistemic ReasoningEzgi Iraz Su. 85-100 [doi]
- Minimal Inference Problem Over Finite Domains: The Landscape of ComplexityMichal Wrona. 101-113 [doi]
- Gelfond-Zhang Aggregates as Propositional FormulasPedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn. 117-131 [doi]
- Answer Set Solving with Bounded Treewidth RevisitedJohannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran. 132-145 [doi]
- Vicious Circle Principle and Formation of Sets in ASP Based LanguagesMichael Gelfond, Yuanlin Zhang. 146-159 [doi]
- Answer Set Programs with Queries over SubprogramsChristoph Redl. 160-175 [doi]
- Explaining Inconsistency in Answer Set Programs and ExtensionsChristoph Redl. 176-190 [doi]
- Blending Lazy-Grounding and CDNL Search for Answer-Set SolvingAntonius Weinzierl. 191-204 [doi]
- Answer Set Programming with Graded ModalityZhizheng Zhang. 205-211 [doi]
- The ASP System DLV2Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari. 215-221 [doi]
- lp2normal - A Normalization Tool for Extended Logic ProgramsJori Bomanson. 222-228 [doi]
- \mathsf Harvey : A System for Random Testing in ASPAlexander Greßler, Johannes Oetsch, Hans Tompits. 229-235 [doi]
- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and BeyondCarlos Lopes, Matthias Knorr, João Leite. 236-249 [doi]
- ArgueApply: A Mobile App for ArgumentationJörg Pührer. 250-262 [doi]
- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set ProgrammingMutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura. 265-278 [doi]
- Automatic Synthesis of Optimal-Size Concentrators by Answer Set ProgrammingMarc Dahlem, Tripti Jain, Klaus Schneider 0001, Michael Gillmann. 279-285 [doi]
- plasp 3: Towards Effective ASP PlanningYannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub. 286-300 [doi]
- Nurse Scheduling via Answer Set ProgrammingCarmine Dodaro, Marco Maratea. 301-307 [doi]
- Hybrid Metabolic Network CompletionClémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko. 308-321 [doi]
- Action Language Hybrid ALAlex Brik, Jeffrey B. Remmel. 322-335 [doi]
- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set ProgrammingOrkunt Sabuncu, João Leite. 336-342 [doi]
- Adjudication of Coreference Annotations via Answer Set OptimizationPeter Schüller. 343-357 [doi]