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.
@inproceedings{KoniecznyLM03, title = {Quantifying information and contradiction in propositional logic through test actions}, author = {Sébastien Konieczny and Jérôme Lang and Pierre Marquis}, year = {2003}, tags = {testing, logic}, researchr = {https://researchr.org/publication/KoniecznyLM03}, cites = {0}, citedby = {0}, pages = {106-111}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, editor = {Georg Gottlob and Toby Walsh}, publisher = {Morgan Kaufmann}, }