Fifth International Symposium on
ARTIFICIAL INTELLIGENCE AND MATHEMATICS