Quantifying information and contradiction in propositional logic through test actions

Sébastien Konieczny, Jérôme Lang, Pierre Marquis. Quantifying information and contradiction in propositional logic through test actions. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 106-111, Morgan Kaufmann, 2003.

Abstract

Abstract is missing.