skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A noção de acaso e a quantificação das probabilidades no contexto concreto e virtual
A noção de acaso e a quantificação das probabilidades no contexto concreto e virtual
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A noção de acaso e a quantificação das probabilidades no contexto concreto e virtual

Thiago Bloss de Araújo Maria Thereza Costa Coelho de Souza; Simpósio de Iniciação Científica: Humanidades e Humanidades (17. 2009 São Paulo)

São Paulo: USP-Universidade de São Paulo, 2009 Humanas e Humanidades

São Paulo USP-Universidade de São Paulo 2009

Localização: IP - Instituto de Psicologia    (CD/71 (AM=STh/46)) ) e outros locais(Acessar)

2
A refuted conjecture on probabilistic satisfiability
A refuted conjecture on probabilistic satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A refuted conjecture on probabilistic satisfiability

Marcelo Finger Glauber De Bona 1984-; Brazilian Symposium on Artificial Intelligence - SBIA (20. 2010 São Bernardo do Campo)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

3
Classical and quantum satisfiability
Classical and quantum satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Classical and quantum satisfiability

Anderson de Araújo Marcelo Finger; Workshop on Logical and Semantic Frameworks with Applications - EPTCS (6. 2012 Belo Horizonte)

Proceedings Sydney : EPTCS, 2012

Sydney EPTCS 2012

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

4
Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]
Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]
Material Type:
Artigo 		Adicionar ao Meu Espaço

Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]

Marcelo Finger Delia Kesner

Theoretical Computer Science Amsterdam v. 606, p.1, nov. 2015)

Amsterdam 2015

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

5
Measuring inconsistency in probabilistic logic rationality postulates and Dutch book interpretation
Measuring inconsistency in probabilistic logic rationality postulates and Dutch book interpretation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Measuring inconsistency in probabilistic logic rationality postulates and Dutch book interpretation

Glauber De Bona 1984- Marcelo Finger

Artificial Intelligence Amsterdam v. 227, p. 140-164, Oct. 2015

Amsterdam 2015

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

6
Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic
Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic

Marcelo Finger Sandro Preto; International Joint Conference on Automated Reasoning - IJCAR (9. 2018 Oxford, UK)

Proceedings Cham: Springer, 2018

Cham Springer 2018

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

7
Extending EL++ with linear constraints on the probability of axioms
Extending EL++ with linear constraints on the probability of axioms
Material Type:
Livro 		Adicionar ao Meu Espaço

Extending EL++ with linear constraints on the probability of axioms

Marcelo Finger

Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019

Cham Springer 2019

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

8
Using neural models to perform inference
Using neural models to perform inference
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using neural models to perform inference

Felipe de Souza Salvatore Sandro Preto; Marcelo Finger; Roberto Hirata Júnior; International Workshop on Neural-Symbolic Learning and Reasoning - NeSy (14. 2019 Macao, China)

Proceedings Vienna : IJCAI, 2019

Vienna IJCAI 2019

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

9
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.

10
Towards classifying propositional probabilistic logics
Towards classifying propositional probabilistic logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards classifying propositional probabilistic logics

Glauber De Bona 1984- Fabio Gagliardi Cozman 1967-; Marcelo Finger

Journal of Applied Logic Amsterdam v. 12, n. 3, p. 349-368, 2014

Amsterdam 2014

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (9)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2010  (3)
  2. 2010Até2012  (6)
  3. 2013Até2015  (12)
  4. 2016Até2020  (11)
  5. Após 2020  (3)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. De Bona, G
  3. Mauá, D
  4. Barros, L
  5. Cozman, F

Neste Assunto:

  1. Raciocínio Probabilístico
  2. Inteligência Artificial
  3. Lógica
  4. Aprendizado Computacional
  5. Processos Estocásticos

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

Buscando em bases de dados remotas. Favor aguardar.