AAAI formatted