ASPPS -一个基于命题模式的答案集程序设计的实现
aspps --- an implementation of answer-set programming with propositional schemata
摘要：
我们提出了一个答案集编程范例的实现，称为aspps（答案集编程与命题模式的缩写）。系统aspps是为处理PS+理论而设计的。它包括两个基本模块。第一个模块psgrnd为PS+理论奠定了基础。第二个模块，称为aspps，是一个求解器。它计算地面PS+理论的模型。
英文摘要：
We present an implementation of an answer-set programming paradigm, called aspps (short for answer-set programming with propositional schemata). The system aspps is designed to process PS+ theories. It consists of two basic modules. The first module, psgrnd, grounds an PS+ theory. The second module, referred to as aspps, is a solver. It computes models of ground PS+ theories.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
