Bolander. "From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief." International Joint Conference on Artificial Intelligence, 2003.
Markdown
[Bolander. "From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/bolander2003ijcai-logic/)
BibTeX
@inproceedings{bolander2003ijcai-logic,
title = {{From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief}},
author = {Bolander, Thomas},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2003},
pages = {443-448},
url = {https://mlanthology.org/ijcai/2003/bolander2003ijcai-logic/}
}