20th Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning