Frame Logic


Frame Logic (or F-logic) provides a logical foundation for frame-based and object-oriented languages for data and knowledge representation.

Some papers about F-logic



$Date: 2008/03/06 20:37:49 $