Skip to main content
SpringerLink
Log in

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 proceedings
  • © 2020

Overview

Editors:
  1. Petra Hofstedt

    1. Brandenburgische Technische Universität Cottbus-Senftenberg, Cottbus, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Salvador Abreu

    1. Universidade de Évora, Évora, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ulrich John

    1. hwtk Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Herbert Kuchen

    1. Westfälische Wilhelms-Universität Münster, Münster, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Dietmar Seipel

    1. Universität Würzburg, Würzburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12057)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. GPU-Based Parallelism for ASP-Solving

      • Agostino Dovier, Andrea Formisano, Flavio Vella
      Pages 3-23

    3. A Process Calculus for Formally Verifying Blockchain Consensus Protocols

      • Wolfgang Jeltsch
      Pages 24-39

  3. 22nd International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2019

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming

      • Armin Wolf
      Pages 43-58

    3. Finding Maximal Non-redundant Association Rules in Tennis Data

      • Daniel Weidner, Martin Atzmueller, Dietmar Seipel
      Pages 59-78

    4. From Textual Information Sources to Linked Data in the Agatha Project

      • Paulo Quaresma, Vitor Beires Nogueira, Kashyap Raiyani, Roy Bayot, Teresa Gonçalves
      Pages 79-88

    5. Allen’s Interval Algebra Makes the Difference

      • Tomi Janhunen, Michael Sioutis
      Pages 89-98

    6. Exploring Properties of Icosoku by Constraint Satisfaction Approach

      • Ke Liu, Sven Löffler, Petra Hofstedt
      Pages 99-105

    7. The Regularization of Small Sub-Constraint Satisfaction Problems

      • Sven Löffler, Ke Liu, Petra Hofstedt
      Pages 106-115

  4. 33rd Workshop on (Constraint) Logic Programming - WLP 2019

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. Declarative Programming for Microcontrollers - Datalog on Arduino

      • Mario Wenzel, Stefan Brass
      Pages 119-138

    3. Towards Constraint Logic Programming over Strings for Test Data Generation

      • Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
      Pages 139-159

    4. Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic

      • Christoph Wernhard
      Pages 160-177

    5. KBSET – Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative Markup and a Core Written in SWI-Prolog

      • Jana Kittelmann, Christoph Wernhard
      Pages 178-196

  5. 27th International Workshop on Functional and Logic Programming - WFLP 2019

    1. Front Matter

      Pages 197-197
      Download chapter PDF

    2. Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming

      • Jan C. Dageförde, Finn Teegen
      Pages 199-214

    3. Performance Analysis of Zippers

      • Vít Šefl
      Pages 215-229

    4. Adding Data to Curry

      • Michael Hanus, Finn Teegen
      Pages 230-246
Back to top

Other volumes

  1. Declarative Programming and Knowledge Management

Keywords

About this book

This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.

The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 24 submissions. The contributions present current research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques.

Editors and Affiliations

  • Brandenburgische Technische Universität Cottbus-Senftenberg, Cottbus, Germany

    Petra Hofstedt

  • Universidade de Évora, Évora, Portugal

    Salvador Abreu

  • hwtk Berlin, Berlin, Germany

    Ulrich John

  • Westfälische Wilhelms-Universität Münster, Münster, Germany

    Herbert Kuchen

  • Universität Würzburg, Würzburg, Germany

    Dietmar Seipel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation