Busca avançada
Ano de início
Entree

Marcelo Finger

CV Lattes GoogleMyCitations ResearcherID ORCID



País de origem: Brasil

Possui graduação em Engenharia Eletronica pela Universidade de São Paulo (1988), mestrado em Foundations of Advanced Information Technology - Imperial College of Science, Technology and Medicine (1990) e doutorado em PhD in Computing - Imperial College of Science and Technology, University of London (1994). Foi professor visitante em departamentos de Ciência da Computação na Universitée Paul Sabatier - Toulouse (2011) e na Cornell University (2012-2013). Atualmente é professor titular da Universidade de São Paulo. É editor das revistas: South American Journal of Logic, São Paulo Journal of Mathematical Sciences e editor convidado da Theoretical Computer Science e da Anals of Mathematics in Artificial Intelligence. Tem experiência na área de Ciência da Computação, com ênfase em Lógica, Raciocínio Lógico-Probabilístico, Linguística Computacional, e tem atuado como pesquisador principal nos seguintes temas: logica, inteligência artificial, Humanidades Digitais e linguistica computacional. (Fonte: Currículo Lattes)

Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a)
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
O que se leva para casa quando se compra Inteligência Artificial? 
12º Encontro Brasileiro Internacional de Ciência Cognitiva  
Setores acadêmico e privado se unem para fomentar pesquisa em inteligência artificial 
Ciclo ILP-FAPESP: Inteligência Artificial 
Complexidade computacional, probabilidades e transição de fase 
Matéria(s) publicada(s) no Pesquisa para Inovação FAPESP sobre o(a) pesquisador(a):
Setores acadêmico e privado se unem para fomentar pesquisa em inteligência artificial 
Setores acadêmico e privado se unem para fomentar pesquisa em inteligência artificial 
Matéria(s) publicada(s) em Outras Mídias (94 total):
Mais itensMenos itens
Coronavírus: Últimas notícias e o que sabemos até esta segunda-feira (22) 
Cientistas criam sistema para detectar insuficiência respiratória pela voz 
Coronavírus: Últimas notícias e o que sabemos até esta segunda-feira (22) 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar covid-19 pela voz 
Novo sistema é capaz de identificar insuficiência respiratória pela voz 
Tecnologia otimiza uso de ventiladores e de leitos em UTI contra covid-19 
Tecnologia otimiza uso de ventiladores e de leitos em UTI contra covid-19 
Detectar insuficiencia respiratoria a través de la voz 
Desarrollan un sistema de detección de la insuficiencia respiratoria a través de la voz 
Desarrollan un sistema de detección de la insuficiencia respiratoria a través de la voz 
Desarrollan un sistema de detección de la insuficiencia respiratoria a través de la voz 
Científicos desarrollan un sistema de detección de la insuficiencia respiratoria a través de la voz 
Científicos desarrollan un sistema de detección de la insuficiencia respiratoria a través de la voz 
Pesquisadores brasileiros desenvolvem software capaz de detectar síndrome respiratória pela voz 
Pesquisadores brasileiros desenvolvem software capaz de detectar síndrome respiratória pela voz 
Pesquisadores brasileiros desenvolvem software capaz de detectar síndrome respiratória pela voz 
Pesquisadores brasileiros desenvolvem software capaz de detectar síndrome respiratória pela voz 
Em 24h, Brasil registra 1,3 mil mortes e 39,4 mil casos de Covid-19 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
COVID-19: VOZ AUXILIA NO DIAGNÓSTICO 
Covid-19: projeto brasileiro identifica insuficiência respiratória pela voz 
Pesquisadores criam sistema para detectar Covid 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Cientistas criam sistema para detectar insuficiência respiratória pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Cientistas criam sistema para detectar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Cientistas criam sistema para detectar insuficiência respiratória pela voz 
Cientistas criam sistema para detectar insuficiência respiratória pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Cientistas criam sistema para detectar insuficiência respiratória pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Pesquisadores criam sistema para detectar Covid-19 pela voz 
Pesquisa identifica suspeita de Covid-19 pela voz 
Voz pode ajudar a identificar pacientes com Covid 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória 
Voz pode ajudar a identificar pacientes com Covid-19 
Cientistas Brasileiros criam sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Covid-19: Sistema pode identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Sistema poderá identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Novo sistema é capaz de identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Ferramenta computacional detecta doença por meio da variação da voz 
Pesquisadores criam sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz! 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
A doação das vozes no diagnóstico da covid-19 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Novo sistema é capaz de identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Sistema irá identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz | São Paulo 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Investigadores desarrollan un sistema para identificar insuficiencia respiratoria por la voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
Pesquisadores desenvolvem sistema para identificar insuficiência respiratória pela voz 
USP inaugura centro de ondas milimétricas para 5G 
Novo laboratório da USP permite testar e desenvolver tecnologias 5G 
Laboratório da USP testa e desenvolve tecnologias 5G 
Novo centro da USP permite desenvolver tecnologias do 5G 
Novo laboratório da USP permite testar e desenvolver tecnologias 5G 
Novo laboratório da USP permite testar e desenvolver tecnologias 5G 
Novo centro da USP permite desenvolver tecnologia do 5G 
USP: Centro de Ondas Milimétricas permite testar e desenvolver tecnologias para 5G 
USP: Centro de Ondas Milimétricas permite testar e desenvolver tecnologias para 5G 
USP: Centro de Ondas Milimétricas permite testar e desenvolver tecnologias para 5G 
USP: Centro de Ondas Milimétricas permite testar e desenvolver tecnologias para 5G 
Centro de Ondas Milimétricas permite testar e desenvolver tecnologias para 5G 
USP: Centro de Ondas Milimétricas permite testar e desenvolver tecnologias para 5G 
Novo laboratório da USP permite testar e desenvolver tecnologias 5G 
Auxílios à pesquisa
Bolsas no país
Bolsas no Exterior
Apoio FAPESP em números * Quantidades atualizadas em 08/08/2020
Colaboradores mais frequentes em auxílios e bolsas FAPESP
Contate o Pesquisador

Este canal da BV/FAPESP deve ser utilizado tão somente para mensagens, referentes aos projetos científicos financiados pela FAPESP.


 

 

 

 

Palavras-chave utilizadas pelo pesquisador
Videos relacionados aos auxílios à pesquisa e bolsas

O crescimento da inteligência artificial


Publicado em 30 de novembro de 2018 - Agência FAPESP. A Inteligência Artificial, área de pesquisa da Ciência da Computação, foi tema do Ciclo de Palestras ILP-FAPESP, que aconteceu dia 26/11 na Assembleia Legislativa de São Paulo (Alesp), na capital paulista.

Publicações resultantes de Auxílios e Bolsas sob responsabilidade do(a) pesquisador(a) (16)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

Publicações15
Citações76
Cit./Artigo5,1
Dados do Web of Science

COZMAN, FABIO G.. Sets of probability distributions, independence, and convexity. SYNTHESE, v. 186, n. 2, p. 577-600, . Citações Web of Science: 22. (04/09568-0, 08/03995-5)

COZMAN, FABIO G.. Independence for full conditional probabilities: Structure, factorization, non-uniqueness, and Bayesian networks. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 54, n. 9, p. 1261-1278, . Citações Web of Science: 5. (08/03995-5)

KIKUTI, DANIEL; COZMAN, FABIO GAGLIARDI; SHIROTA FILHO, RICARDO. Sequential decision making with partially ordered preferences. ARTIFICIAL INTELLIGENCE, v. 175, n. 7-8, SI, p. 1346-1365, . Citações Web of Science: 11. (03/11165-9, 04/09568-0, 05/58090-9, 08/03995-5)

FINGER, MARCELO. Towards automated first-order abduction: the cut-based approach. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, SI, p. 370-387, . Citações Web of Science: 0. (08/03995-5)

FINGER, MARCELO; PRETO, SANDRO. Probably Partially True: Satisfiability for Lukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. JOURNAL OF AUTOMATED REASONING, . Citações Web of Science: 0. (14/12236-1, 15/21880-4)

COZMAN, FABIO GAGLIARDI. Evenly convex credal sets. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 103, p. 124-138, . Citações Web of Science: 0. (16/18841-0, 15/21880-4)

COZMAN, FABIO GAGLIARDI; MAUA, DENIS DERATANI. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 110, n. SI, p. 107-126, . Citações Web of Science: 0. (16/18841-0, 15/21880-4)

DE FARIA, FRANCISCO H. O. VIEIRA; GUSMAO, ARTHUR COLOMBINI; DE BONA, GLAUBER; MAUA, DENIS DERATANI; COZMAN, FABIO GAGLIARDI. Speeding up parameter and rule learning for acyclic probabilistic logic programs. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 106, p. 32-50, . Citações Web of Science: 0. (16/18841-0, 15/21880-4, 16/25928-4, 16/01055-1, 17/19007-6)

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Semantics and proof-theory of depth bounded Boolean logics. THEORETICAL COMPUTER SCIENCE, v. 480, p. 43-68, . Citações Web of Science: 7. (11/19860-4, 10/51038-0, 08/03995-5)

ARRUDA, ALEXANDRE MATOS; FINGER, MARCELO. Completeness for cut-based abduction. LOGIC JOURNAL OF THE IGPL, v. 22, n. 2, SI, p. 286-296, . Citações Web of Science: 0. (11/19860-4)

DELGADO, KARINA VALDIVIA; SANNER, SCOTT; DE BARROS, LELIANE NUNES. Efficient solutions to factored MDPs with imprecise transition probabilities. ARTIFICIAL INTELLIGENCE, v. 175, n. 9-10, p. 1498-1527, . Citações Web of Science: 15. (08/03995-5)

ARRUDA, ALEXANDRE MATOS; FINGER, MARCELO. Completeness for cut-based abduction. LOGIC JOURNAL OF THE IGPL, v. 22, n. 2, SI, p. 286-296, . Citações Web of Science: 0. (11/19860-4)

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Semantics and proof-theory of depth bounded Boolean logics. THEORETICAL COMPUTER SCIENCE, v. 480, p. 43-68, . Citações Web of Science: 7. (11/19860-4, 10/51038-0, 08/03995-5)

DELGADO, KARINA VALDIVIA; DE BARROS, LELIANE NUNES; COZMAN, FABIO GAGLIARDI; SANNER, SCOTT. Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 52, n. 7, p. 1000-1017, . Citações Web of Science: 3. (08/03995-5)

BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, SI, p. 458-476, . Citações Web of Science: 2. (04/14107-2, 08/03995-5)

MAUA, DENIS DERATANI; COZMAN, FABIO GAGLIARDI. Complexity results for probabilistic answer set programming. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 118, p. 133-154, . Citações Web of Science: 0. (16/18841-0, 19/07665-4, 15/21880-4)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

FAJARDO, Rogerio Augusto dos Santos. \"Combinações de lógicas modais não-normais\". Dissertação (Mestrado) -  Instituto de Matemática e Estatística.  Universidade de São Paulo (USP).  São Paulo.  (02/10369-7

Por favor, reporte erros na informação da página do pesquisador escrevendo para: cdi@fapesp.br.
X

Reporte um problema na página


Detalhes do problema: