A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
Bibtex record
@inproceedings{KR2020-20, title = {{A Uniform Treatment of Aggregates and Constraints in Hybrid ASP}}, author = {Cabalar, Pedro and Fandinno, Jorge and Schaub, Torsten and Wanko, Philipp}, booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}}, pages = {193--202}, year = {2020}, month = {9}, doi = {10.24963/kr.2020/20}, url = {https://doi.org/10.24963/kr.2020/20}, }