AMO-aware Aggregates in Answer Set Programming

Alviano, Mario; Dodaro, Carmine; Fiorentino, Salvatore; Maratea, Marco

doi:10.24963/ijcai.2024/356

AMO-aware Aggregates in Answer Set Programming

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea

Download BibTeX Cite

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. Main Track. Pages 3215-3223.

https://doi.org/10.24963/ijcai.2024/356

Keywords

Knowledge Representation and Reasoning: KRR: Non-monotonic reasoning
Knowledge Representation and Reasoning: KRR: Logic programming

Abstract

Aggregates such as sum and count are among the most frequently used linguistic extensions of Answer Set Programming (ASP).

At-most-one (AMO) constraints are a specific form of aggregates that excludes the simultaneous truth of multiple elements in a set.

This article unleashes a powerful propagation strategy in case groups of elements in an aggregate are also involved in AMO constraints.

In fact, the combined knowledge given by aggregates and AMO constraints significantly increases the effectiveness of search space pruning, resulting in sensible performance gains.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, and Marco Maratea. 2024. AMO-aware Aggregates in Answer Set Programming. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24. IJCAI, 3215–3223. https://doi.org/10.24963/ijcai.2024/356

@inproceedings{ijcai2024p356,
  title     = {AMO-aware Aggregates in Answer Set Programming},
  author    = {Alviano, Mario and Dodaro, Carmine and Fiorentino, Salvatore and Maratea, Marco},
  booktitle = {Proceedings of the Thirty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-24}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Kate Larson},
  pages     = {3215--3223},
  year      = {2024},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2024/356},
  url       = {https://doi.org/10.24963/ijcai.2024/356},
}

TY  - CPAPER
TI  - AMO-aware Aggregates in Answer Set Programming
AU  - Alviano, Mario
AU  - Dodaro, Carmine
AU  - Fiorentino, Salvatore
AU  - Maratea, Marco
T2  - Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2024
SP  - 3215
EP  - 3223
DO  - 10.24963/ijcai.2024/356
UR  - https://doi.org/10.24963/ijcai.2024/356
ER  -