View of Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

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