KRYPTON: Integrating Terminology and Assertion

Has publishing details pp. 31-35, 1983

Has title KRYPTON: Integrating Terminology and Assertion

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai83.html#BrachmanLF83

Has where published AAAI

Has year 1983

Has author Ronald J. Brachman +, Hector J. Levesque +, Richard Fikes +

Has identifier KRYPTON: Integrating Terminology and Assertion +

Categories Proceeding Paper +