Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Dietmar Seipel

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Hanus

    1. Christian-Albrechts-Universität zu Kiel, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Salvador Abreu

    1. Universidade de Èvora, Evora, Portugal

    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 10997)

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 (13 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Constraints

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Constraint Solving on Hybrid Systems

      • Pedro Roque, Vasco Pedro
      Pages 3-19

    3. Run-Time Analysis of Temporal Constrained Objects

      • Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan
      Pages 20-36

    4. Implementation of Logical Retraction in Constraint Handling Rules with Justifications

      • Thom Frühwirth
      Pages 37-52

    5. The Proportional Constraint and Its Pruning

      • Armin Wolf
      Pages 53-63

    6. An Operational Semantics for Constraint-Logic Imperative Programming

      • Jan C. Dageförde, Herbert Kuchen
      Pages 64-80

    7. Hypertree Decomposition: The First Step Towards Parallel Constraint Solving

      • Ke Liu, Sven Löffler, Petra Hofstedt
      Pages 81-94

  3. Declarative Systems

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. Declarative Aspects in Explicative Data Mining for Computational Sensemaking

      • Martin Atzmueller
      Pages 97-114

    3. An Approach for Representing Answer Sets in Natural Language

      • Min Fang, Hans Tompits
      Pages 115-131

    4. Techniques for Efficient Lazy-Grounding ASP Solving

      • Lorenz Leutgeb, Antonius Weinzierl
      Pages 132-148

    5. The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters

      • Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
      Pages 149-165

  4. Functional and Logic Programming

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Concolic Testing of Functional Logic Programs

      • Jan Rasmus Tikovsky
      Pages 169-186

    3. Declarative XML Schema Validation with SWI–Prolog

      • Falco Nogatz, Jona Kalkus
      Pages 187-197

    4. plspec – A Specification Language for Prolog Data

      • Philipp Körner, Sebastian Krings
      Pages 198-213

  5. Back Matter

    Pages 215-215
    Download chapter PDF
Back to top

Other volumes

  1. Declarative Programming and Knowledge Management

Keywords

About this book

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. 

Editors and Affiliations

  • Universität Würzburg, Wuerzburg, Germany

    Dietmar Seipel

  • Christian-Albrechts-Universität zu Kiel, Kiel, Germany

    Michael Hanus

  • Universidade de Èvora, Evora, Portugal

    Salvador Abreu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation