9th Bar-Ilan Symposium on the Foundations of Artificial Intelligence