Symbolic Representation Of Knowledge - Knowledge is represented as answer set programs, and reasoning is performed by answer set solvers.