arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1909.04870cs.PL
收藏

DECLARE 2019大会前期会议记录

Pre-proceedings of the DECLARE 2019 Conference

Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel

摘要:

本卷是2019年9月9日至13日在科特布斯-森夫滕贝格科技大学(德国)举行的DESLEE 2019会议的预录。声明式编程是建模和解决复杂问题的高级范例。这种方法在过去几十年中引起了越来越多的关注,例如,在数据和知识工程、数据库、人工智能、自然语言处理、建模和处理组合问题以及用于建立网络系统的领域中。会议DESIDE 2019旨在跨学科交流来自不同社区的研究人员和学生的想法和经验,这些社区对基础,实现技术,新颖的应用以及高级声明式编程和相关领域的组合感兴趣。活动的技术方案包括特邀演讲、评审论文介绍和系统演示。DEFEE 2019包括子活动INAP,WFLP和WLP:INAP -第22届声明式编程和知识管理应用国际会议WFLP -第27届函数和(约束)逻辑编程国际研讨会WLP -第33届(约束)逻辑编程研讨会

英文摘要:

This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declarative programming is an advanced paradigm for the modeling and solving of 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 systems for the web. The conference DECLARE 2019 aims at cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, implementation techniques, novel applications, and combinations of high-level, declarative programming and related areas. The technical program of the event included invited talks, presentations of refereed papers, and system demonstrations. DECLARE 2019 consisted of the sub-events INAP, WFLP, and WLP: INAP - 22nd International Conference on Applications of Declarative Programming and Knowledge Management WFLP - 27th International Workshop on Functional and (Constraint) Logic Programming WLP - 33rd Workshop on (Constraint) Logic Programming

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑