Projetos de Cooperação:

• Universidade Karlsruhe - Alemanha (Capes/DAAD Probral 060/98):Um Enfoque Semântico para Recuperação de Dados
• Institut de Recherche Informatique de Toulouse - França (Capes/Cofecub 400/02):Interação entre modelos formais para sistemas de supervisão e informação

Publicações selecionadas:

• Artificial Cognition Systems: An Embodied Logical Model for Cognition

Projetos de Pesquisa:

• FF-Auto Formalismos e Ferramentas para Automação
• UFSC-Team Futebol de robôs
• MATH_NET Uma abordagem via sistemas multiagentes para concepção e realização de ambientes interativos de aprendizagem cooperativa assistidos por computador
• DUAL Inferência lógica por transformação dual
• Expert-Coop Ambiente para desenvolvimento de sistemas multiagentes cognitivos
• S2i Sistemas Industriais Inteligentes
• FASE Ferramenta para a construção de Arcabouços de Sistemas Especialistas