Lakemeyer and Levesque. "Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Lakemeyer and Levesque. "Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/lakemeyer2013ijcai-decidable/)
BibTeX
@inproceedings{lakemeyer2013ijcai-decidable,
title = {{Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals}},
author = {Lakemeyer, Gerhard and Levesque, Hector J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {969-975},
url = {https://mlanthology.org/ijcai/2013/lakemeyer2013ijcai-decidable/}
}