The third open answer set programming competition