Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract)

Besin, Viktor; Hecher, Markus; Woltran, Stefan

doi:10.24963/ijcai.2022/732

by Viktor Besin, Markus Hecher, Stefan Woltran

Reference:

Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract)Viktor Besin, Markus Hecher, Stefan WoltranProceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pages 5264–5268, 2022, ijcai.org.

Bibtex Entry:

@inproceedings{DBLP:conf/ijcai/BesinHW22a,
keywords = "reveal",
  author    = {Viktor Besin and
               Markus Hecher and
               Stefan Woltran},
  title     = {Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic
               Programs (Extended Abstract)},
  booktitle = {Proceedings of the Thirty-First International Joint Conference on
               Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
               2022},
  pages     = {5264--5268},
  year      = {2022},
  url       = {10.24963/ijcai.2022/732">https://doi.org/10.24963/ijcai.2022/732},
  doi       = {10.24963/ijcai.2022/732},
  Xeditor    = {Luc De Raedt},
  publisher = {ijcai.org},
}