此会议记录包含16篇高质量的论文,这些论文是程序委员会从29份意见书中选出的。每篇论文均由至少3个程序委员会成员进行了审查,并由少数外部审查者提供了进一步的意见。审核过程是使用EasyChair在线会议系统进行的。会议记录还包括迈克尔·施瓦茨巴赫(Michael Schwartzbach)和厄格·德摩尔(Oege de Moor)的2场主题演讲。
机译:具有功能符号的逻辑编程:通过程序装饰检查自下而上评估的终止
机译:在矢量空间中使用部分评估的逻辑编程有效推理方法
机译:快速离线评估逻辑程序
机译:准终止逻辑计划,以确保部分评估终止
机译:逻辑程序的非终止分析和基于成本的优化。
机译:确保基因组教育和评估的最佳实践:方案逻辑方法
机译:准终止逻辑程序以确保终止部分评估?
机译:自动程序验证IV:程序弱逻辑中的终止证明。