Tractable Meta-Reasoning in Propositional Logics of Belief

Cite

Text

Lakemeyer. "Tractable Meta-Reasoning in Propositional Logics of Belief." International Joint Conference on Artificial Intelligence, 1987.

Markdown

[Lakemeyer. "Tractable Meta-Reasoning in Propositional Logics of Belief." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/lakemeyer1987ijcai-tractable/)

BibTeX

@inproceedings{lakemeyer1987ijcai-tractable,
  title     = {{Tractable Meta-Reasoning in Propositional Logics of Belief}},
  author    = {Lakemeyer, Gerhard},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {401-408},
  url       = {https://mlanthology.org/ijcai/1987/lakemeyer1987ijcai-tractable/}
}