Declarative Programming and Knowledge Management: Conference on Declarative Programming, Declare 2019, Unifying Inap, Wlp, and Wflp, Cottbus, Germany,

ISBN-13: 9783030467135 / Angielski / Miękka / 2020 / 309 str.

Petra Hofstedt; Salvador Abreu; Ulrich John

Spis treści

Invited Talks.- GPU-based parallelism for ASP-solving.- A Process Calculus for Formally Verifying Blockchain Consensus Protocols.- 22nd International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2019.- Modular Modeling and Optimized Scheduling of Building Energy Systems Based on  Mixed Integer Programming.- Finding Maximal Non–Redundant Association Rules in Tennis Data.- From Textual Information Sources to Linked Data in the Agatha Project.- Allen's Interval Algebra Makes the Difference.- Exploring Properties of Icosoku by Constraint Satisfaction Approach.- The Regularization of Small Sub-Constraint Satisfaction Problems.- 33rd Workshop on (Constraint) Logic Programming - WLP 2019.- Declarative Programming for Microcontrollers - Datalog on Arduino.- Towards Constraint Logic Programming over Strings for Test Data Generation.- Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic.- KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog.- 27th International Workshop on Functional and Logic Programming - WFLP 2019.- Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming.- Performance Analysis of Zippers.- Adding Data to Curry.- Free Theorems Simply, via Dinaturality.- Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation.- ICurry.