Towards Abstraction in ASP with an Application on Reasoning about Agent Policies

Open in new window