Updated style for Journal of Artificial Intelligence