Krypton: A Functional Approach to Knowledge Representation

Brachman, Fikes, Levesque
1983 Computer  
Krypton clearly distinguishes between definitional and factual information by using both frame-based and logic-based languages. The result is a system defined in functional not structural terms.
doi:10.1109/mc.1983.1654200 fatcat:c5ay6ubgrvg3nprg6c33qaib6u