A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

Browse the full KR paper archive.