Solving contradiction in knowledge-base without interaction.

Kouichi Katsurada, Makoto Koyama, Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi

Browse the full SMC paper archive.