Navegação Computação por Autor "Malanovicz, Aline Vieira"
Resultados 1-1 de 1
-
Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Malanovicz, Aline Vieira (2004) [Dissertação]Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em ...