skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Raciocínio Probabilístico remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
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)

3
Notes on measuring inconsistency in probabilistic logic
Notes on measuring inconsistency in probabilistic logic
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Notes on measuring inconsistency in probabilistic logic

Glauber De Bona 1984- Marcelo Finger

São Paulo IME-USP 2014

Localização: IME - Inst. Matemática e Estatística    (https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/ )(Acessar)

4
Probabilistic satisfiability algorithms with the presence and absence of a phase transition
Probabilistic satisfiability algorithms with the presence and absence of a phase transition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Probabilistic satisfiability algorithms with the presence and absence of a phase transition

Marcelo Finger Glauber De Bona 1984-

Annals of Mathematics and Artificial Intelligence Dordrecht v. 75, n. 3-4, p. 351-389, 2015

Dordrecht 2015

Localização: IME - Inst. Matemática e Estatística    (PROD-2707184 )(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
Inconsistency measurement in probabilistic logic
Inconsistency measurement in probabilistic logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Inconsistency measurement in probabilistic logic

Glauber De Bona 1984- Marcelo Finger; Nico Potyka; Matthias Thimm

Grant, John; Martinez, Maria Vanina (Ed.) Measuring inconsistency in information London: College Publications, 2018

London College Publications 2018

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

7
Generalized probabilistic satisfiability through integer programming
Generalized probabilistic satisfiability through integer programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Generalized probabilistic satisfiability through integer programming

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

Journal of the Brazilian Computer Society Porto Alegre v. 21, 14 p., article number 11, Dec. 2015

Porto Alegre 2015

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

8
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)

9
Probably partially true satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
Probably partially true satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Probably partially true satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics

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

Journal of Automated Reasoning Dordrecht v. 64, n. 7, p. 1269-1286, 2020

Dordreccht 2020

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

10
Probabilistic answer set programming
Probabilistic answer set programming
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Probabilistic answer set programming

Eduardo Menezes de Morais Marcelo Finger; Brazilian Conference on Intelligent Systems - BRACIS (2013 Fortaleza, Ceará, Brazil)

Proceeding Piscataway : IEEE, 2013

Piscataway IEEE 2013

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (4)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2011  (2)
  2. 2011Até2011  (2)
  3. 2012Até2012  (1)
  4. 2013Até2014  (3)
  5. Após 2014  (9)
  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.