Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
![]() |
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicasRibeiro, Marcio MorettoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2010-09-20Acesso online |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Revisão de crenças em lógicas de descrição - um plug-in para o ProtégéResina, Fillipe Manoel XavierBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-04-07Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Tese de Doutorado
|
![]() |
Integração entre múltiplas ontologias: reúso e gerência de conflitosCobe, Raphael Mendes De OliveiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-12-10Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Dissertação de Mestrado
|
![]() |
Pseudo-contraction operations for description logicsMatos, Vinícius BitencourtBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-07-13Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Tese de Doutorado
|
![]() |
Quantification in description logics of typicalityCâmara, Igor De Camargo E SouzaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2023-07-18Acesso online. A biblioteca também possui exemplares impressos. |