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]
@inproceedings{LakemeyerL14, title = {Decidable Reasoning in a Fragment of the Epistemic Situation Calculus}, author = {Gerhard Lakemeyer and Hector J. Levesque}, year = {2014}, url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7990}, researchr = {https://researchr.org/publication/LakemeyerL14}, cites = {0}, citedby = {0}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014}, editor = {Chitta Baral and Giuseppe De Giacomo and Thomas Eiter}, publisher = {AAAI Press}, isbn = {978-1-57735-657-8}, }