skip to main content
Idioma:

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

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards structurally-free theorem proving
Towards structurally-free theorem proving
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards structurally-free theorem proving

Marcelo Finger

Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998

Oxford 1998

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

2
A logical reconstruction of temporal databases
A logical reconstruction of temporal databases
Material Type:
Artigo 		Adicionar ao Meu Espaço

A logical reconstruction of temporal databases

Marcelo Finger

Journal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000

Oxford 2000

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

3
Towards automated first-order abduction: the cut-based approach
Towards automated first-order abduction: the cut-based approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards automated first-order abduction: the cut-based approach

Marcelo Finger

Logic Journal of the IGPL Oxford v. 20, n. 2, SI, p. 370-387, 2012

Oxford 2012

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

4
Inteligência artificial e os rumos do processamento do português brasileiro
Inteligência artificial e os rumos do processamento do português brasileiro
Material Type:
Artigo 		Adicionar ao Meu Espaço

Inteligência artificial e os rumos do processamento do português brasileiro

Marcelo Finger

Estudos Avançados São Paulo v. 35, n. 103, p. 51-71

São Paulo Instituto de Estudos Avançados 2021

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

5
A logical reconstruction of temporal databases
A logical reconstruction of temporal databases
Material Type:
Artigo 		Adicionar ao Meu Espaço

A logical reconstruction of temporal databases

Marcelo Finger

Journal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000

Oxford 2000

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

6
Towards structurally-free theorem proving
Towards structurally-free theorem proving
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards structurally-free theorem proving

Marcelo Finger

Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998

Oxford 1998

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

7
Towards automated first-order abduction: the cut-based approach
Towards automated first-order abduction: the cut-based approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards automated first-order abduction: the cut-based approach

Marcelo Finger

Logic Journal of the IGPL Oxford v. 20, n. 2, SI, p. 370-387, 2012

Oxford 2012

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

8
Tagging a morphologically Rich language the construction of the Tycho Brahe parsed corpus of historical portuguese
Tagging a morphologically Rich language the construction of the Tycho Brahe parsed corpus of historical portuguese
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Tagging a morphologically Rich language the construction of the Tycho Brahe parsed corpus of historical portuguese

Marcelo Finger Workshop on Text, Speech, Dialogue - TSD (1998 Brno)

Proceedings Brno : Masaryk University, 1998

Brno Masaryk University 1998

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

9
Polynomial approximations of full propositional logic via limited bivalence
Polynomial approximations of full propositional logic via limited bivalence
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Polynomial approximations of full propositional logic via limited bivalence

Marcelo Finger European Workshop on Logics in Artificial Intelligence - JELIA (9. 2004 Lisbon)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

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

10
Towards polynomial approximations of full propositional logic
Towards polynomial approximations of full propositional logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards polynomial approximations of full propositional logic

Marcelo Finger Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

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

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

Ordenado por: Ordenado por: RelevânciaOr 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 (142)
  2. Recursos Online (30)

Autor/Criador 

  1. Finger, M  (149)
  2. Pierog, T  (15)
  3. Petcu, M  (15)
  4. Luczak, P  (15)
  5. Kampert, K  (15)
  6. Ostapchenko, S  (15)
  7. Bozdog, H  (15)
  8. Huege, T  (15)
  9. Ulrich, H  (15)
  10. Haungs, A  (15)
  11. Zabierowski, J  (15)
  12. Glasstetter, R  (15)
  13. Roth, M  (15)
  14. Heck, D  (15)
  15. Wassermann, R  (15)
  16. Mayer, H  (15)
  17. Grupen, C  (15)
  18. Engel, R  (15)
  19. Weindl, A  (15)
  20. Engler, J  (15)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (7)
  2. 1997Até2002  (24)
  3. 2003Até2008  (26)
  4. 2009Até2015  (61)
  5. Após 2015  (60)
  6. Mais opções open sub menu

Idioma 

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

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Pierog, T
  3. Petcu, M
  4. Luczak, P
  5. Kampert, K

Neste Assunto:

  1. Inteligência Artificial
  2. Lógica
  3. Lógica Matemática
  4. Raciocínio Probabilístico
  5. Raios Cósmicos

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

Buscando em bases de dados remotas. Favor aguardar.