Generalized probabilistic satisfiability through integer programming (2015)
- Authors:
- USP affiliated authors: COZMAN, FABIO GAGLIARDI - EP ; BONA, GLAUBER DE - EP ; FINGER, MARCELO - IME
- Unidades: EP; IME
- DOI: 10.1186/s13173-015-0028-x
- Subjects: RACIOCÍNIO PROBABILÍSTICO; COMPUTABILIDADE E COMPLEXIDADE; INTELIGÊNCIA ARTIFICIAL
- Language: Inglês
- Imprenta:
- Publisher place: Porto Alegre
- Date published: 2015
- Source:
- Título do periódico: Journal of the Brazilian Computer Society
- ISSN: 1678-4804
- Volume/Número/Paginação/Ano: v. 21, 14 p., article number 11, Dec. 2015
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc
-
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, v. 21, p. 14 , 2015Tradução . . Disponível em: https://doi.org/10.1186/s13173-015-0028-x. Acesso em: 18 abr. 2024. -
APA
De Bona, G., Cozman, F. G., & Finger, M. (2015). Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, 21, 14 . doi:10.1186/s13173-015-0028-x -
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 abr. 18 ] Available from: https://doi.org/10.1186/s13173-015-0028-x -
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 abr. 18 ] Available from: https://doi.org/10.1186/s13173-015-0028-x - Generalized probabilistic satisfiability
- Towards classifying propositional probabilistic logics
- Satisfazibilidade Probabilística
- A logic based algorithm for solving probabilistic satisfiability
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- A refuted conjecture on probabilistic satisfiability
- Uma conjectura refutada sobre satisfazibilidade probabiliística
- Algorithms for deciding counting quantifiers over unary predicates
- Probabilistic satisfiability: logic-based algorithms and phase transition
- Inconsistency measurement in probabilistic logic
Informações sobre o DOI: 10.1186/s13173-015-0028-x (Fonte: oaDOI API)
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
2708193.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas