Kiel Declarative Programming Days - Revised Selected Papers

Michael Hanus and Ricardo Rocha

September 2013


This volume contains a selection of papers presented at the Kiel Declarative Programming Days 2013, held in Kiel (Germany) during September 11–13, 2013. The Kiel Declarative Programming Days 2013 unified the following events: All these events are centered around declarative programming, an advanced paradigm for the modeling and solving of complex problems. These specification and implementation methods attracted increasing attention over the last decades, e.g., in the domains of databases and natural language processing, for modeling and processing combinatorial problems, and for high-level programming of complex, in particular, knowledge-based systems.
The INAP conferences provide a communicative forum for intensive discussion of applications of important technologies around logic programming, constraint problem solving, and closely related computing paradigms. It comprehensively covers the impact of programmable logic solvers in the Internet society, its underlying technologies, and leading-edge applications in industry, commerce, government, and societal services. Previous INAP editions have been held in Japan, Germany, Portugal, and Austria.
The international workshops on functional and logic programming (WFLP) aim at bringing together researchers interested in functional programming, logic programming, as well as the integration of these paradigms. Previous WFLP editions have been held in Germany, France, Spain, Italy, Estonia, Brazil, Denmark, and Japan.
The workshops on (constraint) logic programming (WLP) serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. Previous WLP editions have been held in Germany, Austria, Switzerland, and Egypt.
In 2013 these events were jointly organized under the umbrella of the Kiel Declarative Programming Days in order to promote the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the event included presentations of refereed technical papers and system descriptions. In addition to the selected papers, the scientific program included an invited lecture by Tom Schrijvers (University of Ghent, Belgium).
After the event, the Program Committees invited authors to submit revised versions of their presented papers. Each submission was reviewed by at least three Program Committee members. The meetings of the Program Committees were conducted electronically during July 2013 and February 2014 with the help of the conference management system EasyChair. After careful discussions, the Program Committees decided to accept 15 papers for inclusion in these proceedings.
We would like to thank all authors who submitted papers to this event. We are grateful to the members of the Program Committees and all the additional reviewers for their careful and efficient work in the review process. Finally, we express our gratitude to all members of the local Organizing Committee for their help in organizing a successful event.

April 2014

Michael Hanus and Ricardo Rocha


  editor =    {M. Hanus and R. Rocha},
  title =     {{Proceedings of the Kiel Declarative Programming Days (KDPD 2013),
                Revised Selected Papers}},
  publisher = {Springer},
  number =    {8439},
  series =    {LNAI},
  month =     {September},
  year =      {2013},
  address =   {Kiel, Germany},

Download Proceedings