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.

Links und Ressourcen

Tags