Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach