Society. [36] Juan Carlos Acosta Guadarrama. Update operation in asp revisited. Technical Report IfI-0812, Clausthal University of Technology, December 2008. [37] Koen Hindriks and Jürgen Dix. Goal: A multi-agent […] Formalizations of Commonsense Reasoning, Technical Report Series, pages 213–219, Corfu, Greece, 2005. TU Dresden. [3] T. Behrens, M. Dastani, J. Dix, J. Hübner, M. Köster, P. Novák, and F. Schlesinger. The