20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) Conference