恶性循环原理与具有聚集的逻辑程序
Vicious Circle Principle and Logic Programs with Aggregates
Texas Tech University（得克萨斯理工大学）
摘要：
本文提出了一种知识表示语言$\mathcal{A}log$，它是对ASP进行聚合扩展而形成的.目标是拥有一种基于简单语法和清晰直观和数学语义的语言。本文给出了计算其答案集的算法$\mathcal{A}log$的一些性质，并与其它方法进行了比较。
英文摘要：
The paper presents a knowledge representation language $\mathcal{A}log$ which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some properties of $\mathcal{A}log$, an algorithm for computing its answer sets, and comparison with other approaches.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
