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

Open in new window