Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers /: Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. (2020)

• Record Type: Book
• Other Titles: DECLARE 2019
• Further Information: Note: Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.).
• Other Names: Hofstedt, Petra; Abreu, Salvador, 1961-; John, Ulrich; Kuchen, Herbert, 1958-; Seipel, Dietmar; Conference on Declarative Programming
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Extent: 1 online resource (313 p.)
• Subjects: 005.1/15; Declarative programming -- Congresses; Declarative programming; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030467142; 3030467147
• Related ISBNs: 9783030467135
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.