Embracing Occlusion in Specifying the Indirect Effects of Actions. - Joakim Gustafsson; Patrick Doherty 001 (KR, 1996)

Delayed Effects of Actions. - Lars Karlsson; Joakim Gustafsson; Patrick Doherty 001 (ECAI, 1998)

TAL: Temporal Action Logics Language Specification and Tutorial. - Patrick Doherty 001; Joakim Gustafsson; Lars Karlsson; Jonas Kvarnström (Electron. Trans. Artif. Intell., 1998)

Reasoning about Concurrent Interaction. - Lars Karlsson; Joakim Gustafsson (J. Log. Comput., 1999)

Object-Oriented Reasoning about Action and Change. - Joakim Gustafsson (SCAI, 2001)

Elaboration tolerance through object-orientation. - Joakim Gustafsson; Jonas Kvarnström (Artif. Intell., 2004)