Stable model semantics for founded bounds - AZIZ, REHAN ABDUL; CHU, GEOFFREY; STUCKEY, PETER J. (Theory and practice of logic programming, 2013)
Keywords: Algorithms; Declarative programming; Domains; Integer programming; International conferences; Logic programming; Mathematical programming; Reasoning; Regular Papers; Semantics; Solvers; Variables; Australia; stable model semantics; finite domain solving; answer set programming