Action language BC+
An Action Language Based on Causal Explanation: Preliminary Report