Non-monotonic inference system handling knowledge allowing classified exceptions.

Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi

Browse the full SMC paper archive.