Abstract is missing.
- GPU-Based Parallelism for ASP-SolvingAgostino Dovier, Andrea Formisano, Flavio Vella. 3-23 [doi]
- A Process Calculus for Formally Verifying Blockchain Consensus ProtocolsWolfgang Jeltsch. 24-39 [doi]
- Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer ProgrammingArmin Wolf. 43-58 [doi]
- Finding Maximal Non-redundant Association Rules in Tennis DataDaniel Weidner, Martin Atzmueller, Dietmar Seipel. 59-78 [doi]
- From Textual Information Sources to Linked Data in the Agatha ProjectPaulo Quaresma, Vítor Beires Nogueira, Kashyap Raiyani, Roy Bayot, Teresa Gonçalves 0001. 79-88 [doi]
- Allen's Interval Algebra Makes the DifferenceTomi Janhunen, Michael Sioutis. 89-98 [doi]
- Exploring Properties of Icosoku by Constraint Satisfaction ApproachKe Liu 0006, Sven Löffler, Petra Hofstedt. 99-105 [doi]
- The Regularization of Small Sub-Constraint Satisfaction ProblemsSven Löffler, Ke Liu 0006, Petra Hofstedt. 106-115 [doi]
- Declarative Programming for Microcontrollers - Datalog on ArduinoMario Wenzel, Stefan Brass. 119-138 [doi]
- Towards Constraint Logic Programming over Strings for Test Data GenerationSebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke. 139-159 [doi]
- Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order LogicChristoph Wernhard. 160-177 [doi]
- KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative [inline-graphic not available: see fulltext] Markup and a Core Written in SWI-PrologJana Kittelmann, Christoph Wernhard. 178-196 [doi]
- Structured Traversal of Search Trees in Constraint-Logic Object-Oriented ProgrammingJan C. Dageförde, Finn Teegen. 199-214 [doi]
- Performance Analysis of ZippersVít Sefl. 215-229 [doi]
- Adding Data to CurryMichael Hanus, Finn Teegen. 230-246 [doi]
- Free Theorems Simply, via DinaturalityJanis Voigtländer. 247-267 [doi]
- Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial CompilationBaltasar Trancón-y-Widemann, Markus Lepper. 268-285 [doi]
- ICurrySergio Antoy, Michael Hanus, Andy Jost, Steven Libby. 286-307 [doi]