AAAI format