Transforming Situation Calculus Action Theories for Optimised Reasoning

Christopher James Ewin, Adrian R. Pearce, Stavros Vassos. Transforming Situation Calculus Action Theories for Optimised Reasoning. In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, 2014. [doi]

Abstract

Abstract is missing.