On Computing Belief Change Operations using Quantified Boolean Formulas

James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran. On Computing Belief Change Operations using Quantified Boolean Formulas. Journal of Logic and Computation, 14(6):801-826, 2004. [doi]

@article{DelgrandeSTW04,
  title = {On Computing Belief Change Operations using Quantified Boolean Formulas},
  author = {James P. Delgrande and Torsten Schaub and Hans Tompits and Stefan Woltran},
  year = {2004},
  doi = {10.1093/logcom/14.6.801},
  url = {http://dx.doi.org/10.1093/logcom/14.6.801},
  researchr = {https://researchr.org/publication/DelgrandeSTW04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Computation},
  volume = {14},
  number = {6},
  pages = {801-826},
}