Erik Sandewall Logic Based Modelling of Goal-Directed Behavior Manuscript Lars Karlsson, Joakim Gustafsson Reasoning about actions in a multi-agent environment Linköping Electronic Press