In this area we study the bases of the theory of the computation and the models based on reasoning used for the development of artificial intelligent systems. Specific areas: Theory topological of graphs and combinatory designs, theory of the computation, and artificial intelligence applied to the cooperative work. |
|||