The third open Answer Set Programming competition