Axiomatization of Aggregates in Answer Set Programming

Jorge Fandinno, Zachary Hansen, Yuliya Lierler. Axiomatization of Aggregates in Answer Set Programming. In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022. pages 5634-5641, AAAI Press, 2022. [doi]

Authors

Jorge Fandinno

This author has not been identified. Look up 'Jorge Fandinno' in Google

Zachary Hansen

This author has not been identified. Look up 'Zachary Hansen' in Google

Yuliya Lierler

This author has not been identified. Look up 'Yuliya Lierler' in Google