Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

  • Dietmar Seipel
  • Michael Hanus
  • Salvador Abreu
Conference proceedings WFLP 2017, WLP 2017, INAP 2017

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 10997)

Table of contents

  1. Front Matter
    Pages I-X
  2. Constraints

    1. Front Matter
      Pages 1-1
    2. Pedro Roque, Vasco Pedro
      Pages 3-19
    3. Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan
      Pages 20-36
    4. Jan C. Dageförde, Herbert Kuchen
      Pages 64-80
    5. Ke Liu, Sven Löffler, Petra Hofstedt
      Pages 81-94
  3. Declarative Systems

    1. Front Matter
      Pages 95-95
    2. Lorenz Leutgeb, Antonius Weinzierl
      Pages 132-148
    3. Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
      Pages 149-165
  4. Functional and Logic Programming

    1. Front Matter
      Pages 167-167
    2. Jan Rasmus Tikovsky
      Pages 169-186
    3. Falco Nogatz, Jona Kalkus
      Pages 187-197
    4. Philipp Körner, Sebastian Krings
      Pages 198-213
  5. Back Matter
    Pages 215-215

About these proceedings


This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming. 


artificial intelligence computer architecture computer programming constraint programming constraint solving constraint theory constraints data science declarative programming functional languages linguistics logic and databases logic programming ontologies problem solving programming languages semantic web semantics software engineering specifications

Editors and affiliations

  1. 1.Universität WürzburgWuerzburgGermany
  2. 2.Christian-Albrechts-Universität zu KielKielGermany
  3. 3.Universidade de ÈvoraEvoraPortugal

Bibliographic information