Complexity and Context-Dependency (version for Bath IOP Seminar)
Towards a Context- and Scope-Sensitive Analysis for Specifying Agent Behaviour