资源分类
》 资源 》论文》On the Properties of GZ-Aggregates in Answer Set Programming

On the Properties of GZ-Aggregates in Answer Set Programming

2019-11-25 | |  65 |   51 |   0
Abstract Gelfond and Zhang recently proposed a new stable model semantics based on Vicious Circle Principle in order to improve the interpretation of logic programs with aggregates. A detailed complexity analysis of coherence testing and cautious reasoning under the new semantics highlighted similarities and differences versus mainstream stable model semantics for aggregates, which eventually led to the design of compilation techniques for implementing the new semantics on top of existing ASP solvers.

上一篇：From Non-Convex Aggregates to Monotone Aggregates in ASP

下一篇：Optimal Prosumer Decision-Making Using Factored MDPs

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...