ijcai-19.org fine-scale.org jokris.pl