KRYPTON: Integrating Terminology and Assertion.

Ronald J. Brachman, Hector J. Levesque, Richard Fikes

Browse the full AAAI paper archive.