Decidable Reasoning in a Fragment of the Epistemic Situation Calculus

Gerhard Lakemeyer, Hector J. Levesque. Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. 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]

Authors

Gerhard Lakemeyer

This author has not been identified. Look up 'Gerhard Lakemeyer' in Google

Hector J. Levesque

This author has not been identified. Look up 'Hector J. Levesque' in Google