Abstract is missing.
- Train Scheduling with Hybrid ASPDirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko. 3-17 [doi]
- Telco Network Inventory Validation with NoHRVedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite. 18-31 [doi]
- An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm RobotsRiccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati. 32-44 [doi]
- C-ASP: Continuous ASP-Based Reasoning over RDF StreamsThu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo. 45-50 [doi]
- Internet Routing and Non-monotonic ReasoningAnduo Wang, Zhijia Chen. 51-57 [doi]
- Assessing Arguments with Schemes and FallaciesPierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard. 61-74 [doi]
- Simple Contrapositive Assumption-Based FrameworksJesse Heyninck, Ofer Arieli. 75-88 [doi]
- Argumentation-Based Explanations for Answer Sets Using ADFLena Rolf, Gabriele Kern-Isberner, Gerhard Brewka. 89-102 [doi]
- Treewidth and Counting Projected Answer SetsJohannes Klaus Fichte, Markus Hecher. 105-119 [doi]
- Splitting Epistemic Logic ProgramsPedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro. 120-133 [doi]
- Founded World Views with Autoepistemic Equilibrium LogicPedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro. 134-147 [doi]
- Towards Dynamic Answer Set Programming over Finite TracesPedro Cabalar, Martín Diéguez, Torsten Schaub. 148-162 [doi]
- A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non DaturSopo Pkhakadze, Hans Tompits. 163-177 [doi]
- Diagnosing Data Pipeline Failures Using Action LanguagesJori Bomanson, Alex Brik. 181-194 [doi]
- Repair-Based Degrees of Database InconsistencyLeopoldo E. Bertossi. 195-209 [doi]
- Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight OntologiesSihem Belabbes, Salem Benferhat, Jan Chomicki. 210-223 [doi]
- BC+Yi Wang, Joohyung Lee. 224-238 [doi]
- Evaluation of Disjunctive Programs in WASPMario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca. 241-255 [doi]
- telingo = ASP + TimePedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub. 256-269 [doi]
- Verifying Strong Equivalence of Programs in the Input Language of gringoVladimir Lifschitz, Patrick Lühne, Torsten Schaub. 270-283 [doi]
- The Return of xorroFlavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub. 284-297 [doi]
- Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP SolvingRichard Taupe, Antonius Weinzierl, Gerhard Friedrich. 298-311 [doi]
- Enhancing DLV for Large-Scale ReasoningNicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari. 312-325 [doi]
- Pruning External Minimality Checking for ASP Using Semantic DependenciesThomas Eiter, Tobias Kaminski. 326-339 [doi]
- Declarative Local Search for Predicate LogicTu-San Pham, Jo Devriendt, Patrick De Causmaecker. 340-346 [doi]