Gerhard Lakemeyer. Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. In AAAI. pages 531-537, 1990.
@inproceedings{Lakemeyer90, title = {Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection}, author = {Gerhard Lakemeyer}, year = {1990}, tags = {introspection}, researchr = {https://researchr.org/publication/Lakemeyer90}, cites = {0}, citedby = {0}, pages = {531-537}, booktitle = {AAAI}, }