The DLV System for Knowledge Representation and Reasoning
An Action Language Based on Causal Explanation: Preliminary Report