Changes between Initial Version and Version 1 of Frame-Logic


Ignore:
Timestamp:
Aug 1, 2007, 8:30:12 AM (17 years ago)
Author:
KOBAYASHI, Shinji
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Frame-Logic

    v1 v1  
     1= Frame-Logic(F-Logic) =
     2
     3Kifer Mらにより提唱された[ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/flogic.pdf. F-Logic]について研究していきます。
     4F-LogicはADLのコアでありArchetypeのモデリングや実装に重要な役割を果たしています。