On the Properties of GZ-Aggregates in Answer Set Programming

Alviano, Mario; Leone, Nicola

On the Properties of GZ-Aggregates in Answer Set Programming

Download BibTeX Cite

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 4105-4108.

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.

Mario Alviano, and Nicola Leone. 2016. On the Properties of GZ-Aggregates in Answer Set Programming. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 4105–4108. https://ijcai.org/proceedings/2016/611

@inproceedings{ijcai2016p611,
  title     = {On the Properties of GZ-Aggregates in Answer Set Programming},
  author    = {Alviano, Mario and Leone, Nicola},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-16}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Subbarao Kambhampati},
  pages     = {4105--4108},
  year      = {2016},
  month     = {7},
  url       = {https://ijcai.org/proceedings/2016/611},
}

TY  - CPAPER
TI  - On the Properties of GZ-Aggregates in Answer Set Programming
AU  - Alviano, Mario
AU  - Leone, Nicola
T2  - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2016
SP  - 4105
EP  - 4108
UR  - https://ijcai.org/proceedings/2016/611
ER  -