A refuted conjecture on probabilistic satisfiability (2010)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; BONA, GLAUBER DE - EP
- Unidades: IME; EP
- DOI: 10.1007/978-3-642-16138-4_30
- Subjects: RACIOCÍNIO PROBABILÍSTICO; LÓGICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
FINGER, Marcelo e DE BONA, Glauber. A refuted conjecture on probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_30. Acesso em: 28 fev. 2026. -
APA
Finger, M., & De Bona, G. (2010). A refuted conjecture on probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_30 -
NLM
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2026 fev. 28 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30 -
Vancouver
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2026 fev. 28 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30 - A logic based algorithm for solving probabilistic satisfiability
- Satisfazibilidade Probabilística
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Probabilistic satisfiability: logic-based algorithms and phase transition
- Algorithms for deciding counting quantifiers over unary predicates
- Inconsistency measurement in probabilistic logic
- Notes on measuring inconsistency in probabilistic logic
- Uma conjectura refutada sobre satisfazibilidade probabilística
- Non-Markovian logic-probabilistic modeling and inference
- Generalized probabilistic satisfiability
Informações sobre o DOI: 10.1007/978-3-642-16138-4_30 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
