Computing Intersections of Horn Theories for Reasoning with Models.

Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Browse the full AAAI paper archive.