Técnicas formales: conocimiento cualitativo, simulación, ontologías, razonamiento temporal y espacial, formalismos matemáticos, métodos numéricos, técnicas estadísticas, SVM.

Métodos de adquisición del conocimiento y razonamiento impreciso, identificación de modelos, clasificación.

Diagnosis; diagnosis basada en modelos, diagnosis basada en conocimiento, diagnosis basada en casos, diagnosis basada en aprendizaje, razonamiento cualitativo para la diagnosis, supervisión y diagnosis, arquitecturas híbridas para la diagnosis, diagnosis en tiempo real, modelado múltiple para la diagnosis, sistemas basados en agentes para la diagnosis, etc.

Robótica y sistemas asistenciales.

Sistemas domóticos y computación ubicua.

Aplicaciones reales de los anteriores tópicos (sistemas sociales, sistemas económicos, ingeniería, educación, negocios, biología, medicina, química, métodos numéricos, técnicas estadísticas,...)