Satisfazibilidade Probabilística (2012)
- Authors:
- USP affiliated authors: BONA, GLAUBER DE - EP ; FINGER, MARCELO - IME
- Unidades: EP; IME
- Assunto: PROBABILIDADE
- Language: Português
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre
- Date published: 2012
- Source:
- Título do periódico: proceedings
- ISSN: 2316-4220
- Conference titles: Bracis 2012 - Brazilian Conference on Intelligent Systems
-
ABNT
DE BONA, Glauber e FINGER, Marcelo. Satisfazibilidade Probabilística. 2012, Anais.. Porto Alegre: SBC, 2012. . Acesso em: 29 mar. 2024. -
APA
De Bona, G., & Finger, M. (2012). Satisfazibilidade Probabilística. In proceedings. Porto Alegre: SBC. -
NLM
De Bona G, Finger M. Satisfazibilidade Probabilística. proceedings. 2012 ;[citado 2024 mar. 29 ] -
Vancouver
De Bona G, Finger M. Satisfazibilidade Probabilística. proceedings. 2012 ;[citado 2024 mar. 29 ] - A logic based algorithm for solving probabilistic satisfiability
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Probabilistic satisfiability: logic-based algorithms and phase transition
- Notes on measuring inconsistency in probabilistic logic
- Inconsistency measurement in probabilistic logic
- A refuted conjecture on probabilistic satisfiability
- Uma conjectura refutada sobre satisfazibilidade probabiliística
- Algorithms for deciding counting quantifiers over unary predicates
- Generalized probabilistic satisfiability
- Non-Markovian logic-probabilistic modeling and inference
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas