skip to main content
Idioma:

Resultados de 1 a 10 de 135  para Produção Intelectual da USP

Ordenado por: Ordenado por: Data mais recenteOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Quantification in description logics of typicality
Quantification in description logics of typicality
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Quantification in description logics of typicality

Câmara, Igor De Camargo E Souza

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2023-07-18

Acesso online. A biblioteca também possui exemplares impressos.

2
Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra
Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra

Washington Roberto Lopes Beatriz Schicchi Zilberman; Bruna Magrini da Cruz; Leticia dos Santos Monte Cruz; Rafaella Alves Lucena Gomes; Renata Wassermann; Sarajane Marques Peres; Valdinei Freire da Silva; Encontro Nacional de Inteligência Artificial e Computacional (20. 2023 Belo Horizonte, MG)

Anais Porto Alegre : SBC, 2023

Porto Alegre SBC 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3193432 )(Acessar)

3
Hyperintensional models and belief change
Hyperintensional models and belief change
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Hyperintensional models and belief change

Marlo Souza Renata Wassermann; Brazilian Conference on Intelligent Systems - BRACIS (11. 2022 Campinas, SP)

Proceedings Cham: Springer, 2022

Cham Springer 2022

Localização: IME - Inst. Matemática e Estatística    (PROD-3122898 )(Acessar)

4
Inteligência artificial uma abordagem moderna. [Revisão Técnica]
Inteligência artificial uma abordagem moderna. [Revisão Técnica]
Material Type:
Livro 		Adicionar ao Meu Espaço

Inteligência artificial uma abordagem moderna. [Revisão Técnica]

Flávio Soares Corrêa da Silva Denis Deratani Mauá; Leliane Nunes de Barros; Renata Wassermann

Rio de Janeiro GEN/LTC 2022

Localização: IME - Inst. Matemática e Estatística    (QA860 R967aP 4.ed. e.2 )(Acessar)

5
Revising system specifications in temporal logic
Revising system specifications in temporal logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revising system specifications in temporal logic

Paulo T Guerra Renata Wassermann; Workshop on Logic, Language, Information and Computation - WoLLIC (25. 2018 Bogotá, Colombia)

Journal of Logic, Language and Information Dordrecht v. 31, n. 4, p. 591-618, 2022

Dordrecht 2022

Localização: IME - Inst. Matemática e Estatística    (PROD-3124181 )(Acessar)

6
Hyperintensional Partial Meet Contractions
Hyperintensional Partial Meet Contractions
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Hyperintensional Partial Meet Contractions

Marlo Souza Renata Wassermann; International Conference on Principles of Knowledge Representation and Reasoning - KR (19. 2022 Haifa, Israel)

Proceedings Vienna: IJCAI, 2022

Vienna IJCAI 2022

Localização: IME - Inst. Matemática e Estatística    (PROD-3123159 )(Acessar)

7
Repairing ontologies via kernel pseudo-contraction
Repairing ontologies via kernel pseudo-contraction
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Repairing ontologies via kernel pseudo-contraction

Vinícius Bitencourt Matos Renata Wassermann; Federated Logic Conference -FLoC (8. 2022 Haifa, Israel); International Workshop on Non-Monotonic Reasoning Part of the Federated Logic Conference (FLoC 2022) (20. 2022 Haifa, Israel)

CEUR Workshop Proceedings Aachen v. 3197, p. 16-26, 2022

Aachen 2022

Acesso online. A biblioteca também possui exemplares impressos.

8
Pseudo-contraction operations for description logics
Pseudo-contraction operations for description logics
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Pseudo-contraction operations for description logics

Matos, Vinícius Bitencourt

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-07-13

Acesso online. A biblioteca também possui exemplares impressos.

9
Studies on non-prioritized multiple belief revision
Studies on non-prioritized multiple belief revision
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Studies on non-prioritized multiple belief revision

Resina, Fillipe Manoel Xavier

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-10-20

Acesso online. A biblioteca também possui exemplares impressos.

10
Logic, language, information, and computation
Logic, language, information, and computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, language, information, and computation

Alexandra Silva Renata Wassermann; Ruy de Queiroz; International Workshop on Logic, Language, Information, and Computation - WoLLIC (27. 2021 virtual event)

Cham Springer 2021

Localização: IME - Inst. Matemática e Estatística    (PROD-3052847 )(Acessar)

Resultados de 1 a 10 de 135  para Produção Intelectual da USP

Ordenado por: Ordenado por: Data mais recenteOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (132)
  2. Recursos Online (39)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (92)
  2. Produções Acadêmicas  (32)
  3. Livros  (6)
  4. Produções Técnicas  (4)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (15)
  2. 2003Até2007  (21)
  3. 2008Até2012  (29)
  4. 2013Até2018  (48)
  5. Após 2018  (22)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (101)
  2. Português  (35)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.