Reasoning under minimal upper bounds in propositional logic

Thomas Eiter and Georg Gottlob
Theoretical Computer Science
Volume 369, Issues 1-3 , 15 December 2006, Pages 82-115
http://dx.doi.org/10.1016/j.tcs.2006.07.054

LPAR2000とIJCAI-93の結果が含まれる論文．
人工知能における推論に関するもの．

命題論理の理論に対してcurbingという概念を定式化．
関連する問題がPSPACE完全であることを示している．
(イントロさえちゃんと読んでないので，詳細はもちろん不明．でも楽しそう．)