DECLARE 2019 会议预印论文集
编程语言
2019-11-22 v3
摘要
本卷为 DECLARE 2019 会议的预印论文集，会议于 2019 年 9 月 9 日至 13 日在德国科特布斯-森夫滕贝格工业大学（University of Technology Cottbus - Senftenberg）举行。声明式编程是一种用于建模与求解复杂问题的高级范式。过去几十年中，该方法日益受到关注，例如在数据与知识工程、数据库、人工智能、自然语言处理、组合问题建模与处理，以及构建 Web 系统等领域。DECLARE 2019 会议旨在促进来自不同社群的研究人员与学生之间就高层声明式编程及相关领域的理论基础、实现技术、新颖应用与组合进行思想与经验的交流互鉴。会议的技术程序包括邀请报告、审稿论文宣讲及系统演示。DECLARE 2019 由 INAP、WFLP 和 WLP 三个子会议组成：INAP——第 22 届声明式编程与知识管理应用国际会议；WFLP——第 27 届函数式与（约束）逻辑编程国际研讨会；WLP——第 33 届（约束）逻辑编程研讨会。
引用
@article{arxiv.1909.04870,
title = {Pre-proceedings of the DECLARE 2019 Conference},
author = {Salvador Abreu and Petra Hofstedt and Ulrich John and Herbert Kuchen and Dietmar Seipel},
journal= {arXiv preprint arXiv:1909.04870},
year = {2019}
}