F-Logic
Frame Logic
(abgekürzt F-Logic) ist eine
formale Sprache
zur
Wissensrepräsentation
.