|IAKS||Homepage of the 'Institut für Algorithmen und Kognitive Systeme' (in German).|
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.
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.