• 语料库ID:15594329

答案集编程成果（初步报告）

@文章{Lifschitz2016AchievementsIA，title={答案集编程成果（初步报告）}，作者={Vladimir Lifschitz}，期刊＝{ArXiv}，年份={2016年}，体积={abs/1608.08144}，url={https://api.semanticscholar.org/CorpusID:15594329}}
描述了一种答案集编程（ASP）方法，该方法可以促进易于理解和可证明正确的编码的设计。
[PDF]语义阅读器
2引文
背景引文
1
方法引文
1

本文中的数字

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

2引文

答案集规划中不变量的发现与证明

在本文中，作者探讨了如何自动改进和验证输入程序，以支持程序员，并在没有人工支持的情况下，在规划程序时发现不变量。

答案集规划中不变量的发现与证明

在本文中，作者探索了如何自动改进和验证输入程序，以支持程序员，并在没有人工支持的情况下发现规划程序中的不变量。

15参考文献

走向精化容差理论：逻辑编程方法

试图在声明逻辑编程的背景下对软件开发过程进行数学研究，认为构造表示规范S的lp函数的过程应该由某些类型的数学结果支持，这些结果称为表示定理。

实践中的答案集求解

本书对ASP进行了实际介绍，旨在使用ASP语言和系统解决应用问题，并介绍了ASP的解决技术、建模语言和方法。

稳定模型和替代逻辑编程范式

研究表明，稳定模型语义的固有特征自然导致了一个逻辑编程系统，该系统为Horn逻辑编程、分层逻辑编程和具有良好语义的逻辑编程等更传统的逻辑编程风格提供了一个有趣的替代方案。

使用应答集编程进行事件序列测试

答案集编程（ASP）是基于逻辑编程的人工智能领域中一种著名的知识表示形式，被提出作为计算SCA的声明性范式，以允许精化的方式简明地陈述复杂的覆盖标准。

具有稳定模型语义的逻辑程序作为约束编程范式

结果表明，新范式嵌入了经典逻辑可满足性和标准（有限域）约束满足问题，但似乎从知识表示的角度提供了一个更具表现力的框架。

考虑出版《逻辑编程理论与实践》，提升概率逻辑编程的变量消除

Prolog Factor Language被扩展为包括表示ProbLog程序所需的两种新类型的因子，这两种因子考虑了随机变量之间现有的因果独立关系，并由Zhang和Poole提出的变量消除扩展进行管理，以处理收敛变量和异质性因素。

KR系统dlv：进度报告、比较和基准

事实证明，从知识表示方面来看，dlv系统非常强大，另一方面，它在计算能力方面也相当强大。

谦逊的程序员

由于一连串的巧合，我于1952年第一个春天的早晨正式进入了编程行业，据我所知，我是第一个荷兰人…

Democratix：确定胜利者的声明方法

这项工作提出了一种新颖的基于约简的方法，用于处理各种投票规则，从可处理的案例到比NP更难的问题，这些规则都放在可扩展工具Democratix中，Democritix用于处理优胜者的计算。

用于知识表示和推理的DLV系统

实验结果证实了DLV的可靠性，突出了其在知识管理和信息集成等新兴应用领域的潜力，并描述了研究该系统用于工业开发潜力的主要国际项目。