skip to main content
Idioma:

Resultados de 11 a 16 de 16  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
previous page 1 Resultados 2
Mostrar Somente
Refinado por: autor: Wassermann, R remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Revising specifications with CTL properties using bounded model checking
Revising specifications with CTL properties using bounded model checking
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revising specifications with CTL properties using bounded model checking

Marcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (19. 2008 Savador, BR)

Proceedings Berlin : Springer, 2008

Berlin Springer 2008

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

12
Satisfiability in EL with sets of probabilistic ABoxes
Satisfiability in EL with sets of probabilistic ABoxes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Satisfiability in EL with sets of probabilistic ABoxes

Marcelo Finger Renata Wassermann; Fabio Gagliardi Cozman 1967-; International Workshop on Description Logics - DL (24. 2011 Barcelona, Spain)

CEUR Workshop Proceedings Aachen v. 745, p. 1-11, 2011

Aachen 2011

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

13
Logics for approximate reasoning approximating classical logic “from above”
Logics for approximate reasoning approximating classical logic “from above”
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Logics for approximate reasoning approximating classical logic “from above”

Marcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (16. 2002 Porto de Galinhas, Recife, BR)

Proceedings Berlin : Springer, 2002

Berlin Springer 2002

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

14
Intelligent mobile multi-robotic systems some challenges and possible solutions
Intelligent mobile multi-robotic systems some challenges and possible solutions
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Intelligent mobile multi-robotic systems some challenges and possible solutions

Flávio Soares Corrêa da Silva Renata Wassermann; Ana Cristina Vieira de Melo; Leliane Nunes de Barros; Marcelo Finger; International Conference on Informatics in Control, Automation and Robotics (2. 2005 Barcelona)

Proceedings Setúbal : SciTePress, 2005

Setúbal SciTePress 2005

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

15
Ontocloud a clinical information ontology based data integration system
Ontocloud a clinical information ontology based data integration system
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Ontocloud a clinical information ontology based data integration system

Diogo F. C Patrão Helena Brentani; Marcelo Finger; Renata Wassermann; Seminar on Ontology Research in Brazil - ONTOBRAS (6. 2013 Belo Horizonte, BR)

CEUR Workshop Proceedings Aachen v. 1041, p. 118-129, 2013

Aachen 2013

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

16
Consolidating probabilistic knowledge bases via belief contraction
Consolidating probabilistic knowledge bases via belief contraction
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Consolidating probabilistic knowledge bases via belief contraction

Glauber De Bona 1984- Marcelo Finger; Márcio Moretto Ribeiro; Yuri David Santos; Renata Wassermann; International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016 (15. Cape Town, South Africa 2016)

Proceedings Menlo Park: AAAI Publications, 2016

Menlo Park AAAI Publications 2016

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

Resultados de 11 a 16 de 16  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
previous page 1 Resultados 2

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (15)
  2. Produções Técnicas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (4)
  2. 2003Até2004  (3)
  3. 2005Até2006  (3)
  4. 2007Até2011  (4)
  5. Após 2011  (2)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.