Abstract is missing.
- Eliminating Irrelevant Non-determinism in Functional Logic ProgramsSergio Antoy, Michael Hanus. 1-18 [doi]
- Canonicalizing High-Level Constructs in PicatNeng-Fa Zhou, Jonathan Fruhman. 19-33 [doi]
- An Overview of PρLogBesik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer. 34-49 [doi]
- Integrating Answer Set Programming with Object-Oriented LanguagesJakob Rath, Christoph Redl. 50-67 [doi]
- Extending Answer Set Programs with Interpreted Functions as First-Class CitizensChristoph Redl. 68-85 [doi]
- Lowering the Learning Curve for Declarative Programming: A Python API for the IDP SystemJoost Vennekens. 86-102 [doi]
- Failing Faster: Overlapping Patterns for Property-Based TestingJonathan Fowler, Graham Hutton. 103-119 [doi]
- Boltzmann Samplers for Closed Simply-Typed Lambda TermsMaciej Bendkowski, Katarzyna Grygiel, Paul Tarau. 120-135 [doi]
- Selection Equilibria of Higher-Order GamesJules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn. 136-151 [doi]
- DALI for Cognitive Robotics: Principles and Prototype ImplementationStefania Costantini, Giovanni De Gasperis, Giulio Nazzicone. 152-162 [doi]
- Funky Grooves: Declarative Programming of Full-Fledged Musical ApplicationsHenrik Nilsson, Guerric Chupin. 163-172 [doi]
- A Domain-Specific Language for Software-Defined RadioGeoffrey Mainland. 173-188 [doi]
- A Declarative DSL for Customizing ASCII ArtFelix S. Klock II. 189-197 [doi]
- Using Iterative Deepening for Probabilistic Logic InferenceTheofrastos Mantadelis, Ricardo Rocha. 198-213 [doi]