Answer Set Programming 2001 - AAAI Spring 2001 Symposium - Towards Efficient and Scalable Knowledge Representation and Reasoning