Return to Article Details Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming Download Download PDF