REVISÃO DE CRENÇASREPRESENTAÇÃO DE CONHECIMENTO Fonte: RIBEIRO, Márcio Moretto. Revisão de crenças em lógicas de descrição e em outras lógicas não clássica. 2010. Tese (Doutorado em Ciência da Computação) – Instituto de Matemática e Estatística, Universidade de São Paulo. São Paulo, 2010.

]]>