INAP 2013 - Part of Kiel Declarative Programming Days 2013
Ricardo Rocha
September 2013
Preface
This report contains the 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:
- 20th International Conference on Applications of Declarative
Programming and Knowledge Management (INAP 2013)
- 22nd International Workshop on Functional and (Constraint) Logic
Programming (WFLP 2013)
- 27th Workshop on Logic Programming (WLP 2013)
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 this year 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.
The program committees collected for each paper at least three
reviews. The meetings of the program committees were conducted
electronically during July 2013 with the help of the conference
management system EasyChair. After careful discussions, the program
committees selected 21 technical papers and two system descriptions
for presentation. In addition to the selected papers, the scientific
program included an invited lecture by Tom Schrijvers (University of
Ghent, Belgium).
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.
September 2013
Michael Hanus and Ricardo Rocha
Bibtex
@Proceedings{inap13,
editor = {M. Hanus and R. Rocha},
title = {{Proceedings of the Kiel Declarative Programming Days 2013 (KDPD 2013)}},
month = {September},
year = {2013},
address = {Kiel, Germany},
}
Download Proceedings
PDF file
Kiel University