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