Abstract is missing.
- Ontology-Driven Data Semantics Discovery for Cyber-SecurityMarcello Balduccini, Sarah Kushner, Jacquelin Speck. 1-16 [doi]
- State Space Planning Using Transaction LogicReza Basseda, Michael Kifer. 17-33 [doi]
- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule PrioritiesFlávio Cruz, Ricardo Rocha. 34-49 [doi]
- Declaratively Solving Google Code Jam Problems with PicatSergii Dymchenko, Mariia Mykhailova. 50-57 [doi]
- Reactive Single-Page Applications with Dynamic DataflowSimon Fowler, Loïc Denuzière, Adam Granicz. 58-73 [doi]
- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in CurryMichael Hanus. 74-89 [doi]
- Implementation and Performance of Probabilistic Inference PipelinesDimitar Sht. Shterionov, Gerda Janssens. 90-104 [doi]
- A Haskell Implementation of a Rule-Based Program Transformation for C ProgramsSalvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño. 105-114 [doi]
- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, NormalizationPaul Tarau. 115-131 [doi]
- Programming Microcontrollers in OCaml: The OCaPIC ProjectBenoît Vaugon, Philippe Wang, Emmanuel Chailloux. 132-148 [doi]