@inproceedings{ijcai2017p173, author = {Christoph Schwering}, title = {A Reasoning System for a First-Order Logic of Limited Belief}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {1247--1253}, year = {2017}, doi = {10.24963/ijcai.2017/173}, url = {https://doi.org/10.24963/ijcai.2017/173}, }