Representação do conhecimento: raciocínio

13 Novembro 2020, 09:30 • Luís Miguel Parreira e Correia

Redes semânticas
Lógicas de descrição
Lógica padrão
Sistemas de manutenção de verdade