Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Tagging a morphologically Rich language the construction of the Tycho Brahe parsed corpus of historical portugueseMarcelo Finger Workshop on Text, Speech, Dialogue - TSD (1998 Brno)Proceedings Brno : Masaryk University, 1998Brno Masaryk University 1998Localização: IME - Inst. Matemática e Estatística (PROD-1032311 ) e outros locais(Acessar) |
2 |
Material Type: Artigo de Congresso
|
![]() |
Polynomial approximations of full propositional logic via limited bivalenceMarcelo Finger European Workshop on Logics in Artificial Intelligence - JELIA (9. 2004 Lisbon)Proceedings Berlin : Springer, 2004Berlin Springer 2004Localização: IME - Inst. Matemática e Estatística (PROD-1412250 ) e outros locais(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
Towards polynomial approximations of full propositional logicMarcelo Finger Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)Proceedings Berlin : Springer, 2004Berlin Springer 2004Localização: IME - Inst. Matemática e Estatística (PROD-1412242 ) e outros locais(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
Entailment multipliers an algebraic characterization of validity for classical and modal logicsMarcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-2176241 ) e outros locais(Acessar) |
5 |
Material Type: Artigo de Congresso
|
![]() |
Concurrency control for perceivedly instantaneous transactions in valid-time databasesMarcelo Finger Peter McBrien; International Workshop on Temporal Representation and Reasoning - TIME (4. 1997 Daytona)Proceedings Piscataway : IEEE, 1997Piscataway IEEE 1997Localização: IME - Inst. Matemática e Estatística (PROD-988890 ) e outros locais(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Tableaux for approximate reasoningMarcelo Finger Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (17. 2001 Seatle)Proceedings Seatle : IJCAI, 2001Seatle IJCAI 2001Localização: IME - Inst. Matemática e Estatística (PROD-1253528 ) e outros locais(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
Expressivity and control in limited reasoningMarcelo Finger Renata Wassermann; European Conference on Artificial Intelligence - ECAI (15. 2002 Lyon)Proceedings Amsterdam : IOS Press, 2002Amsterdam IOS Press 2002Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Artigo de Congresso
|
![]() |
Temporal data obsolescence modelling problemsMarcelo Finger Flávio Soares Corrêa da Silva; International Workshop on Temporal Representation and Reasoning - TIME (5. 1998 Sanibel, Island)Proceedings Piscataway : IEEE, 1998Piscataway IEEE 1998Localização: IME - Inst. Matemática e Estatística (PROD-1032280 ) e outros locais(Acessar) |
9 |
Material Type: Artigo de Congresso
|
![]() |
The lacio-web project overview and issues in brazilian protuguese corpora creationSandra Maria Aluísio Gisele Montilha Pinheiro; Marcelo Finger; Maria das Graças Volpe Nunes; Stella Esther Ortweiler Tagnin; Corpus Linguistics 2003 Conference (2003 Lancaster)Proceedings Lancaster : Lancaster University, 2003Lancaster Lancaster University 2003Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (Tagnin, S E O doc 21 ) e outros locais(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Comparing two Markov methods for part-of-speech tagging of portugueseFábio Natanael Kepler Marcelo Finger; Ibero-American Conference on Artificial Intelligence - IBERAMIA (10. 2006 Ribeirão Preto); Brazilian Symposium on Artificial Intelligence - SBIA (18. 2006 Ribeirão Preto)Proceedings Berlin : Springer, 2006Berlin Springer 2006Localização: IME - Inst. Matemática e Estatística (PROD-1584416 ) e outros locais(Acessar) |