IEEE ICCI 2004: Victoria, Canada

Keynotes

Cognitive Informatics

Formal Methods for Cognitive Informatics (I)

Cognitive Informatics and Software Engineering

Formal Methods for Cognitive Informatics (II)

Cognitive Informatics and Industrial Applications

Cognitive Informatics and Neural Networks

Cognitive Informatics for Agent Technologies