Elements for Weighted Answer-Set Programming - Dinis, Bruno; Coelho, Francisco; Abreu, Salvador; Seipel, Dietmar (2025)