Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning