Sébastien Konieczny, J. Lang, Pierre Marquis. Quantifying information and contradiction in propositional logic through test actions.
Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), 2003, Acapulco, Mexico. pp.106 - 111.
⟨hal-03300686⟩