F-Limette -- Related Sites

IAKS Homepage of the 'Institut für Algorithmen und Kognitive Systeme' (in German).

CogViSys Homepage of CogViSys, a EU-funded project for cognitive computer vision.
This site also gives access to a list of publications related to the use of formal logic in computer vision.

SGTEditor Homepage of SGTEditor, an editor for Situation Graph Trees.
Situation Graph Trees are behavior models, which can be formulated in FMTHL to evaluate image sequences.