O grupo visa estudar técnicas de modelagem conceitual de sistemas computacionais, técnicas de representação de conhecimento e arquiteturas de sistemas computacionais. As técnicas de modelagem conceitual de interesse baseiam-se nas seguintes abordagens: agentes, lógica paraconsistente e objetos. As técnicas de representação de conhecimento baseiam-se em análise formal de conceitos. Os estudos de arquiteturas de sistemas computacionais concentram-se nos paradigmas multi-agente e objetos distribuídos.
