© 2020

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

  • Petra Hofstedt
  • Salvador Abreu
  • Ulrich John
  • Herbert Kuchen
  • Dietmar Seipel
Conference proceedings INAP 2019, WLP 2019, WFLP 2019

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

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Agostino Dovier, Andrea Formisano, Flavio Vella
      Pages 3-23
  3. 22nd International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2019

    1. Front Matter
      Pages 41-41
    2. Daniel Weidner, Martin Atzmueller, Dietmar Seipel
      Pages 59-78
    3. Paulo Quaresma, Vitor Beires Nogueira, Kashyap Raiyani, Roy Bayot, Teresa Gonçalves
      Pages 79-88
    4. Tomi Janhunen, Michael Sioutis
      Pages 89-98
    5. Ke Liu, Sven Löffler, Petra Hofstedt
      Pages 99-105
    6. Sven Löffler, Ke Liu, Petra Hofstedt
      Pages 106-115
  4. 33rd Workshop on (Constraint) Logic Programming - WLP 2019

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

    1. Front Matter
      Pages 197-197
    2. Vít Šefl
      Pages 215-229
    3. Michael Hanus, Finn Teegen
      Pages 230-246

About these proceedings


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.


computer systems computer programming artificial intelligence formal logic semantics databases distributed computer systems parallel processing systems sofware engineering logic programming computer hardware embedded systems formal languages functional programming haskell knowledge-based systems

Editors and affiliations

  1. 1.Brandenburgische Technische Universität Cottbus-SenftenbergCottbusGermany
  2. 2.Universidade de ÉvoraÉvoraPortugal
  3. 3.hwtk BerlinBerlinGermany
  4. 4.Westfälische Wilhelms-Universität MünsterMünsterGermany
  5. 5.Universität WürzburgWürzburgGermany

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences