Declare 2017 – Conference on Declarative Programming
499. Institut für Informatik, (September 2017)Zusammenfassung
This technical report contains the papers presented at
the Conference on Declarative Programming Declare 2017,
in Würzburg, Germany, from September 19th to 22th, 2017.
The joint conference consisted of 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.
Declarative programming is an advanced paradigm for
modeling and solving complex problems.
This method has attracted increased attention over
the last decades, e.g., in the domains of data and
knowledge engineering, databases, artificial
intelligence, natural language processing,
modeling and processing combinatorial problems,
and for establishing knowledge-based systems
for the web.
The conference Declare 2017 aims to promote the
cross-fertilizing exchange of ideas and experiences
among researches and students from the different
communities interested in the foundations,
applications, and combinations of high-level,
declarative programming and related areas.
It was be accompanied by a one-week summer school
on Advanced Concepts for Databases and Logic
Programming for students and PhD students.