1. Alternating-time temporal logic;Alur;ACM Journal,2002
2. On the generation of bipolar goals in argumentation-based negotiation;Amgoud,2004
3. K. Atkinson, What should we do?: Computational representation of persuasive argument in practical reasoning, PhD thesis, Department of Computer Science, University of Liverpool, Liverpool, UK, 2005
4. Addressing moral problems through practical reasoning;Atkinson,2006
5. Action-based alternating transition systems for arguments about action;Atkinson,2007