BriefGPT.xyz
Sep, 2011
具有单调和凸约束条件的程序的属性和应用
Properties and Applications of Programs with Monotone and Convex Constraints
HTML
PDF
L. Liu, M. Truszczynski
TL;DR
通过扩展正常逻辑编程的概念和结果，我们研究了具有单调和凸约束条件的程序的性质，这些结果为一些最近扩展的逻辑编程提供了抽象的概述，并应用这些结果进一步提出了通过伪布尔约束的通用求解器计算lparse程序稳定模型的方法，这种方法通常比smodels系统更快。
Abstract
We study properties of programs with
monotone
and
convex constraints
. We extend to these formalisms concepts and results from normal
logic progra
→