ML Anthology

Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results

Francesco Belardinelli, Wiebe van der Hoek
IJCAI 2015 pp. 2748-2754
/ijcai/2015/belardinelli2015ijcai-epistemic/
IJCAI Semantic Scholar

Cite

Text

Belardinelli and van der Hoek. "Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Belardinelli and van der Hoek. "Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/belardinelli2015ijcai-epistemic/)

BibTeX

@inproceedings{belardinelli2015ijcai-epistemic,
  title     = {{Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results}},
  author    = {Belardinelli, Francesco and van der Hoek, Wiebe},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {2748-2754},
  url       = {https://mlanthology.org/ijcai/2015/belardinelli2015ijcai-epistemic/}
}