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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.