Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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. |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Typicality in description logicsCurado, José David FernándezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-12-11Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Dissertação de Mestrado
|
![]() |
Pseudo-contractions in belief revisionSantos, Yuri DavidBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-02-23Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Dissertação de Mestrado
|
![]() |
Revisão de modelos formais de sistemas de estados finitosSousa, Thiago Carvalho DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-26Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Dissertação de Mestrado
|
![]() |
Consulta a ontologias utilizando linguagem natural controladaLuz, Fabiano FerreiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2013-10-31Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Dissertação de Mestrado
|
![]() |
Métricas de avaliação de alinhamento de ontologiasBispo Junior, Esdras LinsBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2011-08-04Acesso online. A biblioteca também possui exemplares impressos. |
7 |
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. |
8 |
Material Type: Dissertação de Mestrado
|
![]() |
Utilização de ontologias para busca em base de dados de acórdãos do STFOliveira, Rafael Brito DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2017-11-30Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Dissertação de Mestrado
|
![]() |
Populando ontologias através de informações em HTML - o caso do currículo lattesCastaño, André CasadoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-05-06Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Dissertação de Mestrado
|
![]() |
Uso de informação linguística e análise de conceitos formais no aprendizado de ontologiasTorres, Carlos Eduardo AtencioBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2012-10-08Acesso online. A biblioteca também possui exemplares impressos. |