A forward-chaining multiple-context reasoner and its application to logic design.

Yoshihiko Ohta, Katsumi Inoue

Browse the full ICTAI paper archive.