Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
The universe of approximationsMarcelo Finger Renata Wassermann; Workshop on Logic, Language, Information and Computation - WoLLIC (10. 2003 Ouro Preto)Electronic Notes in Theoretical Computer Science Amsterdam v. 84, p. 91-104, 2003Amsterdam 2003Localização: IME - Inst. Matemática e Estatística (PROD-1367695 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Knowledge coordinationFlávio Soares Corrêa da Silva Jaume Agustí CullellChichester Wiley c2003Localização: IME - Inst. Matemática e Estatística (QA860 S586k ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Revising specifications with CTL properties using bounded model checkingMarcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (19. 2008 Savador, BR)Proceedings Berlin : Springer, 2008Berlin Springer 2008Localização: IME - Inst. Matemática e Estatística (PROD-3009088 )(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Revision of CTL modelsPaulo T Guerra Renata Wassermann; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. (2010 Bahía Blanca, Argentina)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-3008767 )(Acessar) |
|
5 |
Material Type: Dissertação de Mestrado
|
REPRESENTAÇÃO DE CONHECIMENTO UTILIZANDO FRAMESAvila, Braulio CoelhoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1991-03-18Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
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 |
|
7 |
Material Type: Tese de Doutorado
|
Belief change without compactnessSantos, Jandson Santos RibeiroBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2020-01-27Acesso online. A biblioteca também possui exemplares impressos. |