An efficient hypothetical reasoning system for predicate-logic knowledge-base.

Akiko Kondo, Toshiro Makino, Mitsuru Ishizuka

Browse the full ICTAI paper archive.