h-approximation: History-Based Approximation of Possible World Semantics as ASP