Navegação Ciências Exatas e da Terra por Assunto "Lógica : Conhecimento"
Resultados 1-1 de 1
-
Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
(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 ...