{"type":"ScholarlyArticle","title":"AMO-aware Aggregates in Answer Set Programming","authors":[{"name":"Mario Alviano","slug":"mario-alviano","given":"Mario","family":"Alviano","affiliation":""},{"name":"Carmine Dodaro","slug":"carmine-dodaro","given":"Carmine","family":"Dodaro","affiliation":""},{"name":"Salvatore Fiorentino","slug":"salvatore-fiorentino","given":"Salvatore","family":"Fiorentino","affiliation":""},{"name":"Marco Maratea","slug":"marco-maratea","given":"Marco","family":"Maratea","affiliation":""}],"abstract":"Aggregates such as sum and count are among the most frequently used linguistic extensions of Answer Set Programming (ASP).\r\nAt-most-one (AMO) constraints are a specific form of aggregates that excludes the simultaneous truth of multiple elements in a set.\r\nThis article unleashes a powerful propagation strategy in case groups of elements in an aggregate are also involved in AMO constraints.\r\nIn fact, the combined knowledge given by aggregates and AMO constraints significantly increases the effectiveness of search space pruning, resulting in sensible performance gains.","doi":"10.24963/ijcai.2024/356","url":"https://ijcai.org/proceedings/2024/356","pdf":"https://ijcai.org/proceedings/2024/0356.pdf","markdown":"https://ijcai.org/proceedings/2024/356.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/356","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":356,"pages":{"first":3215,"last":3223},"keywords":["Knowledge Representation and Reasoning: KRR: Non-monotonic reasoning","Knowledge Representation and Reasoning: KRR: Logic programming"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}