首页>外文会议>Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming

Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming

召开年：2019
召开地：Cottbus(DE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Petra Hofstedt;Salvador Abreu;Ulrich John;Herbert Kuchen;Dietmar Seipel
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
2.Exploring Properties of Icosoku by Constraint Satisfaction Approach

机译：约束满足法探究Icosoku的性质
- 作者：Ke Liu;Sven Loeffler;Petra Hofstedt
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
- Constraint programming;
- Group theory;
- Constraint modelling;
- Icosoku;
3.From Textual Information Sources to Linked Data in the Agatha Project

机译：从文本信息源到Agatha项目中的链接数据
- 作者：Paulo Quaresma;Vitor Beires Nogueira;Kashyap Raiyani;Roy Bayot;Teresa Gongalves
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
- Linked data;
- Ontology;
- Natural Language Processing;
- Events;
4.Allen's Interval Algebra Makes the Difference

机译：艾伦的区间代数有所作为
- 作者：Tomi Janhunen;Michael Sioutis
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
- Answer set programming;
- Difference constraints;
- Qualitative constraints;
- Spatial and Temporal Reasoning;
- Symbolic AI;
5.The Regularization of Small Sub-Constraint Satisfaction Problems

机译：小亚约束满足问题的正则化
- 作者：Sven Loeffler;Ke Liu;Petra Hofstedt
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
- Constraint programming;
- CSP;
- Refinement;
- Optimizations;
- Regular membership constraint;
- Regular CSPs;
6.GPU-Based Parallelism for ASP-Solving

机译：基于GPU的ASP解决并行性
- 作者：Agostino Dovier;Andrea Formisano;Flavio Vella
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
- ASP solvers;
- ASP computation;
- SIMT parallelism;
- GPU computing;
7.A Process Calculus for Formally Verifying Blockchain Consensus Protocols

机译：正式验证区块链共识协议的过程演算
- 作者：Wolfgang Jeltsch
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
- Blockchain;
- Distributed computing;
- Formal verification;
- Process calculus;
- Functional programming;
- Higher-order abstract syntax;
8.Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming

机译：基于混合整数规划的建筑能源系统模块化建模与优化调度
- 作者：Armin Wolf
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
9.Finding Maximal Non-redundant Association Rules in Tennis Data

机译：在网球数据中查找最大非冗余关联规则
- 作者：Daniel Weidner;Martin Atzmueller;Dietmar Seipel
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
- Association rule mining;
- Pattern mining;
- Post-mining;
- Declarative data mining;
- Prolog;
- Spatio-temporal data;
10.Declarative Programming for Microcontrollers - Datalog on Arduino

机译：微控制器的声明式编程-Arduino上的数据记录
- 作者：Maxio Wenzel;Stefan Brass
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
11.Towards Constraint Logic Programming over Strings for Test Data Generation

机译：针对字符串进行约束逻辑编程以生成测试数据
- 作者：Sebastian Krings;Joshua Schmidt;Patrick Skowronek;Jannik Dunkelau;Dierk Ehmke
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
12.Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic

机译：基于一阶逻辑的PIE环境的证明，内插和消除方面
- 作者：Christoph Wernhard
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
13.KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LATEX Markup and a Core Written in SWI-Prolog

机译：KBSET-基于知识的支持，以声明性的LATEX标记和SWI-Prolog中编写的核心进行学术编辑和文本处理
- 作者：Jana Kittelmann;Christoph Wernhard
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
14.Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming

机译：约束逻辑面向对象程序设计中搜索树的结构化遍历
- 作者：Jan C. Dagefoerde;Finn Teegen
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
15.Performance Analysis of Zippers

机译：拉链性能分析
- 作者：Vit Sefl
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
16.Adding Data to Curry

机译：向Curry添加数据
- 作者：Michael Hanus;Finn Teegen
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
17.Free Theorems Simply, via Dinaturality

机译：简单地通过自然性获得自由定理
- 作者：Janis Voigtlaender
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
18.Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation

机译：通过分阶段组合编译提高Paisley模式匹配EDSL的性能
- 作者：Baltasar Trancon y Widemann;Markus Lepper
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年
- Pattern matching;
- Embedded domain-specific language;
- Staged compilation;
19.ICurry

机译：ICurry
- 作者：Sergio Antoy;Michael Hanus;Andy Jost;Steven Libby
- 会议名称：《Conference on declarative programming;International workshop on logic programming;International conference on applications of declarative programming and knowledge management;International workshop on functional and logic programming》 | 2019年