On programming KARO agents
J-J Meyer · Logic Journal of IGPL · 2001
After having defined the KARO logic for specifying intelligent agents (an amalgam of various modal logics to reason about both informational and motivational attitudes of agents) in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.