Answer Set Programming

Founded Bounds and Model Counting