Special Issue: Answer Set Programming