1
2
3
4
5
Assuntos:
“...Revisão de Crenças. Verificação de Modelos...”
Revisão de modelos formais de sistemas de estados finitos
Dissertação
6
Assuntos:
“...Revisão de crenças...”
Pseudo-contraction operations for description logics
Dissertação
7
Assuntos:
“...Revisão de crenças...”
Revisão de crenças em ACTL usando verificação de modelos limitada
Dissertação
8
9
Assuntos:
“...Revisão de crenças...”
Bridging belief revision and ontology repair: moving closer to optimal repairs
Dissertação
10
Assuntos:
“...revisão de crenças...”
Análise empírica de algoritmos de revisão sobre bases de crenças
Dissertação
11
Assuntos:
“...revisão de crenças...”
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas
Tese
12
13
Assuntos:
“...Revisão de crenças...”
Revisão de crenças em lógicas de descrição - um plug-in para o Protégé
Dissertação