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]

Authors

James P. Delgrande

This author has not been identified. Look up 'James P. Delgrande' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google

Hans Tompits

This author has not been identified. Look up 'Hans Tompits' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google