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

by Joohyung Lee , Ravi Palla
Citations:6 - 5 self