Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

Besin, Viktor; Hecher, Markus; Woltran, Stefan

doi:10.1017/S1471068421000399

by Viktor Besin, Markus Hecher, Stefan Woltran

Reference:

Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic ProgramsViktor Besin, Markus Hecher, Stefan WoltranTheory Pract. Log. Program., volume 21, number 5, pages 575–592, 2021.

Bibtex Entry:

@article{BesinHW21,
keywords = "reveal",
  author    = {Viktor Besin and
               Markus Hecher and
               Stefan Woltran},
  title     = {Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic
               Programs},
  journal   = {Theory Pract. Log. Program.},
  volume    = {21},
  number    = {5},
  pages     = {575--592},
  year      = {2021},
  url       = {10.1017/S1471068421000399">https://doi.org/10.1017/S1471068421000399},
  doi       = {10.1017/S1471068421000399},
  timestamp = {Wed, 15 Dec 2021 10:25:55 +0100},
  biburl    = {https://dblp.org/rec/journals/tplp/BesinHW21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}